1528 search results - page 1 / 306 » Performance Assertion Checking |
SOSP
1993
ACM
13 years 7 months ago
1993
ACM
PLDI
2009
ACM
14 years 13 days ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
DATE
2004
IEEE
13 years 9 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
CONCUR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. This paper presents SOAR: the first oblivious atomicity assertion with polynomial complexity. SOAR enables to check atomicity of a single-writer multi-reader register imp...
FAC
2008
13 years 5 months ago
2008
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...