University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3541–3570 of 61,370 items
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

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