Research and Tech Reports - Computer Science

Recent AdditionsRSS feed

  • Le Xu (2016-09-01)
    Recent published work has shown that Quality of Experience (QoE) has become one of the major concerns in the area of large scale multimedia Internet services. Due to the significant increase of video traffic and continuously ...

    application/pdf

    application/pdfPDF (626kB)
  • Sasidharan, Aparna; Snir, Marc (2016-08-18)
    This report describes the detailed implementation of MiniAMR - a software for octree-based adaptive mesh refinement (AMR) that can be used to study the communication costs in a typical AMR simulation. We have designed new ...

    application/pdf

    application/pdfPDF (560kB)
  • Nguyen, Phuong; Konstanty, Steven; Nicholson, Todd; O'brien, Thomas; Schwartz-Duval, Aaron; Spila, Timothy; Nahrstedt, Klara; Campbell, Roy H.; Gupta, Indranil; Chan, Michael; McHenry, Kenton; Paquin, Normand (2016-06)
    In this paper, we propose a data acquisition and analysis framework for materials-to-devices processes, named 4CeeD, that focuses on the immense potential of capturing, accurately curating, correlating, and coordinating ...

    application/pdf

    application/pdfPDF (1MB)
  • Yang, Fan; Escobar, Santiago; Meadows, Catherine; Meseguer, Jose; Santiago, Sonia (2016-07)
    Roles in cryptographic protocols do not always have a linear execution, but may include choice points causing the protocol to continue along different paths. In this paper we address the problem of representing choice in ...

    application/pdf

    application/pdfPDF (457kB)
  • Skeirik, Stephen; Meseguer, José (2016-06-07)
    Variant satisfiability is a theory-generic algorithm to decide quantifier-free satisfiability in an initial algebra when its corresponding theory has the finite variant property and its constructors satisfy a compactness ...

    application/pdf

    application/pdfPDF (582kB)

Collection Statistics