University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1231–1260 of 3,777 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 Cloud Resource Allocation Games
Cloud Resource Allocation Games
Jalaparti, Virajith; Nguyen, Giang D.

Thumbnail for Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Liu, Si; Ölveczky, Peter; Zhang, Min; Wang, Qi; Meseguer, José

Thumbnail for access: v.22, no.03, Fall 2009
access: v.22, no.03, Fall 2009
National Center for Supercomputing Applications (NCSA)