5570 search results - page 61 / 1114 » Applications of Fair Testing |
SE
2007
15 years 1 months ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
ITC
2003
IEEE
15 years 5 months ago
2003
IEEE
Prior to the mid 1980s, the dominance of through-hole packaging of integrated circuits (ICs) provided easy access to nearly every pin of every chip on a printed circuit board. Pro...
113
click to vote
SC
2000
ACM
15 years 4 months ago
2000
ACM
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
DELTA
2002
IEEE
15 years 4 months ago
2002
IEEE
A flexible software based platform for number plate recognitions applications is described. It breaks the processing into several explicit modules, with the implementation for eac...
APPROX
2009
Springer
15 years 6 months ago
2009
Springer
Motivated by questions in property testing, we search for linear error-correcting codes that have the “single local orbit” property: i.e., they are specified by a single loca...