Research and Tech Reports - Computer Science

Recent AdditionsRSS feed

  • 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)
  • Bertram Ludäscher (2016-03-03)
    Within computer science, the term provenance has multiple meanings, due to different motivations, perspectives, and assumptions prevalent in the respective communities. This chapter provides a high-level “sightseeing tour” ...

    application/pdf

    application/pdfPDF (3MB)

Collection Statistics