University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 361–390 of 1,265 items
Thumbnail for Automated Inference of Atomic Sets for Safe Concurrent Execution
Automated Inference of Atomic Sets for Safe Concurrent Execution
Dinges, Peter; Charalambides, Minas; Agha, Gul A.

Thumbnail for DEFINED: Deterministic Execution for Interactive Control-Plane Debugging
DEFINED: Deterministic Execution for Interactive Control-Plane Debugging
Lin, Chia-Chi; Jalaparti, Virajith; Caesar, Matthew; Van der Merwe, Jacobus

Thumbnail for NMR studies of bio-systems at high pressure
NMR studies of bio-systems at high pressure
Samarasinghe, Shantha Dharmapriya