Sciweavers

1119 search results - page 18 / 224
» Computing in the Presence of Timing Failures
Sort
View
EUROPAR
2009
Springer
14 years 2 months ago
Scalable Transactions for Web Applications in the Cloud
Abstract. Cloud computing platforms provide scalability and high availability properties for web applications but they sacrifice data consistency at the same time. However, many a...
Zhou Wei, Guillaume Pierre, Chi-Hung Chi
HOTDEP
2008
94views Hardware» more  HOTDEP 2008»
13 years 9 months ago
Spread-Spectrum Computation
We observe that existing methods for failure-tolerance are inefficient in their use of time, storage and computational resources. We aim to harness the power of idle desktop compu...
Derek Gordon Murray, Steven Hand
CDC
2009
IEEE
132views Control Systems» more  CDC 2009»
14 years 6 days ago
Robust stability of multi-hop control networks
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, K...
SRDS
2007
IEEE
14 years 1 months ago
Quantifying Temporal and Spatial Correlation of Failure Events for Proactive Management
Networked computing systems continue to grow in scale and in the complexity of their components and interactions. Component failures become norms instead of exceptions in these en...
Song Fu, Cheng-Zhong Xu
CONCUR
2003
Springer
14 years 22 days ago
Modeling Consensus in a Process Calculus
Abstract. We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failur...
Uwe Nestmann, Rachele Fuzzati, Massimo Merro