3130 search results - page 125 / 626 » Design Correctness of Digital Systems |
130
Voted
DAC
1994
ACM
15 years 7 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
129
Voted
ICADL
2007
Springer
15 years 9 months ago
2007
Springer
The National Taiwan University Library has built a digital library of historical documents about Taiwan. The content is unique in that it covers about 80% of all primary Chinese hi...
128
Voted
IJCNN
2000
IEEE
15 years 8 months ago
2000
IEEE
: Conventional hardware platforms are far from reaching real-time simulation requirements of complex spiking neural networks (SNN). Therefore we designed an accelerator board with ...
125
Voted
MM
1999
ACM
15 years 8 months ago
1999
ACM
NoteLook is a client-server system designed and built to support multimedia note taking in meetings with digital video and ink. It is integrated into a conference room equipped wi...
110
Voted
BILDMED
2007
15 years 5 months ago
2007
To assure a correct position and orientation of the patient’s eye in radiation treatment, a new approach in image-guided radiotherapy is used to determine the misalignment of the...