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...
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...
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...
Cristiano Calcagno, Matthew J. Parkinson, Viktor V...
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...
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...