University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3601–3630 of 62,066 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