University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2581–2610 of 5,472 items
Thumbnail for Modification of IDOT Integral Abutment Design Limitations and Details
Modification of IDOT Integral Abutment Design Limitations and Details
Olson, Scott M.; Long, James H.; Hansen, James R.; Reneckis, Dziugas Joseph; LaFave, James M.

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é