2477 search results - page 323 / 496 » Approximate extended formulations |
149
click to vote
MICCAI
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. In this paper, we propose a generic framework for intersubject non-linear registration of 4D time-series images. In this framework, spatio-temporal registration is define...
173
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Embedded systems with heterogeneous processors extend the energy/timing trade-off flexibility and provide the opportunity to fine tune resource utilization for particular applicat...
134
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
124
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
Conventional global routing minimizes total wire length and congestion. Experiments using large industrial benchmark circuits show that up to 24% of nets in such routing solutions...
131
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
For multi-gigahertz synchronous designs in nanometer technologies, multiple clock cycles are needed to cross the global interconnects, thus making it necessary to have pipelined g...