University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3001–3030 of 6,485 items
Thumbnail for access: v.24, no.01, Spring 2011
access: v.24, no.01, Spring 2011
National Center for Supercomputing Applications (NCSA)

Thumbnail for AGENDA -  ECAEC18 program
AGENDA - ECAEC18 program
Submitter: Beth Meschewski

Thumbnail for Formal Modeling and Analysis of the Walter Transactional Data Store
Formal Modeling and Analysis of the Walter Transactional Data Store
Liu, Si; Olveczky, Peter C.; Wang, Qi; Meseguer, José