Abstract
This paper describes the challenges of making portable calculations across different architectures, and how the Ada model addresses the issues.
- http://www.quadibloc.com/comp/cp0201.htmGoogle Scholar
- Wikipedia, IEEE 754, https://en.wikipedia.org/wiki/IEEE_754Google Scholar
- "IEEE Standard for Binary Floating-Point Arithmetic". ANSI/IEEE Std 754--1985.Google Scholar
- Department of Defense, Requirements for High Order Computer Programming Languages "STEELMAN", June 1978. https://en.wikisource.org/wiki/Steelman_language_requireme ntsGoogle Scholar
- W. S. Brown, A Simple but Realistic Model of Floating- Point Computation, ACM Transactions on Mathematical Software, Volume 7 Issue 4, Dec. 1981, pp. 445--480.Google Scholar
Digital Library
Recommendations
Testing Ada Annex E-distributed systems
WPDRTS '95: Proceedings of the 3rd Workshop on Parallel and Distributed Real-Time SystemsWith the addition of special needs annexes to Ada 95, the traditional reliance on Ada Compiler Validation Capability style testing may not suffice. This paper explores some alternatives for testing a portion of the Distributed Systems Annex that deals ...
Towards a real-time distributed systems annex in Ada
In this paper we address the problem of combining two issues that are standardized separately in two Ada 95 annexes: Real-Time Systems (Annex D) and Distributed Systems (Annex E). With these annexes it is possible to build applications with real-time ...
Distributed and parallel execution in Ada 83
WPDRTS '95: Proceedings of the 3rd Workshop on Parallel and Distributed Real-Time SystemsSince the standardization of the Ada programming language in 1989, much research has gone into the distribution of Ada programs across a number of separate processors. However, no standard for distribution of Ada 89 programs has emerged. A new language ...






Comments