2774 search results - page 273 / 555 » Query-Driven Program Testing |
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
Moore’s Law will soon deliver tera-scale level transistor integration capacity. Power, variability, reliability, aging, and testing will pose as barriers and challenges to harne...
121
Voted
ICIP
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we present an application of stable marriages algorithms, applied to level-line junctions, for obstacle detection. The method is implemented on our PiCar stereovisi...
117
Voted
ISCAS
2007
IEEE
15 years 9 months ago
2007
IEEE
— This paper presents a novel design of analog window comparator circuit. The comparator can adaptively adjust its error threshold according to the magnitude of input signal leve...
101
Voted
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
- In this paper the design and kinematic performances are presented for a low-cost parallel manipulator with 4 driven cables. It has been conceived for an easy programming of its o...
106
Voted
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...