1100 search results - page 73 / 220 » Instrumenting annotated programs |
157
click to vote
PPOPP
2011
ACM
14 years 7 months ago
2011
ACM
Developing parallel software using current tools can be challenging. Even experts find it difficult to reason about the use of locks and often accidentally introduce race condit...
187
click to vote
SIGOPS
2011
14 years 11 months ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...
129
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Interpreting compiler errors and exception messages is challenging for novice programmers. Presenting examples of how other programmers have corrected similar errors may help novi...
137
click to vote
REFLECTION
1999
Springer
15 years 9 months ago
1999
Springer
jContractor is a purely library based approach to support Design By Contract specifications such as preconditions, postconditions, class invariants, and recovery and exception hand...
145
click to vote
WSC
1997
15 years 6 months ago
1997
We present an extension to an existing SPARC V8 instruction set simulator, SimICS, to support accurate profiling of branches and instruction cache misses. SimICS had previously su...