Sciweavers

5149 search results - page 281 / 1030
» Timed Asynchronous Distributed Systems
Sort
View
ISORC
2000
IEEE
15 years 8 months ago
Scheduling Solutions for Supporting Dependable Real-Time Applications
This paper deals with tolerance to timing faults in time-constrained systems. TAFT (Time Aware Fault-Tolerant) is a recently devised approach which applies tolerance to timing vio...
F. Sandrini, Felicita Di Giandomenico, Andrea Bond...
ECRTS
2003
IEEE
15 years 9 months ago
A Real-Time RMI Framework for the RTSJ
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...
Andrew Borg, Andy J. Wellings
136
Voted
ARTS
1997
Springer
15 years 8 months ago
Refinement of Time
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, dis...
Manfred Broy
FORMATS
2010
Springer
15 years 1 months ago
Simulation and Bisimulation for Probabilistic Timed Automata
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
Jeremy Sproston, Angelo Troina
NCA
2005
IEEE
15 years 9 months ago
Using Residual Times to Meet Deadlines in M/G/C Queues
In systems where customer service demands are only known probabilistically, there is very little to distinguish between jobs. Therefore, no universal optimum scheduling strategy o...
Sarah Tasneem, Lester Lipsky, Reda A. Ammar, Howar...