University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 151–180 of 34,162 items
Thumbnail for A Composition Methodology for Designing Proactive Distributed Protocols
A Composition Methodology for Designing Proactive Distributed Protocols
Thompson, Nathanael A.; Gupta, Indranil; Birman, Kenneth

Thumbnail for Sphinx Parallelization
Sphinx Parallelization
Tuck, James M.; Baugh, Lee W.; Renau, Jose; Torrellas, Josep

Thumbnail for GRACE: A Hierarchical Adaptation Framework for Saving Energy
GRACE: A Hierarchical Adaptation Framework for Saving Energy
Sachs, Daniel Grobe; Yuan, Wanghong; Hughes, Christopher J.; Harris, Albert F., III; Adve, Sarita V.; Jones, Douglas L.; Kravets, Robin; Nahrstedt, Klara

Thumbnail for CUTE: A Concolic Unit Testing Engine for C
CUTE: A Concolic Unit Testing Engine for C
Sen, Koushik; Marinov, Darko; Agha, Gul A.

Thumbnail for Active Interaction: Live Remote Interaction through Video Feeds
Active Interaction: Live Remote Interaction through Video Feeds
Naisbitt, Jeffrey D.; Al-Muhtadi, Jalal F.; Campbell, Roy H.

Thumbnail for Exploring the Deep Web: Associativity Search over Schematic Metadata
Exploring the Deep Web: Associativity Search over Schematic Metadata
Kabra, Govind; Zhang, Zhen; Chang, Kevin Chen-Chuan; Lim, Lipyeow; Wang, Min; Chang, Yuan-Chi

Thumbnail for Term-Generic Logic
Term-Generic Logic
Popescu, Andrei; Rosu, Grigore

Thumbnail for A Formal Rewriting Logic Semantic Definition of Scheme
A Formal Rewriting Logic Semantic Definition of Scheme
Meredith, Patrick O'Neil; Hills, Mark; Rosu, Grigore

Thumbnail for Schedulability Analysis for Certification-friendly Multicore Systems
Schedulability Analysis for Certification-friendly Multicore Systems
Kim, Jung-Eun; Bradford, Richard; Abdelzaher, Tarek F.; Sha, Lui

Thumbnail for Understanding Changes in Mental Workload during Task Execution
Understanding Changes in Mental Workload during Task Execution
Iqbal, Shamsi T.; Adamczyk, Piotr D.; Zheng, Xianjun S.; Bailey, Brian P.

Thumbnail for Optimized Execution of Deterministic Blocks in Java PathFinder
Optimized Execution of Deterministic Blocks in Java PathFinder
d'Amorim, Marcelo; Sobeih, Ahmed A.; Marinov, Darko

Thumbnail for Recycling Krylov Subspaces for Sequences of Linear Systems
Recycling Krylov Subspaces for Sequences of Linear Systems
Parks, Michael L.; de Sturler, Eric; Mackey, Greg; Johnson, Duane D.; Maiti, Spandan