University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 901–930 of 8,034 items
Thumbnail for Design, Formal Modeling, and Validation of Cloud Storage   Systems using Maude
Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude
Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, José; Olveczky, Peter C.; Skeirik, Stephen

Thumbnail for DEFINED: Deterministic Execution for Interactive Control-Plane Debugging
DEFINED: Deterministic Execution for Interactive Control-Plane Debugging
Lin, Chia-Chi; Jalaparti, Virajith; Caesar, Matthew; Van der Merwe, Jacobus

Thumbnail for Blue Waters 2014 Annual Report
Blue Waters 2014 Annual Report
Submitter: Cynthia Grigorescu