Sciweavers

5149 search results - page 4 / 1030
» Timed Asynchronous Distributed Systems
Sort
View
SIMPRA
1998
99views more  SIMPRA 1998»
13 years 7 months ago
Rollback overhead reduction methods for time warp distributed simulation
Parallel discrete event simulation is a useful technique to improve performance of sequential discrete event simulation. We consider the Time Warp algorithm for asynchronous distr...
Simonetta Balsamo, C. Manconi
ICDCS
2003
IEEE
14 years 27 days ago
Elastic Vector Time
In recent years there has been an increasing demand to build ”soft” real-time applications on top of asynchronous distributed systems. Designing and implementing such applicat...
Christof Fetzer, Michel Raynal
WORDS
2003
IEEE
14 years 26 days ago
Asynchrony and Real-Time Dependable Computing
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
Gérard Le Lann
FM
2009
Springer
190views Formal Methods» more  FM 2009»
14 years 2 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
ENTCS
2008
83views more  ENTCS 2008»
13 years 7 months ago
Executable Specifications for Real-Time Distributed Systems
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
Arnab Ray, Rance Cleaveland