6941 search results - page 683 / 1389 » Testing as a Certification Approach |
166
click to vote
AIR
2004
15 years 7 months ago
2004
Abstract. In this work we study an over-constrained scheduling problem where constraints cannot be relaxed. This problem originates from a local defense agency where activities to ...
187
click to vote
TVLSI
2008
15 years 7 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
210
click to vote
TVLSI
2008
15 years 7 months ago
2008
Most hardware compilers apply loop pipelining to increase the parallelism achieved, but pipelining is restricted to the only innermost level in a nested loop. In this work we exten...
173
click to vote
CGF
1998
15 years 7 months ago
1998
In this paper, we present an e cient algorithm for contact determination between spline models. We make use of a new hierarchy, called ShellTree, that comprises of spherical shell...
206
click to vote
GEOINFORMATICA
1998
15 years 7 months ago
1998
The nature of map generalization may be non-uniform along the length of an individual line, requiring the application of methods that adapt to the local geometry and the geographi...