University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 901–930 of 4,498 items
Thumbnail for Fatigue crack propagation in microcapsule toughened epoxy
Fatigue crack propagation in microcapsule toughened epoxy
Brown, Eric N.; White, Scott R.; Sottos, Nancy R.

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é

Thumbnail for Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis
Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis
Liu, Si; Olveczky, Peter C.; Wang, Qi; Gupta, Indranil; Meseguer, José