University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–60 of 82 items
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 A Type and Effect System for Deterministic Parallelism in Object-Oriented Languages
A Type and Effect System for Deterministic Parallelism in Object-Oriented Languages
Bocchino, Robert L., Jr.; Adve, Vikram S.; Dig, Danny; Heumann, Stephen; Komuravelli, Rakesh; Overbey, Jeffrey; Simmons, Patrick; Sung, Hyojin; Vakilian, Mohsen

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 Maximal Causal Models for Multithreaded Systems
Maximal Causal Models for Multithreaded Systems
Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

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

Thumbnail for DTorial: An interactive tutorial framework for blind users in a Web 2.0 world
DTorial: An interactive tutorial framework for blind users in a Web 2.0 world
Hailpern, Joshua; Reid, Loretta Guarino; Boardman, Richard

Thumbnail for Efficient Audit-based Compliance for Relational Data Retention
Efficient Audit-based Compliance for Relational Data Retention
Hasan, Ragib; Winslett, Marianne; Mitra, Soumyadeb

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

Thumbnail for Matching Logic - Extended Report
Matching Logic - Extended Report
Rosu, Grigore; Schulte, Wolfram

Thumbnail for Effective Ranking of XML Keyword Search Results
Effective Ranking of XML Keyword Search Results
Termehchy, Arash; Winslett, Marianne

Thumbnail for A Cross-layer Routing and Congestion Control for Distributed Systems
A Cross-layer Routing and Congestion Control for Distributed Systems
Fesehaye, Debessay; Gupta, Indranil; Nahrstedt, Klara

Thumbnail for Alibi: A novel approach for detecting insider-based jamming attacks in wireless networks
Alibi: A novel approach for detecting insider-based jamming attacks in wireless networks
Nguyen, Hoang; Pongthawornkamol, Thadpong; Nahrstedt, Klara

Thumbnail for Variant Narrowing and Extreme Termination
Variant Narrowing and Extreme Termination
Escobar, Santiago; Meseguer, José; Sasse, Ralf