840 search results - page 132 / 168 » Test suite oscillations |
93
Voted
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
ICCAD
1998
IEEE
15 years 4 months ago
1998
IEEE
Due to the exponential growth of both design complexity and the number of gates per pin, functional debugging has emerged as a critical step in the development of a system-on-chip...
116
Voted
ICDCS
1998
IEEE
15 years 4 months ago
1998
IEEE
We introduce a new performance metric, called Load Balancing Factor (LBF), to assist programmers with evaluating different tuning alternatives. The LBF metric differs from traditi...
120
click to vote
MICCAI
1999
Springer
15 years 4 months ago
1999
Springer
We present a new approach for the computation of the deformation field between three dimensional (3D) images. The deformation field minimizes the sum of the squared differences b...
93
Voted
ICCAD
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper presents a novel approach for post-mapping optimization. We exploit the concept of generalized matching, a technique that nds symbolically all possible matching assignm...