University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 421–450 of 1,551 items
Thumbnail for Cascade: A universal programmer-assisted type qualifier inference tool
Cascade: A universal programmer-assisted type qualifier inference tool
Vakilian, Mohsen; Phaosawasdi, Amarin; Ernst, Michael D.; Johnson, Ralph E.

Thumbnail for Morphus: Supporting Online Reconfigurations in Sharded NoSQL Systems
Morphus: Supporting Online Reconfigurations in Sharded NoSQL Systems
Ghosh, Mainak; Wang, Wenting; Holla Vakwadi, Gopalakrishna; Gupta, Indranil

Thumbnail for Compiler-Assisted Multiple Instruction Retry
Compiler-Assisted Multiple Instruction Retry
Li, Chung-Chi Jim; Chen, Shyh-Kwei; Fuchs, W. Kent; Hwu, Wen-Mei W.

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