University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 181–210 of 34,156 items
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 Optimized Execution of Deterministic Blocks in Java PathFinder
Optimized Execution of Deterministic Blocks in Java PathFinder
d'Amorim, Marcelo; Sobeih, Ahmed A.; Marinov, Darko

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 Multilevel Summation for the Fast Evaluation of Forces for the Simulation of Biomolecules
Multilevel Summation for the Fast Evaluation of Forces for the Simulation of Biomolecules
Hardy, David Joseph

Thumbnail for From Conditional to Unconditional Rewriting
From Conditional to Unconditional Rewriting
Rosu, Grigore

Thumbnail for Recycling Subspace Information for Diffuse Optical Tomography
Recycling Subspace Information for Diffuse Optical Tomography
Kilmer, Misha; de Sturler, Eric

Thumbnail for Regularized Locality Preserving Projections with Two-Dimensional Discretized Laplacian Smoothing
Regularized Locality Preserving Projections with Two-Dimensional Discretized Laplacian Smoothing
Cai, Deng; He, Xiaofei; Han, Jiawei

Thumbnail for A Holistic Paradigm for Large Scale Schema Matching
A Holistic Paradigm for Large Scale Schema Matching
He, Bin

Thumbnail for An Interface Toolkit for Interactive Workspaces
An Interface Toolkit for Interactive Workspaces
Biehl, Jacob T.; Bailey, Brian P.

Thumbnail for Probabilistic Quorum-Based Accounting for Peer-to-Peer Systems
Probabilistic Quorum-Based Accounting for Peer-to-Peer Systems
Conner, William G.; Nahrstedt, Klara

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

Thumbnail for Clicky: User-centric Input for Active Spaces
Clicky: User-centric Input for Active Spaces
Andrews, Christopher R.; Sampemane, Geetanjali; Weiler, Andrew; Campbell, Roy H.

Thumbnail for Natural Language Inference via Dependency Tree Mapping: An Application to Question Answering
Natural Language Inference via Dependency Tree Mapping: An Application to Question Answering
Punyakanok, Vasin; Roth, Dan; Yih, Wen-tau

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

Thumbnail for Understanding the Propagation of Hard Errors to Software and its Implications for Resilient System Design
Understanding the Propagation of Hard Errors to Software and its Implications for Resilient System Design
Li, Man-Lap; Ramachandran, Pradeep; Adve, Sarita V.; Adve, Vikram S.; Zhou, YuanYuan

Thumbnail for A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages
A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages
Chen, Feng; Hills, Mark; Rosu, Grigore

Thumbnail for The Diffusion Equation Method for Global Optimization and Its Application to Magnetotelluric Geoprospecting
The Diffusion Equation Method for Global Optimization and Its Application to Magnetotelluric Geoprospecting
Hartman-Baker, Rebecca Jean

Thumbnail for The Role of Refactorings in API Evolution
The Role of Refactorings in API Evolution
Dig, Danny; Johnson, Ralph

Thumbnail for Coordinating Dispatch of Distributed Energy Resources with Model Predictive Control and Q-Learning
Coordinating Dispatch of Distributed Energy Resources with Model Predictive Control and Q-Learning
Kowli, Anupama; Mayhorn, Ebony; Kalsi, Karanjit; Meyn, Sean P.

Thumbnail for Efficient Monitoring of ω-languages
Efficient Monitoring of ω-languages
d'Amorim, Marcelo; Rosu, Grigore

Thumbnail for SRDA: An Efficient Algorithm for Large Scale Discriminant Analysis
SRDA: An Efficient Algorithm for Large Scale Discriminant Analysis
Cai, Deng; He, Xiaofei; Han, Jiawei

Thumbnail for Laplacian Texture Synthesis and Mixing on Surfaces
Laplacian Texture Synthesis and Mixing on Surfaces
Wu, Qing; Shi, Lin; Yu, Yizhou

Thumbnail for Extending the Scalability of Linkage Learning Genetic Algorithms: Theory and Practice
Extending the Scalability of Linkage Learning Genetic Algorithms: Theory and Practice
Chen, Ying-Ping

Thumbnail for Learning to Verify Safety Properties
Learning to Verify Safety Properties
Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A.

Thumbnail for Equivalence Theorems in Numerical Analysis: Integration, Differentiation and Interpolation
Equivalence Theorems in Numerical Analysis: Integration, Differentiation and Interpolation
Jossey, John; Hirani, Anil N.

Thumbnail for Energy-based localization theory part II effects of diffusion inertia and dissipation numbers
Energy-based localization theory part II effects of diffusion inertia and dissipation numbers
Cherukuri, Harishchandra P.; Shawki, Tarek G.

Thumbnail for Fcuda Memory Subsystems
Fcuda Memory Subsystems
Xu, Shuotao

Thumbnail for Porting Choices to ARM Architecture Based Platforms
Porting Choices to ARM Architecture Based Platforms
David, Francis M.; Chan, Ellick M.; Carlyle, Jeffrey C.; Campbell, Roy H.

Thumbnail for Secure Configuration for Software Defined Radio
Secure Configuration for Software Defined Radio
Myagmar, Suvda

Thumbnail for Facilitating patient and administrator analyses of electronic health record accesses
Facilitating patient and administrator analyses of electronic health record accesses
Duffy, Eric