Search CORE

22 research outputs found

Exception support for the ravenscar profile

Author: Barnes John
Burns Alan
Burns Alan
José Ruiz
Juan A. de la Puente
Juan Zamorano
Ramón Fernández-Marina
Reference Manual Ada
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Precise response time analysis for Ravenscar kernels

Author: Burns A.
de la Puente J. A.
de la Puente J. A.
Juan Antonio de la Puente
Juan Zamorano
Reference Manual Ada
Zamorano J.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

A case for exceptions

Author: Ada Reference Manual SO.
Ada Reference Manual SO.
Chapman R.
International PARC
Tullio Vardanega
Vardanega T.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

The evolution of a distributed dataflow processing model using Ada

Author: Aa P
Ada Reference Manual
Scott James
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Education of real-time systems engineers

Author: Ada Reference Manual
Barnes
Baumann
Elzer
Goehner
Halang
Henn
Lauber
Lauber
Lauber
Liu
Piche
Preliminary Ada Reference
Sandmayr
The Programming Language Ada Reference Manual
W.A. Halang
Publication venue: 'Elsevier BV'
Publication date
Field of study

APE—a set of T E

Author: Désarménien Jacques
Programming Language Reference Manual The Ada
S. Sankar
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

An ASIS-based static analysis tool for high-integrity systems

Author: Craigen Dan
John D. Riley
Reference Manual Ada
William W. Pritchett
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Re-engineering global variables in Ada

Author: A. T. Chamillard
Ada Language Reference Manual
Henry S.
Ricky E. Sward
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Using inheritance to implement concurrency

Author: Ben-Ari M.
Gelernter David
Language Reference Manual Ada
Mordechai Ben-Ari
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

A new approach to fault tolerance in distributed Ada programs

Author: Cornhill D.
For The Ada Programming Reference Manual
J. C. Knight
M. E. Rouleau
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

core

core