3792 search results - page 562 / 759 » Techniques for Trusted Software Engineering |
151
click to vote
CGO
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we present METRIC, an environment for determining memory inefficiencies by examining data traces. METRIC is designed to alter the performance behavior of applicatio...
199
click to vote
PASTE
1998
ACM
15 years 10 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
159
click to vote
APSEC
1995
IEEE
15 years 10 months ago
1995
IEEE
Guaranteeiq reproducibility and minimizing probe effects are major issues in the parallel program debugging. This paper suggests a new debugging method, named Detect and Reproduce...
175
click to vote
PEPM
1995
ACM
15 years 10 months ago
1995
ACM
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...
143
click to vote
RE
1995
Springer
15 years 10 months ago
1995
Springer
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencie...