6770 search results - page 868 / 1354 » How GPUs Work |
205
Voted
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
179
Voted
COBUILD
1999
Springer
15 years 11 months ago
1999
Springer
The goal of OWL (Object-Oriented Workplace Laboratory) is to provide an object-oriented and component-based framework that supports the engineering of applications for the design, ...
166
click to vote
DL
1999
Springer
15 years 11 months ago
1999
Springer
Commercial OCR packages work best with highquality scanned images. They often produce poor results when the image is degraded, either because the original itself was poor quality,...
196
Voted
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
188
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...