Sciweavers

883 search results - page 3 / 177
» Applying Sensitivity Analysis in Real-Time Distributed Syste...
Sort
View
RTSS
2006
IEEE
14 years 2 months ago
Distributed Utilization Control for Real-Time Clusters with Load Balancing
Recent years have seen rapid growth of online services that rely on large-scale server clusters to handle high volume of requests. Such clusters must adaptively control the CPU ut...
Yong Fu, Hongan Wang, Chenyang Lu, Ramu Sharat Cha...
ECRTS
2006
IEEE
14 years 2 months ago
A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
Razvan Racu, Arne Hamann, Rolf Ernst
ECRTS
2006
IEEE
14 years 2 months ago
Sensitivity Analysis for Fixed-Priority Real-Time Systems
At early stages in the design of real-time embedded applications, the timing attributes of the computational activities are often incompletely specified or subject to changes. Lat...
Enrico Bini, Marco Di Natale, Giorgio C. Buttazzo
FASE
2004
Springer
14 years 8 days ago
Specification and Analysis of Real-Time Systems Using Real-Time Maude
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
Peter Csaba Ölveczky, José Meseguer
PRDC
2007
IEEE
14 years 2 months ago
An Automatic Real-Time Analysis of the Time to Reach Consensus
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
Tatsuhiro Tsuchiya, André Schiper