University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 601–630 of 34,156 items
Thumbnail for Minimum Risk Feature Transformations
Minimum Risk Feature Transformations
Agarwal, Shivani; Roth, Dan

Thumbnail for Rewriting Logic Semantics of Orc
Rewriting Logic Semantics of Orc
AlTurki, Musab; Meseguer, José

Thumbnail for Proactive Detection of Insider Attacks
Proactive Detection of Insider Attacks
Liebald, Benjamin; Roth, Dan; Shah, Neelay; Srikumar, Vivek

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 μComplexity: Estimating Processor Design Effort
μComplexity: Estimating Processor Design Effort
Bazeghi, Cyrus; Mesa-Martinez, Fracisco J.; Greskamp, Brian; Torrellas, Josep; Renau, Jose

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

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 Parallel Programming Must Be Deterministic By Default
Parallel Programming Must Be Deterministic By Default
Bocchino, Robert L., Jr.; Adve, Vikram S.; Adve, Sarita V.; Snir, Marc

Thumbnail for A Trust Management Approach for Flexible Policy Management in Security-Typed Languages
A Trust Management Approach for Flexible Policy Management in Security-Typed Languages
Bandhakavi, Sruthi; Winsborough, William; Winslett, Marianne

Thumbnail for Universal Transfer Learning
Universal Transfer Learning
Mahmud, M.M. Hassan

Thumbnail for Optimal Hedging Strategies for the U.S. Cattle Feeder
Optimal Hedging Strategies for the U.S. Cattle Feeder
Noussinov, Mikhail A.; Leuthold, Raymond M.