1690 search results - page 33 / 338 » Algorithmic Properties of Millstream Systems |
127
Voted
DSRT
2008
IEEE
15 years 10 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
139
Voted
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
— In a rice sorting system, the separation distance of one grain from another is determined by the amount of time taken to process the image of each grain. The closer the separat...
151
Voted
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
102
Voted
SAFECOMP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
153
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper is concerned with studying how the minimum power loss in a power system is related to its network topology. The existing algorithms in the literature all exploit nonline...