20126 search results - page 243 / 4026 » Timed Transition Systems |
147
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resou...
136
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
114
click to vote
RTS
2000
15 years 4 months ago
2000
So far, performance measures for real time systems did not receive much attention. An assessment of the few existing benchmarking methods for real time systems will reveal that the...
141
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
115
click to vote
EUC
2004
Springer
15 years 9 months ago
2004
Springer
Every computer needs a timer mechanism to keep track of current time and also for various accounting purposes such as calculating the time spent by a process in CPU utilization, di...