Reliable Software Technologies – Ada-Europe 2006 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540346630, 9783540346647
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Adaptive Random Testing Through Iterative Partitioning

2006 ◽  
pp. 155-166 ◽  
Author(s):  
T. Y. Chen ◽  
De Hao Huang ◽  
Zhi Quan Zhou
Keyword(s):  
Random Testing ◽  
Adaptive Random Testing ◽  
Iterative Partitioning

Using Mathematics to Improve Ada Compiled Code

2006 ◽  
pp. 191-202 ◽  
Author(s):  
Ward Douglas Maurer
Keyword(s):  
Compiled Code

Hierarchical Scheduling with Ada 2005

2006 ◽  
pp. 1-12 ◽  
Author(s):  
José A. Pulido ◽  
Santiago Urueña ◽  
Juan Zamorano ◽  
Tullio Vardanega ◽  
Juan A. de la Puente
Keyword(s):  
Hierarchical Scheduling

scholarly journals Interchangeable Scheduling Policies in Real-Time Middleware for Distribution

2006 ◽  
pp. 227-240 ◽  
Author(s):  
Juan López Campos ◽  
J. Javier Gutiérrez ◽  
Michael González Harbour
Keyword(s):  
Real Time ◽  
Scheduling Policies

The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems

2006 ◽  
pp. 215-226
Author(s):  
Santiago Urueña ◽  
Juan Zamorano ◽  
Daniel Berjón ◽  
José A. Pulido ◽  
Juan A. de la Puente
Keyword(s):  
Distributed Systems ◽  
Real Time ◽  
Communication Protocol ◽  
High Integrity

Towards Developing Multi-agent Systems in Ada

2006 ◽  
pp. 131-142
Author(s):  
G. Aranda ◽  
J. Palanca ◽  
A. Espinosa ◽  
A. Terrasa ◽  
A. García-Fornes
Keyword(s):  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent

scholarly journals POSIX Trace Based Behavioural Reflection

2006 ◽  
pp. 27-39
Author(s):  
Filipe Valpereiro ◽  
Luís Miguel Pinho
Load More ...
Sign in / Sign up

Export Citation Format

Share Document