3387 search results - page 108 / 678 » Model-Checking for Real-Time Systems |
160
click to vote
CSREAESA
2006
15 years 4 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...
136
Voted
TKDE
2002
15 years 2 months ago
2002
Database systems for real-time applications must satisfy timing constraints associated with transactions. Typically, a timing constraint is expressed in the form of a deadline and ...
132
Voted
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
We investigate an integrated approach to fault tolerance and dynamic power management in real-time embedded systems. Fault tolerance is achieved via checkpointing and power manage...
114
click to vote
ICC
2008
IEEE
15 years 9 months ago
2008
IEEE
—In unreliable and untrustworthy systems, information dissemination may suffer network failures and attacks from Byzantine nodes which are controlled by traitors or adversaries, ...
131
Voted
ISORC
2008
IEEE
15 years 9 months ago
2008
IEEE
Some emerging networked embedded real-time applications have relatively long reaction time magnitudes—e.g., milliseconds to minutes. These longer execution time magnitudes allow...