5109 search results - page 967 / 1022 » On Learning Limiting Programs |
129
Voted
ICCD
2008
IEEE
15 years 9 months ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
87
Voted
ICCD
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— Noise induced by impedance discontinuities from VLSI packaging is one of the leading challenges facing system level designers in the next decade. The performance of IC ...
93
Voted
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
113
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Although scripting languages are becoming increasingly popular, even mature scripting language implementations remain interpreted. Several compilers and reimplementations have bee...
112
Voted
SIGMOD
2009
ACM
15 years 7 months ago
2009
ACM
The state of the art commercial query optimizers employ cost-based optimization and exploit dynamic programming (DP) to find the optimal query execution plan (QEP) without evalua...