University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 661–690 of 34,157 items
Thumbnail for CAVA: Hiding L2 Misses with Checkpoint-Assisted Value Prediction
CAVA: Hiding L2 Misses with Checkpoint-Assisted Value Prediction
Ceze, Luis H.; Strauss, Karin; Tuck, James M.; Renau, Jose; Torrellas, Josep

Thumbnail for Customizing Distributed Proofs of Authorization
Customizing Distributed Proofs of Authorization
Zhang, Charles C.; Winslett, Marianne

Thumbnail for Algebraic Semantics of EMOF/OCL Metamodels
Algebraic Semantics of EMOF/OCL Metamodels
Boronat, Artur; Meseguer, José

Thumbnail for Real-Time 3D Video Compression for Tele-Immersive Environments
Real-Time 3D Video Compression for Tele-Immersive Environments
Yang, Zhenyu; Cui, Yi; Anwar, Zahid; Bocchino, Robert L., Jr.; Kiyanclar, Nadir; Nahrstedt, Klara; Campbell, Roy H.; Yurcik, William

Thumbnail for On Time: Clocks, Chronometers, and Open-Loop Control
On Time: Clocks, Chronometers, and Open-Loop Control
LaValle, Steven M.; Egerstedt, Magnus B.

Thumbnail for Formal Verification of MSSP
Formal Verification of MSSP
Salverda, Pierre M.; Zilles, Craig

Thumbnail for iShare: Exploiting Opportunistic Ad hoc Connections for Improving Data Download of Cellular Users
iShare: Exploiting Opportunistic Ad hoc Connections for Improving Data Download of Cellular Users
Vu, Long; Rimac, Ivica; Hilt, Volker; Hofmann, Markus; Nahrstedt, Klara

Thumbnail for Minimization, Learning, and Conformance Testing of Boolean Programs
Minimization, Learning, and Conformance Testing of Boolean Programs
Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh

Thumbnail for Moara: Flexible and Scalable Group-Based Querying System
Moara: Flexible and Scalable Group-Based Querying System
Ko, Steven Y.; Yalagandula, Praveen; Gupta, Indranil; Talwar, Vanish; Milojicic, Dejan; Iyer, Subu

Thumbnail for Cumulative Learning: Towards Designing Cognitive Architectures for Artificial Agents that Have a Lifetime
Cumulative Learning: Towards Designing Cognitive Architectures for Artificial Agents that Have a Lifetime
Swarup, Samarth; Mahmud, M.M. Hassan; Lakkaraju, Kiran; Ray, Sylvian R.

Thumbnail for ClubDev: A System for Supporting Group-Based Software Development Activities
ClubDev: A System for Supporting Group-Based Software Development Activities
Biehl, Jacob T.; Baker, William T.; Bailey, Brian P.

Thumbnail for Pluggable Policies for C
Pluggable Policies for C
Hills, Mark; Chen, Feng; Rosu, Grigore

Thumbnail for MOve: Design of An Application-Malleable Overlay
MOve: Design of An Application-Malleable Overlay
Monnet, Sebastien; Morales, Ramses V.; Antoniu, Gabriel; Gupta, Indranil

Thumbnail for Runtime Verification of C Memory Safety
Runtime Verification of C Memory Safety
Rosu, Grigore; Schulte, Wolfram; Serbanuta, Traian Florin