15792 search results - page 2630 / 3159 » Computational Abstraction Steps |
200
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
215
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
An ever increasing number of dynamic interactive applications are implemented on portable consumer electronics. Designers depend largely on operating systems to map these applicat...
190
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...
212
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
Abstract-- Network processors (NPs) have emerged as successful platforms to providing both high performance and flexibility in building powerful routers. Typical NPs incorporate mu...
188
click to vote
MICCAI
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. This paper presents a novel active surface segmentation algorithm using a multiscale shape representation and prior. We define a parametric model of a surface using spher...