769 search results - page 20 / 154 » Timed Circuit Synthesis Using Implicit Methods |
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
- Stable and effective enforcement of hard constraints is one of the crucial components in controlling physics-based dynamic simulation systems. The conventional explicit Baumgarte...
MEMOCODE
2005
IEEE
14 years 1 months ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
ASPDAC
2008
ACM
13 years 9 months ago
2008
ACM
Scaling is currently the most popular technique used to improve performance metrics of CMOS circuits. This cannot go on forever because the properties that are responsible for the ...
ISVC
2009
Springer
14 years 2 months ago
2009
Springer
We describe a new technique to extract the boundary of a walking subject, with ability to predict movement in missing frames. This paper uses a level sets representation of the tra...
20
Voted
VTS
1997
IEEE
13 years 12 months ago
1997
IEEE
Accumulators based on addition or subtraction can be used as test pattern generators. Some circuits, however, require long test lengths if the parameters of the accumulator are no...