2488 search results - page 468 / 498 » An improvement in formal verification |
118
click to vote
PPOPP
2003
ACM
15 years 6 months ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
Facilitation in GSS meetings is considered among the most important critical success factors for effective GSS application. A considerable amount of research on GSS facilitation h...
108
click to vote
DAS
2010
Springer
15 years 6 months ago
2010
Springer
Whole-book recognition is a document image analysis strategy that operates on the complete set of a book’s page images, attempting to improve accuracy by automatic unsupervised ...
130
click to vote
LCPC
2009
Springer
15 years 5 months ago
2009
Springer
This paper improves our previous research effort [1] by providing an efficient method for kernel loop unrolling minimisation in the case of already scheduled loops, where circular...
126
click to vote
DLOG
2006
15 years 2 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...