1291 search results - page 126 / 259 » Arithmetic program paths |
GLVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
The path-delay fault simulation of functional tests on complex circuits such as current processor-based systems is a daunting task. The amount of computing power and memory needed...
129
click to vote
KBSE
2000
IEEE
15 years 5 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
113
Voted
IPMI
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we propose a novel non-rigid volume registration based on discrete labeling and linear programming. The proposed framework reformulates registration as a minimal path...
109
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...
124
Voted
ECRTS
2002
IEEE
15 years 5 months ago
2002
IEEE
Most WCET analysis techniques only provide an upper bound on the worst case execution time as a constant value. However, it often appears that the execution time of a piece of cod...