University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 631–660 of 4,853 items
Thumbnail for Formal Modeling and Analysis of  RAMP Transaction Systems in Maude
Formal Modeling and Analysis of RAMP Transaction Systems in Maude
Liu, Si; Olveczky, Peter C.; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José

Thumbnail for Illinois Basin - Decatur Project: Soil Carbon Dioxide Flux Monitoring
Illinois Basin - Decatur Project: Soil Carbon Dioxide Flux Monitoring
Carman, Carl H.; Blakley, Curt S.; Korose, Christopher P.; Locke, Randall A., II

Thumbnail for Systematic Concurrency Testing with Maximal Causality
Systematic Concurrency Testing with Maximal Causality
Luo, Qingzhou; Huang, Jeff; Rosu, Grigore

Thumbnail for On-chip wireless manycore architectures
On-chip wireless manycore architectures
Franques Garcia, Antonio Maria