University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1621–1650 of 3,951 items
Thumbnail for Hybridization based CEGAR for Hybrid Automata with Affine Dynamics
Hybridization based CEGAR for Hybrid Automata with Affine Dynamics
Roohi, Nima; Prabhakar, Pavithra; Viswanathan, Mahesh

Thumbnail for Towards Coverage Closure: Using GoldMine Assertions for Generating Design Validation Stimulus
Towards Coverage Closure: Using GoldMine Assertions for Generating Design Validation Stimulus
Liu, Lingyi; Sheridan, David; Tuohy, William; Vasudevan, Shobha

Thumbnail for Indexing Scientific Data
Indexing Scientific Data
Sinha, Rishi Rakesh

Thumbnail for Breaking the MapReduce Stage Barrier
Breaking the MapReduce Stage Barrier
Verma, Abhishek; Zea, Nicolas; Cho, Brian; Gupta, Indranil; Campbell, Roy H.

Thumbnail for Managing Many-Core Aging
Managing Many-Core Aging
Karpuzcu, Rahmet U.

Thumbnail for A Study and Toolkit for Asynchronous Programming in C#
A Study and Toolkit for Asynchronous Programming in C#
Okur, Semih; Hartveld, David L.; Dig, Danny; Deursen, Arie van