3387 search results - page 39 / 678 » Model-Checking for Real-Time Systems |
121
Voted
RTCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
Real-time embedded systems are increasingly being networked. In distributed real-time embedded applications, e.g., electric grid management and command and control applications, i...
155
Voted
RTAS
2003
IEEE
15 years 7 months ago
2003
IEEE
Wireless and portable devices depend on the limited power supplied by the battery. Dynamic Voltage Scaling (DVS) is an effective method to reduce CPU power consumption. For real-t...
150
click to vote
ECBS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
126
click to vote
RTAS
2003
IEEE
15 years 7 months ago
2003
IEEE
Managing energy consumption has become vitally important to battery operated portable and embedded systems. A dynamic voltage scaling (DVS) technique reduces the processor’s dyn...
110
click to vote
ICPR
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract. An accurate analysis of a large dynamic system like our oceans requires spatially fine and temporally matched data collection methods. Current methods to estimate fish st...