191 search results - page 6 / 39 » Real-Time Symbolic Dynamic Programming |
ECOOP
2006
Springer
13 years 9 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
ECRTS
2005
IEEE
14 years 1 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,...
RTAS
2006
IEEE
14 years 1 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
EMSOFT
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
ENTCS
2007
13 years 7 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...