57 search results - page 12 / 12 » Implementing Sequential Consistency in Cache-Based Systems |
ASPLOS
2010
ACM
13 years 11 months ago
2010
ACM
Instruction-grain lifeguards monitor the events of a running application at the level of individual instructions in order to identify and help mitigate application bugs and securi...
ICCAD
2003
IEEE
14 years 1 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...