3130 search results - page 211 / 626 » Design Correctness of Digital Systems |
142
click to vote
SAFECOMP
1999
Springer
15 years 8 months ago
1999
Springer
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
154
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
The objects and surfaces of a task-based environment can be layered with digital interfaces to make them easier and safer to use. Once information can be projected anywhere in the...
136
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
169
click to vote
FPL
2008
Springer
15 years 5 months ago
2008
Springer
Cryptanalysis of symmetric and asymmetric ciphers is a challenging task due to the enormous amount of involved computations. To tackle this computational complexity, usually the e...
172
click to vote
FPGA
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents a new architecture for time-to-digital conversion enabling a time resolution of 17ps over a range of 50ns with a conversion rate of 20MS/s. The proposed archit...