University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 481–510 of 3,001 items
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 Understanding the Propagation of Hard Errors to Software and its Implications for Resilient System Design
Understanding the Propagation of Hard Errors to Software and its Implications for Resilient System Design
Li, Man-Lap; Ramachandran, Pradeep; Adve, Sarita V.; Adve, Vikram S.; Zhou, YuanYuan

Thumbnail for Fracture testing of a self-healing polymer composite
Fracture testing of a self-healing polymer composite
Brown, Eric N.; Sottos, Nancy R.; White, Scott R.

Thumbnail for Two-Phase Densification of Cohesive Granular Aggregates
Two-Phase Densification of Cohesive Granular Aggregates
Gioia, Gustavo; Cuitiño, Alberto M.; Zheng, S.; Uribe, T.