University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 151–180 of 34,162 items
Thumbnail for NAMD: A Portable and Highly Scalable Program for Biomolecular Simulations
NAMD: A Portable and Highly Scalable Program for Biomolecular Simulations
Bhatele, Abhinav; Kumar, Sameer; Mei, Chao; Phillips, James C.; Zheng, Gengbin; Kale, Laxmikant V.

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 Sphinx Parallelization
Sphinx Parallelization
Tuck, James M.; Baugh, Lee W.; Renau, Jose; Torrellas, Josep

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 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 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 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 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