7393 search results - page 1024 / 1479 » Synthesis-for-testability using transformations |
138
Voted
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types),...
137
click to vote
EUROGRAPHICS
2010
Eurographics
16 years 2 months ago
2010
Eurographics
We present an automatic method to recover high-resolution texture over an object by mapping detailed photographs onto its surface. Such high-resolution detail often reveals inaccu...
116
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
Timing budgeting under process variations is an important step in a statistical optimization flow. We propose a novel formulation of the problem where budgets are statistical ins...
106
click to vote
BSN
2009
IEEE
15 years 11 months ago
2009
IEEE
—The analysis of the electrocardiogram (ECG) is widely used for diagnosing many cardiac diseases. Since most of the clinically useful information in the ECG is found in character...
137
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...