27827 search results - page 314 / 5566 » Generating |
122
Voted
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose a new approach to test generation and test compaction for scan circuits that eliminates the distinction between scan operations and application of primary input vectors...
118
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes our progress in creating a case study on optimistic computing for the Grid using parallel mesh generation. For the implementation of both methods we will be u...
136
Voted
DAGM
2003
Springer
15 years 8 months ago
2003
Springer
We address the question of how to choose between different likelihood functions for motion estimation. To this end, we formulate motion estimation as a problem of Bayesian inferen...
95
Voted
FATES
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
134
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...