5235 search results - page 357 / 1047 » Analysis of Multithreaded Programs |
170
click to vote
ESOP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
196
Voted
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Past research on software comprehension tools has produced a wealth of lessons in building good tools. However our explanations of these tools tends to be weakly grounded in exist...
155
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
156
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
194
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In multimedia and other streaming applications a significant portion of energy is spent on data transfers. Exploiting data reuse opportunities in the application, we can reduce th...