University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 331–360 of 1,649 items
Thumbnail for Fault-Tolerant Computing: An Overview
Fault-Tolerant Computing: An Overview
Iyer, R.K.; Patel, J.H.; Fuchs, W.K.; Banerjee, P.; Horst, R.

Thumbnail for Synchronous AADL and its Formal Analysis in Real-Time Maude
Synchronous AADL and its Formal Analysis in Real-Time Maude
Bae, Kyungmin; Olveczky, Peter C.; Al-Nayeem, Abdullah; Meseguer, José

Thumbnail for Stabilizing Route Selection in BGP
Stabilizing Route Selection in BGP
Godfrey, Philip Brighten; Caesar, Matthew; Haken, Ian; Singer, Yaron; Shenker, Scott; Stoica, Ion

Thumbnail for Sentinel Scheduling with Recovery Blocks
Sentinel Scheduling with Recovery Blocks
August, David I.; Deitrich, Brian L.; Mahlke, Scott A.