1840 search results - page 111 / 368 » time 2002 |
132
click to vote
ICTAI
2002
IEEE
15 years 9 months ago
2002
IEEE
In order to reduce the time-to-market and simplify gatelevel test generation for digital integrated circuits, GAbased functional test generation techniques are proposed for behavi...
116
click to vote
ENTCS
2002
15 years 4 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
128
click to vote
ETT
2002
15 years 4 months ago
2002
This paper presents a low-complexity variable step-size control for acoustic echo cancellation filters. The proposed control method is based on two supplementary adaptive filters ...
120
click to vote
STOC
2002
ACM
16 years 4 months ago
2002
ACM
: We initiate the study of a new measure of approximation. This measure compares the performance of an approximation algorithm to the random assignment algorithm. This is a useful ...
135
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we propose an analytical approach for estimating the reliability of a component-based software. This methodology assumes that the software components are heterogeneo...