University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 8281–8310 of 16,303 items
Thumbnail for Measurement and Analysis of Operating System Fault Tolerance
Measurement and Analysis of Operating System Fault Tolerance
Lee, Inhwan; Tang, Dong; Iyer, Ravishankar K.

Thumbnail for Guarded Matching Logic is Decidable
Guarded Matching Logic is Decidable
Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore