Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Reliable Software Technologies - Ada-Europe ' 99: 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings > A “Bare-Machine” Implementation of Ada Multi-tasking Beneath the Linux Kernel
Reliable Software Technologies - Ada-Europe ' 99: 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings |
Michael González Harbour; Juan A. Puente
Springer Berlin Heidelberg
Reliable Software Technologies - Ada-Europe ' 99: 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings
A “Bare-Machine” Implementation of Ada Multi-tasking Beneath the Linux Kernel
Authors

Hongfeng Shen; Arnaud Charlet; T. P. Baker

ARI Id

1674219723129_2980117

Access

Not Available Free

Pages

287-297

DOI

10.1007/3-540-48753-0_25

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-48753-0_25

Table of Contents of Book
Showing 1 to 20 of 39 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XIII
An Architectural Perspective of Real-Time Ada Applications
C. Douglass Locke
1-11
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects
Kristina Lundqvist; Lars Asplund; Stephen Michell
12-25
An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch
Mike Kamrad; Barry Spinney
26-38
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT
Roderick Chapman; Robert Dewar
39-51
An Ada95 Solution for Certification of Embedded Safety Critical Applications
Jacob Frost
52-63
Architectural Frameworks: Defining the Contents of Architectural Descriptions
David E. Emery
64-75
Mapping Object-Oriented Designs to Ada
Alfred Strohmeier
76-90
Efficient and Extensible Multithreaded Remote Servers?
Ricardo Jiménez-Peris; M. Patiño-Martínez; F. J. Ballesteros; S. Arévalo
91-102
Report on the VERA Experiment
Bruno Hémeury
103-113
Acceptance Testing of Object Oriented Systems
Jose L. Fernández
114-123
Environment for the Development and Specification of Real-Time Ada Programs
Apolinar González; Alfons Crespo
124-135
Interprocedural Symbolic Evaluation of Ada Programs with Aliases
J. Blieberger; B. Burgstaller; B. Scholz
136-145
Automatic Veri. cation of Concurrent Ada Programs
Eric Bruneton; Jean-François Pradat-Peyre
146-157
Translating Time Petri Net Structures in Ada 95 Statements
F. J. García; J. L. Villarroel
158-169
Railway Scale Model Simulator
Pierre Breguet; Luigi Zaffalon
170-180
Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine
Alexandr Korochkin
181-186
yaRTI, a Ada 95 HLA Run-Time Infrastructure
Dominique Canazzi
187-198
An Ada95 Implementation of a Network Coordination Language with Code Mobility
Emilio Tuosto
199-210
CORBA & DSA: Divorce or Marriage?
Laurent Pautet; Thomas Quinot; Samuel Tardieu
211-225
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 39 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings