153 search results - page 21 / 31 » Checkbochs: Use Hardware to Check Software |
EUROMICRO
2000
IEEE
14 years 3 days 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...
CHARME
2001
Springer
14 years 6 days ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
MICRO
2008
IEEE
14 years 2 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
ASPLOS
2008
ACM
13 years 9 months ago
2008
ACM
The C programming language is at least as well known for its absence of spatial memory safety guarantees (i.e., lack of bounds checking) as it is for its high performance. C'...
ISQED
2008
IEEE
14 years 2 months ago
2008
IEEE
The effects of random variations during the manufacturing process on devices can be simulated as a variation of transistor parameters. Device degradation, due to temperature or vo...