6167 search results - page 948 / 1234 » Can Refinement be Automated |
ICCD
2004
IEEE
15 years 10 months ago
2004
IEEE
The increasing clock frequencies in high-end industrial circuits bring new routing challenges that can not be handled by traditional algorithms. An important design automation pro...
100
click to vote
ICCD
2003
IEEE
15 years 10 months ago
2003
IEEE
DNA probe arrays have recently emerged as one of the core genomic technologies. Exploiting analogies between manufacturing processes for DNA arrays and for VLSI chips, we demonstr...
ICCAD
2005
IEEE
15 years 10 months ago
2005
IEEE
— The generation of arbitrary patterns and shapes at very small scales is at the heart of our effort to miniaturize circuits and is fundamental to the development of nanotechnolo...
ICCAD
2003
IEEE
15 years 10 months ago
2003
IEEE
Current design automation methodologies are becoming incapable of achieving design closure especially in the presence of deep submicron effects. This paper addresses the issue of ...
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...