1264 search results - page 101 / 253 » Designing Safe, Reliable Systems using Scade |
135
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Future multicore processors will be more susceptible to a variety of hardware failures. In particular, intermittent faults, caused in part by manufacturing, thermal, and voltage v...
127
click to vote
OSDI
1996
ACM
15 years 5 months ago
1996
ACM
Non-blocking synchronization has significant advantages over blocking synchronization: however, it has not been used to a significant degree in practice. We designed and implement...
152
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
Browser designers create security mechanisms to help web developers protect web applications, but web developers are usually slow to use these features in web-based applications (...
128
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
134
Voted
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Existing work on testing NoC-based systems advocates to reuse the on-chip network itself as test access mechanism (TAM) to transport test data to/from embedded cores. While this m...