3521 search results - page 624 / 705 » Algorithmic Control in Concurrent Computations |
121
click to vote
DAC
2004
ACM
16 years 3 months ago
2004
ACM
The advent of strong multi-level partitioners has made topdown min-cut placers a favored choice for modern placer implementations. We examine terminal propagation, an important st...
105
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Increasing source voltage (Source-Biasing) is an efficient technique for reducing gate and sub-threshold leakage of SRAM arrays. However, due to process variation, a higher source...
120
click to vote
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
101
click to vote
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
In floorplan design, it is common that a designer will want to control the positions of some modules in the final packing for various purposes like data path alignment, I/O connec...
123
click to vote
SIGMOD
2003
ACM
16 years 2 months ago
2003
ACM
We propose a framework for integrating data from multiple relational sources into an XML document that both conforms to a given DTD and satisfies predefined XML constraints. The f...