3443 search results - page 397 / 689 » More Algebras for Determiners |
194
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
Among the post-CMOS technologies currently under investigation, quantum computing (QC) holds a special place. QC offers not only extremely small size and low power, but also expon...
162
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
In this work we propose a methodology to self-consistently solve leakage power with temperature to predict thermal runaway. We target 28nm FinFET based circuits as they are more p...
136
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
Self-calibrating designs are gaining momentum in both the computation and communication worlds. Instead of relying on the worst-case characterisation of design parameters, self-ca...
160
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...
179
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
—In this paper, we present an approach to nonlinear model reduction based on representing a nonlinear system with a piecewise-linear system and then reducing each of the pieces w...