419 search results - page 10 / 84 » Automatic Synthesis of Real Time Systems |
127
Voted
PRDC
2005
IEEE
15 years 7 months ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
103
click to vote
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
Dynamic storage allocation and automatic garbage collection are among the most popular features that high-level languages can offer. However, timecritical applications cannot be wr...
129
click to vote
LICS
1990
IEEE
15 years 6 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
106
click to vote
FPL
2010
Springer
14 years 12 months ago
2010
Springer
Transactional memory is a promising, optimistic synchronization mechanism for chip-multiprocessor systems. The simplicity of atomic sections, instead of using explicit locks, is al...
111
click to vote
SIGGRAPH
1996
ACM
15 years 6 months ago
1996
ACM
This paper presents a paradigm for automatically generating complete camera specifications for capturing events in virtual 3D environments in real-time. We describe a fully implem...