4887 search results - page 776 / 978 » System Level Design Using C |
162
Voted
UIST
2004
ACM
15 years 9 months ago
2004
ACM
We present SketchREAD, a multi-domain sketch recognition engine capable of recognizing freely hand-drawn diagrammatic sketches. Current computer sketch recognition systems are dif...
128
Voted
VLSID
2009
IEEE
16 years 4 months ago
2009
IEEE
The current paradigm of using Cu interconnects for on-chip global communication is rapidly becoming a serious performance bottleneck in ultra-deep submicron (UDSM) technologies. C...
114
Voted
NDSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Structured overlays are an important and powerful class of overlay networks that has emerged in recent years. They are typically targeted at peer-to-peer deployments involving mil...
137
Voted
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
136
Voted
PATMOS
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a modular optimization framework for custom digital circuits in the power – performance space. The method uses a static timer and a nonlinear optimizer to max...