University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3871–3900 of 18,119 items
Thumbnail for Ensuring Critical Data Integrity via Information Flow Signatures
Ensuring Critical Data Integrity via Information Flow Signatures
Healey, William; Pattabiraman, Karthik; Ryoo, Shane; Dabrowski, Paul; Kalbarczyk, Zbigniew; Iyer, Ravi; Hwu, Wen-Mei

Thumbnail for Parameter Estimation in Complex Linear Structures
Parameter Estimation in Complex Linear Structures
Hjelmstad, K.D.; Wood, S.L.; Clark, S.J.

Thumbnail for Hyperproperties in Matching Logic
Hyperproperties in Matching Logic
Tusil, Jan; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Maximal Causal Models for Multithreaded Systems
Maximal Causal Models for Multithreaded Systems
Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for VEBoC: Variation and Error-Aware Design for Billions of Devices on a Chip
VEBoC: Variation and Error-Aware Design for Billions of Devices on a Chip
Akram, Shoaib; Cromar, Scott A.; Lucas, Gregory; Papakonstantinou, Alexandros; Chen, Deming

Thumbnail for Matching Logic Explained
Matching Logic Explained
Chen, Xiaohong; Lucanu, Dorel; Rosu, Grigore