University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2131–2160 of 17,707 items
Thumbnail for Efficient Formalism-Independent Monitoring of Parametric Properties
Efficient Formalism-Independent Monitoring of Parametric Properties
Chen, Feng; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore

Thumbnail for ALP: Efficient Support for All Levels of Parallelism for Complex Media Applications
ALP: Efficient Support for All Levels of Parallelism for Complex Media Applications
Sasanka, Ruchira; Li, Man-Lap; Adve, Sarita V.; Chen, Yen-Kuang; Debes, Eric

Thumbnail for Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity
Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity
Chen, Feng; Serbanuta, Traian Florin; Rosu, Grigore