3335 search results - page 242 / 667 » Grid result checking |
159
click to vote
SIAMSC
2008
15 years 5 months ago
2008
We present a fast direct solver methodology for the Dirichlet biharmonic problem in a rectangle. The solver is applicable in the case of the second order Stephenson scheme [34] as ...
143
click to vote
ICPR
2000
IEEE
16 years 6 months ago
2000
IEEE
KPN Research has developed an all-purpose check recognition system for the Dutch Postbank. This Image Recognition and Interpretation System (IRIS) is the result of more than thirt...
149
click to vote
SAFECOMP
2007
Springer
15 years 11 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
140
click to vote
CASSIS
2004
Springer
15 years 11 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
135
click to vote
KBSE
1997
IEEE
15 years 9 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...