40 search results - page 3 / 8 » sas 2007 |
CMG
1997
13 years 10 months ago
1997
SAS® offers the option of using hiperspaces as the standard WORK file under MVS/ESA® as a performance enhancement. This paper introduces hiperspaces under MVS, and the applicabl...
SAS
2007
Springer
14 years 2 months ago
2007
Springer
Floating-point arithmetic is an important source of errors in programs because of the loss of precision arising during a computation. Unfortunately, this arithmetic is not intuitiv...
SAS
2007
Springer
14 years 2 months ago
2007
Springer
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...
SIP
2001
13 years 10 months ago
2001
Synthetic aperture side-scan sonar (SAS) is an imaging modality for detecting objects on the sea floor and in shallow water. SAS images provide an echo of an object along with its...
SAS
2007
Springer
14 years 2 months ago
2007
Springer
abstraction on real-valued programs David Monniaux Laboratoire d’informatique de l’´Ecole normale sup´erieure 45, rue d’Ulm, 75230 Paris cedex 5, France June 30, 2007 In t...