Research and Tech Reports - Computer Science

Recent AdditionsRSS feed

  • MPI Forum (2013)
    Procedures used for the operation of the Message-Passing Interface (MPI) Forum.

    application/pdf

    application/pdfPDF (142Kb)
  • Kini, Dileep; Viswanathan, Mahesh (2015)
    LTL\GU is a fragment of linear temporal logic (LTL), where negations appear only on propositions, and formulas are built using the temporal operators X (next), F (eventually), G (always), and U (until, with the restriction ...

    application/pdf

    application/pdfPDF (368Kb)
  • Radoi, Cosmin; Herhut, Stephan; Sreeram, Jaswanth; Dig, Danny (2014-12-20)
    In recent years, web applications have become pervasive. Their backbone is JavaScript, the only programming language supported by all major web browsers. Most browsers run on desktop or mobile devices with parallel hardware. ...

    application/pdf

    application/pdfPDF (369Kb)
  • Ganesan,Kavita; Zhai, ChengXiang (2015)
    The abundance of opinions on the Web is now becoming a critical source of information in a variety of application areas such as business intelligence, market research and online shopping. Unfortunately, due to the rapid ...

    application/pdf

    application/pdfPDF (813Kb)
  • Lui Sha; Marco Caccamo; Renato Mancuso; Jung-Eun Kim; Man-Ki Yoon; Rodolfo Pellizzoni; Heechul Yun; Russel Kegley; Dennis Perlman; Greg Arundale; Richard Bradford (2014-11-05)
    The benefits of adopting emerging multicore processors include reductions in space, weight, power, and cooling, while increasing CPU bandwidth per processor. However, the existing real-time system engineering process is ...

    application/pdf

    application/pdfPDF (2Mb)

Collection Statistics

  • Total Downloads: 393150
  • Downloads this Month: 1658
  • Downloads Today: 146
  • Statistics Report