16430 search results - page 2789 / 3286 » On Computable Tree Functions |
155
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
152
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
The negative effect of electromigration on signal and power line lifetime and functional reliability is an increasingly important problem for the physical design of integrated cir...
157
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
This paper attempts to quantify the optimality of FPGA technology mapping algorithms. We develop an algorithm, based on Boolean satisfiability (SAT), that is able to map a small s...
192
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
184
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...