2042 search results - page 2 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
123
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Multimedia-dominated consumer electronics devices (such as cellular phone, digital camera, etc.) operate under soft real-time constraints. Overly pessimistic worst-case execution ...
145
Voted
ETFA
2008
IEEE
15 years 10 months ago
2008
IEEE
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...
209
Voted
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
153
Voted
FORMATS
2003
Springer
15 years 9 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
133
Voted
RTAS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a novel approach for calculating a probabilistic worst-case response-time for messages in the Controller Area Network (CAN). CAN uses a bit-stuffing mechanism...