608 search results - page 86 / 122 » Tests, Proofs and Refinements |
86
Voted
ACMDIS
2000
ACM
15 years 3 months ago
2000
ACM
In real world development environments where deadlines are fixed, a designer must craft a process that works with the team and within the constraints of a project. The traditional...
106
click to vote
IEEEPACT
1997
IEEE
15 years 3 months ago
1997
IEEE
† In this paper, we propose a parallel randomized algorithm, called Parallel Fast Assignment using Search Technique (PFAST), for scheduling parallel programs represented by direc...
91
Voted
DAC
1997
ACM
15 years 3 months ago
1997
ACM
Cr, As the complexity of high-performance microprocessor increases, functional verification becomes more and more difficult and RTL simulation emerges as the bottleneck of the des...
3DIM
2007
IEEE
15 years 2 months ago
2007
IEEE
An algorithm is presented to estimate the position of a hand-held camera with respect to a 3d world model constructed from range data and color imagery. Little prior knowledge is ...
ASPDAC
2007
ACM
15 years 2 months ago
2007
ACM
- In routing, finding a rectilinear Steiner minimal tree (RSMT) is a fundamental problem. Today's design often contains rectilinear obstacles, like macro cells, IP blocks, and...