3335 search results - page 366 / 667 » Grid result checking |
160
click to vote
PLDI
1996
ACM
15 years 10 months ago
1996
ACM
Many important classes of bugs result from invalid assumptions about the results of functions and the values of parameters and global variables. Using traditional methods, these b...
150
click to vote
ICDAR
2007
IEEE
15 years 10 months ago
2007
IEEE
To date, automatic handwring recognition systems are far from being perfect and heavy human intervention is often required to check and correct the results of such systems. In ord...
167
click to vote
CSR
2006
Springer
15 years 10 months ago
2006
Springer
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...
207
click to vote
DDECS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
178
click to vote
ESEC
1995
Springer
15 years 10 months ago
1995
Springer
This paper presents the results of an exploratory experiment investigating the use of program metrics to predict reachability graph size, reachability graph generation time, and d...