Research and Tech Reports - Computer Science

Recent AdditionsRSS feed

  • Meseguer, Jose (2018-09-16)
    Cloud computing systems are complex distributed systems whose design is challenging for two main reasons: (1) since they are distributed systems, a correct design is very hard to achieve by testing alone; and (2) cloud ...

    application/pdf

    application/pdfPDF (212kB)
  • Nguyen, Phuong; Konstanty, Steven; Elgamal, Tarek; Nicholson, Todd; Turner, Stuart; Su, Patrick; Nahrstedt, Klara; Spila, Timothy; Campbell, Roy H.; Dallesasse, John; Chan, Michael; McHenry, Kenton (2018-07)
    Recent advances in cyber-infrastructure have enabled digital data sharing and ubiquitous network connectivity between scientific instruments and cloud-based storage infrastructure for uploading, storing, curating, and ...

    application/pdf

    application/pdfPDF (1MB)
  • Li, Liyi; Gunter, Elsa L. (2018-06-25)
    K (Roşu and Şerbănuţă, 2010) is a rewrite-based executable semantic framework in which programming languages, type systems and formal analysis tools can be de ned using con gurations, computations and rules. In this paper ...

    application/pdf

    application/pdfPDF (724kB)
  • Stephens, Sam C (2018-05)
    Maude is an equational and rewriting logic specification tool. It allows a unique and simple way of specifying concurrent programs and lends itself nicely to verification. This senior thesis focuses specifically on patterns ...

    application/pdf

    application/pdfPDF (282kB)
  • Duran, Francisco; Meseguer, Jose; Rocha, Camilo (2018-03-20)
    Terminating functional programs should be deterministic, i.e., should evaluate to a unique result, regardless of the evaluation order. For equational functional programs such determinism is exactly captured by ...

    application/pdf

    application/pdfPDF (209kB)

Collection Statistics