933 search results - page 42 / 187 » Component-Based Real-Time Operating System for Embedded Appl... |
120
click to vote
ECRTS
2005
IEEE
15 years 8 months ago
2005
IEEE
Branch prediction mechanisms are becoming commonplace within current generation processors. Dynamic branch predictors, albeit able to predict branches quite accurately in average,...
100
click to vote
USENIX
2001
15 years 3 months ago
2001
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearl...
147
click to vote
ECRTS
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper we present a concurrency control algorithm that allows co-existence of soft real-time, relational database transactions, and hard real-time database pointer transact...
163
click to vote
RTCSA
1998
IEEE
15 years 6 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
108
click to vote
DSRT
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...