Lecture Notes in Computer Science - Reliable Software Technologies — Ada-Europe 2003
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540403760, 9783540449478
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95

2003 ◽  
pp. 344-358
Author(s):  
Javier Miranda ◽  
M. González Harbour
Keyword(s):  
Execution Time ◽  
Ada 95

A Test Environment for High Integrity Software Development

2003 ◽  
pp. 359-367 ◽  
Author(s):  
Alejandro Alonso ◽  
Juan Antonio de la Puente ◽  
Juan Zamorano
Keyword(s):  
Software Development ◽  
Test Environment ◽  
High Integrity

Running Ada on Real-Time Linux

2003 ◽  
pp. 322-333 ◽  
Author(s):  
Miguel Masmano ◽  
Jorge Real ◽  
Ismael Ripoll ◽  
Alfons Crespo
Keyword(s):  
Real Time

Getting System Metrics Using POSIX Tracing Services

2003 ◽  
pp. 220-231
Author(s):  
Agustín Espinosa Minguet ◽  
Vicente Lorente Garcés ◽  
Ana García Fornes ◽  
Alfons Crespo i Lorente

Testing Safety Critical Ada Code Using Non Real Time Testing

2003 ◽  
pp. 382-393 ◽  
Author(s):  
Y. V. Jeppu ◽  
K. Karunakar ◽  
P. S. Subramanyam
Keyword(s):  
Real Time ◽  
Safety Critical

scholarly journals Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada

2003 ◽  
pp. 129-141 ◽  
Author(s):  
Emmanuel Briot ◽  
Franco Gasperoni ◽  
Robert Dewar ◽  
Dirk Craeynest ◽  
Philippe Waroquiers

Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation

2003 ◽  
pp. 153-167 ◽  
Author(s):  
Johann Blieberger ◽  
Bernd Burgstaller
Keyword(s):  
Symbolic Evaluation

scholarly journals A Round Robin Scheduling Policy for Ada

2003 ◽  
pp. 334-343 ◽  
Author(s):  
A. Burns ◽  
M. González Harbour ◽  
A. J. Wellings
Keyword(s):  
Round Robin ◽  
Scheduling Policy
Load More ...
Sign in / Sign up

Export Citation Format

Share Document