Sciweavers

1188 search results - page 64 / 238
» Modeling synchronized time series
Sort
View
MACH
1990
15 years 1 months ago
Real-Time Mach: Towards a Predictable Real-Time System
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, fac...
Hideyuki Tokuda, Tatsuo Nakajima, Prithvi Rao
CONCUR
2005
Springer
15 years 1 months ago
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
Pedro R. D'Argenio, Biniam Gebremichael
ENTCS
2008
83views more  ENTCS 2008»
14 years 12 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
WSC
2008
15 years 2 months ago
Mixed model assembly line balancing problem with fuzzy operation times and drifting operations
Assembly line balancing problem (ALBP) means assigning a series of task elements to uniform sequential stations under certain restrictions. This paper considers a special type of ...
Weida Xu, Tianyuan Xiao
DSN
2006
IEEE
15 years 5 months ago
The Startup Problem in Fault-Tolerant Time-Triggered Communication
Fault-tolerant time-triggered communication relies on the synchronization of local clocks. The startup problem is the problem of reaching a sufficient degree of synchronization a...
Wilfried Steiner, Hermann Kopetz