4836 search results - page 43 / 968 » Exploring the Similarity Space |
134
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
Achieving design closure is one of the biggest headaches for modern VLSI designers. This problem is exacerbated by high-level design automation tools that ignore increasingly impo...
110
click to vote
CHI
2009
ACM
15 years 11 months ago
2009
ACM
We present CThru, a self-guided video-based educational environment in a large multi-display setting. We employ a video-centered approach, creating and combining multimedia conten...
136
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...
130
click to vote
AVI
2010
15 years 5 months ago
2010
Recently, research in 3D computer graphics and interaction has started to move beyond the narrow domain of single object authoring and inspection, and has begun to consider comple...
129
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Multi-million gate System-on-Chip (SoC) designs increasingly rely on Intellectual Property (IP) blocks. However, due to technology scaling the leakage power consumption of the IP ...