11603 search results - page 612 / 2321 » Securing Embedded Systems |
210
click to vote
WORDS
2005
IEEE
16 years 26 days ago
2005
IEEE
Replication of objects, processes and components is essential for building reliable distributed systems. However, maintaining replica consistency in the presence of nondeterminism...
165
Voted
ECRTS
2002
IEEE
16 years 7 days ago
2002
IEEE
Abstract: This paper presents an application program interface (API) that enables applications to use applicationdefined scheduling algorithms in a way compatible with the scheduli...
145
Voted
EURODAC
1995
IEEE
15 years 11 months ago
1995
IEEE
The paper presents a static process schedulingapproach as a front-end to hardware-software cosynthesis of small embedded systems which allows global system optimization. Unlike ea...
168
click to vote
TACAS
1995
Springer
15 years 10 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
215
Voted
JTRES
2010
ACM
15 years 7 months ago
2010
ACM
Chip-multiprocessors offer increased processing power at a low cost. However, in order to use them for real-time systems, tasks have to be scheduled efficiently and predictably. I...