Research and Tech Reports - Computer Science

Recent AdditionsRSS feed

  • Renato Mancuso; Andrew V. Louis; Marco Caccamo (2015-10-09)
    The Avionic Full-Duplex Switched Ethernet (AFDX) is a data network certified for avionic operations. AFDX closely follows the IEEE 802.3 (Ethernet) standard for packet forwarding. On top of that, bandwidth enforcement ...

    application/pdf

    application/pdfPDF (1Mb)
  • Bhatele, Abhinav; Jain, Nikhil; Livnat, Yarden; Pascucci, Valerio; Bremer, Peer-Timo (2015-07-18)
    The dragonfly topology is becoming a popular choice for building high-radix, low-diameter networks with high-bandwidth links. Even with a powerful network, preliminary experiments on Edison at NERSC have shown that for ...

    application/pdf

    application/pdfPDF (14Mb)
  • Shin, Yosub; Ghosh, Mainak; Gupta, Indranil (2015-07-07)
    The performance of key-value/NoSQL storage systems is highly tied to the choice of (primary) key for the database table. As application (e.g., business) requirements change over time, and in order to fine-tune the performance ...

    application/pdf

    application/pdfPDF (2Mb)
  • Marco Cesati; Renato Mancuso; Emiliano Betti; Marco Caccamo (2015-06-18)
    Tools for memory access detection are widely used, playing an important role especially in real-time systems. For example, on multi-core platforms, the problem of co-scheduling CPU and memory resources with hard real-time ...

    application/pdf

    application/pdfPDF (399Kb)
  • Jose Meseguer (2015-06-04)
    Order-sorted type systems supporting inheritance hierarchies and subtype polymorphism are used in theorem proving, AI, and declarative programming. The satisfiability problems for the theories of: (i) order-sorted ...

    application/pdf

    application/pdfPDF (424Kb)

Collection Statistics

  • Total Downloads: 439215
  • Downloads this Month: 200
  • Downloads Today: 200
  • Statistics Report