Sciweavers

8824 search results - page 1357 / 1765
» On the Complexity of Real Functions
Sort
View
DAC
2002
ACM
16 years 7 months ago
High-Level specification and automatic generation of IP interface monitors
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
Marcio T. Oliveira, Alan J. Hu
DAC
2003
ACM
16 years 7 months ago
Support vector machines for analog circuit performance representation
The use of Support Vector Machines (SVMs) to represent the performance space of analog circuits is explored. In abstract terms, an analog circuit maps a set of input design parame...
Fernando De Bernardinis, Michael I. Jordan, Albert...
DAC
2003
ACM
16 years 7 months ago
Automatic trace analysis for logic of constraints
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...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
DAC
2004
ACM
16 years 7 months ago
An approach to placement-coupled logic replication
We present a set of techniques for placement-coupled, timingdriven logic replication. Two components are at the core of the approach. First is an algorithm for optimal timingdrive...
Milos Hrkic, John Lillis, Giancarlo Beraudo
IPMI
2009
Springer
16 years 7 months ago
Diffusion Propagator Imaging: Using Laplace's Equation and Multiple Shell Acquisitions to Reconstruct the Diffusion Propagator
Many recent single-shell high angular resolution diffusion imaging reconstruction techniques have been introduced to reconstruct orientation distribution functions (ODF) that only ...
Maxime Descoteaux, Rachid Deriche, Denis Le Bihan,...
« Prev « First page 1357 / 1765 Last » Next »