1264 search results - page 101 / 253 » Designing Safe, Reliable Systems using Scade |
169
click to vote
ASPLOS
2008
ACM
15 years 8 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...
159
click to vote
OSDI
1996
ACM
15 years 8 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...
187
click to vote
CCS
2011
ACM
14 years 6 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 (...
163
click to vote
SIGADA
2005
Springer
16 years 5 days 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...
162
click to vote
DATE
2008
IEEE
16 years 1 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...