66 search results - page 14 / 14 » The Complexity of Model Checking for Belief Revision and Upd... |
MICRO
2009
IEEE
13 years 11 months ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...