122 search results - page 1 / 25 » Lipschitz Robustness of Timed I O Systems |
CDC
2009
IEEE
13 years 2 months ago
2009
IEEE
Abstract-- We introduce an extension of the notion of homogeneous approximation to make it valid both at the origin and at infinity (homogeneity in the bi-limit). Exploiting this e...
PERCOM
2003
ACM
14 years 4 months ago
2003
ACM
The dynamism and heterogeneity in ubicomp environments on both short and long time scales implies that middleware platforms for these environments need to be designed ground up fo...
ICALP
1994
Springer
13 years 8 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
ICPADS
2006
IEEE
13 years 10 months ago
2006
IEEE
iDIBS is a peer-to-peer backup system which optimizes the Distributed Internet Backup System (DIBS). iDIBS offers increased reliability by enhancing the robustness of existing pac...
RTSS
2007
IEEE
13 years 10 months ago
2007
IEEE
This paper focuses on priority assignment for realtime systems using fixed priority scheduling. It introduces and defines the concept of a “robust” priority ordering: the most...