Sciweavers

SIGADA
1998
Springer
15 years 9 months ago
Dependency Analysis of Ada Programs
Janusz W. Laski, William Stanley, Jim Hurst
129
Voted
SIGADA
1998
Springer
15 years 10 months ago
Kernel Ada to Unify Hardware and Software Design
Sy Wong, Gertrude Levine
141
Voted
SIGADA
1998
Springer
15 years 10 months ago
A Portable Implementation of the Distributed Systems Annex in Java
Yoav Tzruya, Mordechai Ben-Ari
132
Voted
SIGADA
1998
Springer
15 years 10 months ago
Building Fault Tolerant Distributed Systems Using IP Multicast
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
Samuel Tardieu, Laurent Pautet
123
Voted
SIGADA
1998
Springer
15 years 10 months ago
Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95
John A. Reisner, Zeenat Lainwala, Thomas J. Peters...
151
Voted
SIGADA
1998
Springer
15 years 10 months ago
An ASIS-Based Static Analysis Tool for High-Integrity Systems
William W. Pritchett IV, John D. Riley
110
Voted
SIGADA
1998
Springer
15 years 10 months ago
A Specification and Code Generation Tool for Message Translation and Validation
Charles Plinta, Richard D'Ippolito, Roger Van Scoy
SIGADA
1998
Springer
15 years 10 months ago
Extensible Protected Types
At the last workshop, the issue of being able to extend protected types in the same manner as tagged types was discussed. The conclusion was that further consideration was needed ...
O. P. Kiddle, Andy J. Wellings
SIGADA
1998
Springer
15 years 10 months ago
A Comparison of Ada and Pascal in an Introductory Computer Science Course
Jeanne L. Murtagh, John A. Hamilton Jr.