University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 361–390 of 1,551 items
Thumbnail for CINDI: A Virtual Library Indexing and Discovery System
CINDI: A Virtual Library Indexing and Discovery System
Desai, Bipin C.; Shinghal, Raijan; Shayan, Nader R.; Zhou, Youquan

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 A Composition Methodology for Designing Proactive Distributed Protocols
A Composition Methodology for Designing Proactive Distributed Protocols
Thompson, Nathanael A.; Gupta, Indranil; Birman, Kenneth