5924 search results - page 870 / 1185 » Normal Process Representatives |
179
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, a novel automatic approach for the concurrent topology and routing optimization that achieves a high quality network layout is proposed. This optimization is based ...
190
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Digital system designs are the product of valuable effort and knowhow. Their embodiments, from software and HDL program down to device-level netlist and mask data, represent caref...
158
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
152
click to vote
IPMI
1999
Springer
16 years 7 months ago
1999
Springer
Abstract. We describe a method for computing a continuous time estimate of dynamic changes in tracer density using list mode PET data. The tracer density in each voxel is modeled a...
167
click to vote
IPMI
2005
Springer
16 years 7 months ago
2005
Springer
Registration based on B-spline transformations has attracted much attention in medical image processing recently. Non-rigid registration provides the basis for many important techn...