3130 search results - page 264 / 626 » Design Correctness of Digital Systems |
139
click to vote
FTCS
1998
15 years 6 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
152
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
Over the past decade, tremendous amount of research activity has focused around the problem of localization in GPS denied environments. Challenges with localization are highlighte...
120
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
This paper presents an automatic grading prototype system developed as recognition engine for Japanese KANJI Dictation Test which aims to certificate the reading and writing abili...
157
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
The complexity and physical distribution of modern active-safety automotive applications requires the use of distributed architectures. These architectures consist of multiple ele...
142
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...