University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 181–210 of 34,157 items
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 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 Clicky: User-centric Input for Active Spaces
Clicky: User-centric Input for Active Spaces
Andrews, Christopher R.; Sampemane, Geetanjali; Weiler, Andrew; Campbell, Roy H.

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

Thumbnail for An Interface Toolkit for Interactive Workspaces
An Interface Toolkit for Interactive Workspaces
Biehl, Jacob T.; Bailey, Brian P.

Thumbnail for Efficient Monitoring of ω-languages
Efficient Monitoring of ω-languages
d'Amorim, Marcelo; Rosu, Grigore

Thumbnail for Porting Choices to ARM Architecture Based Platforms
Porting Choices to ARM Architecture Based Platforms
David, Francis M.; Chan, Ellick M.; Carlyle, Jeffrey C.; Campbell, Roy H.

Thumbnail for Staging Static Analyses for Program Generation (Extended Version)
Staging Static Analyses for Program Generation (Extended Version)
Kamin, Samuel; Aktemur, T. Baris; Katelman, Michael

Thumbnail for Understanding the Propagation of Hard Errors to Software and its Implications for Resilient System Design
Understanding the Propagation of Hard Errors to Software and its Implications for Resilient System Design
Li, Man-Lap; Ramachandran, Pradeep; Adve, Sarita V.; Adve, Vikram S.; Zhou, YuanYuan

Thumbnail for Learning to Verify Safety Properties
Learning to Verify Safety Properties
Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A.