167 search results - page 25 / 34 » Safety checking of machine code |
122
Voted
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
129
Voted
HIPC
2003
Springer
15 years 7 months ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
139
Voted
EUROMICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
140
click to vote
SP
2006
IEEE
15 years 7 months ago
2006
IEEE
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
149
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...