10718 search results - page 823 / 2144 » On the Circuit Implementation Problem |
217
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The canonical problem of solving a system of linear equations arises in numerous contexts in information theory, communication theory, and related fields. In this contribution, we ...
208
click to vote
ENTCS
2008
15 years 7 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
237
click to vote
IJBRA
2008
15 years 7 months ago
2008
: Fast and accurate 3D object reconstruction and partial 3D component retrieval from 2D image slices represent a difficult and challenging problem. To group related objects on diff...
169
click to vote
CN
2007
15 years 7 months ago
2007
The testing of a state-based system may involve the application of a number of adaptive test cases. Where the implementation under test (IUT) is deterministic, the response of the...
209
click to vote
IJSM
2006
15 years 7 months ago
2006
Collision detection is a fundamental problem in computer graphics. In this paper, temporal coherence is studied and an algorithm exploiting it for bounding volume hierarchies, is ...