94 search results - page 5 / 19 » Synthesis of Real-Time Embedded Software by Timed Quasi-Stat... |
FSEN
2009
Springer
14 years 25 days 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...
CSREAESA
2006
13 years 10 months ago
2006
- In recent years, there has been a rapid and wide spread proliferation of non-traditional embedded computing platforms such as digital camcorders, cellular phones, and portable me...
FDL
2004
IEEE
14 years 21 days ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
ADAEUROPE
2008
Springer
14 years 3 months ago
2008
Springer
We consider networked, embedded real-time systems that operate under run-time uncertainties on activity execution times and arrivals, node failures, and message losses. We consider...
JCP
2008
13 years 9 months ago
2008
Processor is an important computing element in portable battery operated real time embedded system and it consumes most of the battery energy. Energy consumption, processor memory ...