- IDEALS Home
- →
- College of Engineering
- →
- Dept. of Computer Science
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
-
Dissertations and Theses from the Dept. of Computer Science
-
Reports from the Digital Computer Laboratory and Information Engineering Laboratory
Browse by
Recent Additions
-
(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
PDF (209kB)
-
(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
PDF (439kB)
-
(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
PDF (4MB)
-
(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
PDF (3MB)
-
(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
PDF (3MB)