Dept. of Computer Science

 

The Department of Computer Science is recognized throughout the world as a leader in education and research. The department and its graduates have long been at the forefront of modern computing beginning with the ILLIAC in 1952, and continuing with the creation of Mosaic, the first graphic web browser, through the most recent Internet era.

Browse Sub-communities

Browse Collections of Items

Recent AdditionsRSS feed

  • 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)
  • Meseguer Jose (2018-03-19)
    A new notion of generalized rewrite theory suitable for symbolic reasoning and generalizing the standard notion is motivated and defined. Also, new requirements for symbolic executability of generalized rewrite theories ...

    application/pdf

    application/pdfPDF (439kB)
  • Acun, Bilge (2017-12-06)
    Power consumption and process variability are two important, interconnected, challenges of future generation large-scale High Performance Computing (HPC) data centers. For example, current production petaflop supercomputers ...

    application/pdf

    application/pdfPDF (4MB)Restricted Access
  • Kalim, Faria (2017-12-04)
    This thesis presents Henge, a system that supports intent-based multi-tenancy in modern stream processing applications. Henge supports multi-tenancy as a first-class citizen: everyone inside an organization can now submit ...

    application/pdf

    application/pdfPDF (3MB)Restricted Access
  • Zhou, Wenxuan (2017-12-05)
    In the past decades, the world has witnessed how essential modern networks, such as data centers and enterprise networks, have become in our daily lives. However, on the other hand, configuring and maintaining a modern ...

    application/pdf

    application/pdfPDF (3MB)Restricted Access

Community Statistics