University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 901–930 of 46,036 items
Thumbnail for Thread Contracts for Race-Freedom
Thread Contracts for Race-Freedom
Karmani, Rajesh Kumar; Madhusudan, P.; Moore, Brandon

Thumbnail for A Formal Executable Semantics of Verilog
A Formal Executable Semantics of Verilog
Meredith, Patrick; Katelman, Michael; Meseguer, José; Rosu, Grigore

Thumbnail for Thermal-Aware GreenHDFS
Thermal-Aware GreenHDFS
Kaushik, Rini T.

Thumbnail for Recommendations for stabilization of Illinois soils
Recommendations for stabilization of Illinois soils
Robnett, Quentin Laverne; Thompson, Marshall R.

Thumbnail for Evaluating Code Coverage of Assertions by Static Analysis of RTL
Evaluating Code Coverage of Assertions by Static Analysis of RTL
Athavale, Viraj; Hertz, Samuel; Vasudevan, Shobha