3130 search results - page 279 / 626 » Design Correctness of Digital Systems |
183
click to vote
VMCAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
197
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Correct enforcement of authorization policies is a difficult task, especially for multi-threaded software. Even in carefully-reviewed code, unauthorized access may be possible in ...
194
click to vote
ISQED
2011
IEEE
14 years 10 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
196
click to vote
ICDS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper we present a rule-based formalism for the representation, acquisition, and application of translation knowledge. The formalism is being used successfully in a Jap...
155
click to vote
KDD
1999
ACM
15 years 11 months ago
1999
ACM
Many advanced safety and navigation applications in vehicles require accurate, detailed digital maps, but manual lane measurements are expensive and time-consuming, making automat...