2584 search results - page 49 / 517 » On the Forward Checking Algorithm |
126
click to vote
IEEECIT
2010
IEEE
15 years 13 days ago
2010
IEEE
With the increasing popularity of COTS (commercial off the shelf) components and multi-core processor in space and aviation applications, software fault tolerance becomes attracti...
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...
DAC
2001
ACM
16 years 2 months ago
2001
ACM
The interlock and forwarding logic is considered the tricky part of a fully-featured pipelined microprocessor and especially debugging these parts delays the hardware design proce...
ISBI
2008
IEEE
16 years 2 months ago
2008
IEEE
Tracking of left ventricles in 3D echocardiography is a challenging topic because of the poor quality of ultrasound images and the speed consideration. In this paper, a fast and a...
129
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...