1399 search results - page 128 / 280 » A Component Model for Control-Intensive Distributed Embedded... |
ECRTS
2008
IEEE
13 years 9 months ago
2008
IEEE
Modern real-time systems must be designed to be highly adaptable, reacting to aperiodic events in a predictable manner and exhibiting graceful degradation in overload scenarios wh...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
CISIS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...
HOTOS
2003
IEEE
14 years 1 months ago
2003
IEEE
Understanding the performance of distributed systems requires correlation of thousands of interactions between numerous components — a task best left to a computer. Today’s sy...
ICALP
1994
Springer
14 years 3 days 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...