4107 search results - page 202 / 822 » The Generalized Lambda Test |
142
click to vote
IFM
2005
Springer
16 years 2 days ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
120
click to vote
HT
2004
ACM
16 years 3 hour ago
2004
ACM
The value of showing important, yet separated, parts of a document simultaneously motivates head-tail display. 35% of Web documents tested benefit. A head-tail display provides a ...
157
click to vote
SIGIR
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes the Patent Retrieval Task in the Fourth NTCIR Workshop, and the test collections produced in this task. We perform the invalidity search task, in which each p...
142
click to vote
GLVLSI
2003
IEEE
15 years 12 months ago
2003
IEEE
The characterization as well as the control of the electromagnetic emission of integrated circuits is an important step in the design process of state of the art integrated circui...
152
click to vote
VTS
2003
IEEE
15 years 12 months ago
2003
IEEE
Delay faults are an increasingly important test challenge. Traditional open and bridge fault models are incomplete because only the functional fault or a subset of delay fault are...