1243 search results - page 81 / 249 » FPZL Schedulability Analysis |
96
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper investigates the sensitivity of real-time systems running applications under operating systems that are subject to soft-errors. We consider applications using different...
122
Voted
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
ICCAD
1994
IEEE
15 years 4 months ago
1994
IEEE
For a logic design with level-sensitive latches, we need to validate timing signal paths which may flush through several latches. We developed efficient algorithms based on the mo...
111
Voted
FSEN
2009
Springer
15 years 4 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
120
Voted
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...