University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 211–240 of 1,192 items
Thumbnail for A Translation Validation Algorithm for LLVM Register Allocators
A Translation Validation Algorithm for LLVM Register Allocators
Lin, Zhengyao; Kasampalis, Theodoros; Adve, Vikram

Thumbnail for Directory of Illinois mineral producers 1992
Directory of Illinois mineral producers 1992
Samson, Irma; Masters, John M.

Thumbnail for Performance observability
Performance observability
Malony, Allen Davis

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