302 search results - page 40 / 61 » An approach to synthesise safe systems |
100
Voted
RTAS
2008
IEEE
15 years 6 months ago
2008
IEEE
Multi-core chips have been increasingly adopted by microprocessor industry. For real-time systems to safely harness the potential of multi-core computing, designers must be able t...
116
Voted
POPL
2000
ACM
15 years 4 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
USENIX
1996
15 years 1 months ago
1996
The current trend in operating systems research is to allow applications to dynamically extend the kernel to improve application performance or extend functionality, but the most ...
107
Voted
TSE
1998
15 years 3 days ago
1998
—There are many standards which are relevant for building safety or mission critical software systems. An effective standard is one that should help developers, assessors, and us...
96
Voted
SOSP
2003
ACM
15 years 9 months ago
2003
ACM
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...