University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 211–240 of 34,156 items
Thumbnail for How Successful Is Data Structure Analysis in Isolating and Analyzing Linked Data Structures?
How Successful Is Data Structure Analysis in Isolating and Analyzing Linked Data Structures?
Meredith, Patrick O'Neil; Pankaj, Balpreet; Sahoo, Swarup K.; Lattner, Chris A.; Adve, Vikram S.

Thumbnail for Behavioral Extensions of Institutions
Behavioral Extensions of Institutions
Popescu, Andrei; Rosu, Grigore

Thumbnail for Model-Checking Markov Chains in the presence of Uncertainties
Model-Checking Markov Chains in the presence of Uncertainties
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A.

Thumbnail for Algebraic Simulations
Algebraic Simulations
Meseguer, José; Palomino, Miguel; Marti-Oliet, Narciso

Thumbnail for Metrics for Lifetime Reliability
Metrics for Lifetime Reliability
Ramachandran, Pradeep; Adve, Sarita V.; Bose, Pradip; Rivers, Jude A.; Srinivasan, Jayanth

Thumbnail for Well-Centered Triangulation
Well-Centered Triangulation
VanderZee, Evan; Hirani, Anil N.; Guoy, Damrong; Ramos, Edgar

Thumbnail for Object Modelling by Example
Object Modelling by Example
Zelinka, Stephen David

Thumbnail for Human Activity Recognition with Metric Learning
Human Activity Recognition with Metric Learning
Tran, Du; Sorokin, Alexander; Forsyth, David A.