Sciweavers

868 search results - page 85 / 174
» Optimizing Logic Design Using Boolean Transforms
Sort
View
IANDC
2008
122views more  IANDC 2008»
14 years 9 months ago
Automata can show PSpace results for description logics
In the area of Description Logic (DL), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problem...
Franz Baader, Jan Hladik, Rafael Peñaloza
MICCAI
2005
Springer
15 years 10 months ago
Deformable Registration of Diffusion Tensor MR Images with Explicit Orientation Optimization
In this paper, we present a novel deformable registration algorithm for diffusion tensor MR images that enables explicit optimization of tensor reorientation. The optimization see...
Hui Zhang 0005, Paul A. Yushkevich, James C. Gee
ARITH
2003
IEEE
15 years 3 months ago
High-Performance Left-to-Right Array Multiplier Design
We propose a split array multiplier organized in a left-to-right leapfrog (LRLF) structure with reduced delay compared to conventional array multipliers. Moreover, the proposed de...
Zhijun Huang, Milos D. Ercegovac
TE
2010
104views more  TE 2010»
14 years 4 months ago
Integrating Asynchronous Digital Design Into the Computer Engineering Curriculum
Abstract--As demand increases for circuits with higher performance, higher complexity, and decreased feature size, asynchronous (clockless) paradigms will become more widely used i...
Scott C. Smith, Waleed Al-Assadi, Jia Di
DAC
1994
ACM
15 years 1 months ago
The Design of High-Performance Microprocessors at Digital
Today's high-performance single-chip CMOS microprocessors are the most complex and challenging chip designs ever implemented. To stay on the leading edge, Digital's micro...
Thomas F. Fox