4320 search results - page 689 / 864 » Functional Objects |
154
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
161
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
The European project COMSON (Coupled Multiscale Simulation and Optimization in Nanoelectronics) is a Marie Curie RTN project that involves five partners from academia and three fr...
173
click to vote
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
DSM and nanometer VLSI designs are subject to an increasingly significant thermal effect on VLSI circuit lifetime and performance variation, which can be effectively subdued by V...
217
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
Increasingly significant power/ground supply voltage degradation in nanometer VLSI designs leads to system performance degradation and even malfunction. Existing techniques focus...
146
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
Increasing effects of fabrication variability have inspired a growing interest in statistical techniques for design optimization. In this work, we propose a Monte-Carlo driven sto...