1019 search results - page 86 / 204 » Computer Aided Ferret Design |
DAC
2005
ACM
14 years 12 months ago
2005
ACM
In this paper, we introduce a new watermarking system for IP protection on post-layout design phase. Firstly the copyright is encrypted by DES (Data Encryption Standard) and then ...
DAC
2006
ACM
15 years 3 months ago
2006
ACM
VLSI engineers have traditionally used a variety of CAD analysis tools (e.g. SPICE) to deal with variability. As we go into deep sub micron issues, the analysis is becoming harder...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
We present a system designed to facilitate language development in deaf children. The children interact with a computer game using American Sign Language (ASL). The system consist...
UIST
2006
ACM
15 years 3 months ago
2006
ACM
Current paper-based interfaces such as PapierCraft, provide very little feedback and this limits the scope of possible interactions. So far, there has been little systematic explo...
CAV
2000
Springer
15 years 1 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...