University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 601–630 of 34,162 items
Thumbnail for Integrated experimental and computational approach to simulation of flow in a stirred tank
Integrated experimental and computational approach to simulation of flow in a stirred tank
Yoon, Hung S.; Sharp, Kendra V.; Hill, David F.; Adrian, Ronald J.; Balachandar, S.; Ha, Man Y.; Kar, Kishore

Thumbnail for Maximal Causal Models for Multithreaded Systems
Maximal Causal Models for Multithreaded Systems
Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

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

Thumbnail for Minimum Risk Feature Transformations
Minimum Risk Feature Transformations
Agarwal, Shivani; Roth, Dan

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

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

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 Universal Transfer Learning
Universal Transfer Learning
Mahmud, M.M. Hassan

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