Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
ада95
Связанные издания:
Ada95 - An Approach to Overcome the Software Crisis?
Ada95 and Critical Systems: An Analytical Approach
Ada95: An Effective Concurrent Programming Language
Ada 95 for a Distributed Simulation System
Ada 95: Quality and Style
An ANDF Based Ada95 Compiler System
A POSIX-Ada Interface for Application-Defined Scheduling
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95
(Astro)Physical Supercomputing: Ada95 as a Safe, Object-Oriented Alternative
Augmenting Ada95 with Additional Real-Time Features
Charles: A Data Structure Library for Ada95
Comments on Several Syntax Rules in Ada95
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95
Distributed Object Oriented Programming and Interoperability for Ada95: An OMG/CORBA Approach
Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation
Embedded Opportunities
Extending the Ada95 Initial Conditions for Preelaboration for use in Real-Time Systems
Extracting Ada 95 Objects from Legacy Ada Programs
GNAT Ada Database Development Environment
Heterogeneous Data Structures and Cross-Classification of Objects with Ada95
How to Avoid the Inheritance Anomaly in Ada
Implementing an Application-Defined Scheduling Framework for Ada Tasking
Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications
Mapping HRT-HOOD Designs to Ada 95 Hierarchical Libraries
MaRTE OS: An Ada Kernel for Real-Time Embedded Applications
Modeling Communication Interfaces with COMIX
Modern Avionics Requirements for the Distributed Systems Annex
New Developments in Ada 95 Run-Time Profile Definitions and Lanuage Refinements
Object-Oriented Abstractions for Real-Time Distributed Systems
Object-Oriented Stable Storage Based on Mirroring
PARIS - Partitioned Ada for Remotely Invoked Services
Porting the GNAT Tasking Runtime System to the Java Virtual Machine
Practical Use of Ada 95 s Concurrency Features
Programming Distributed Systems with Both Ada95 and PVM
Programming the Internet in Ada 95
Secure Communication in Distributed Ada
Slicing Tagged Objects in Ada
Static Dependency Analysis for Concurrent Ada 95 Programs
Synchronizing Multiple Clients and Servers
Testing Ada95 Object-Oriented Programs
Testing Ada 95 Programs for Conformance to Rapide Architectures
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems
Transaction Support for Ada
Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada95
Transparent Environment for Replicated Ravenscar Applications