University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 8251–8280 of 13,164 items
Thumbnail for Water Demand in the Middle Illinois Water Supply Planning Region, 2010-2060
Water Demand in the Middle Illinois Water Supply Planning Region, 2010-2060
Meyer, Scott C.; Dziegielewski, Benedykt; Zhang, Zhenxing; Abrams, Daniel; Kelly, Walton R.

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 Response-Time Analysis for Single Core Equivalence Framework
Response-Time Analysis for Single Core Equivalence Framework
Mancuso, Renato; Pellizzoni, Rodolfo; Caccamo, Marco; Sha, Lui; Yun, Heechul