ravenscar profile
Recently Published Documents

TOTAL DOCUMENTS

35
(FIVE YEARS 2)

H-INDEX

5
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

IP Network Stack in Ada 2012 and the Ravenscar Profile

2018 ◽  
Vol 37 (2) ◽  
pp. 51-58
Author(s):  
Stéphane Carrez
Keyword(s):  
Ip Network ◽  
Ravenscar Profile

Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile

2017 ◽  
pp. 3-17 ◽  
Author(s):  
Jorge Garrido ◽  
Juan Zamorano ◽  
Alejandro Alonso ◽  
Juan A. de la Puente
Keyword(s):  
Ravenscar Profile

In support of extending the Ravenscar profile

2016 ◽  
Vol 36 (1) ◽  
pp. 63-67 ◽  
Author(s):  
Jorge Garrido ◽  
Beatriz Lacruz ◽  
Juan Zamorano ◽  
Juan A. de la Puente
Keyword(s):  
Ravenscar Profile

scholarly journals ARINC-653 Inter-partition Communications and the Ravenscar Profile

2015 ◽  
Vol 35 (1) ◽  
pp. 38-45 ◽  
Author(s):  
Jorge Garrido ◽  
Juan Zamorano ◽  
Juan A. de la Puente
Keyword(s):  
Ravenscar Profile

Toward Extensions to the Ravenscar Profile

2015 ◽  
Vol 35 (1) ◽  
pp. 32-37 ◽  
Author(s):  
P. Rogers ◽  
J. Ruiz ◽  
T. Gingold
Keyword(s):  
Ravenscar Profile

An extended ravenscar profile for execution time control

2013 ◽  
Vol 33 (2) ◽  
pp. 109-114
Author(s):  
Kristoffer Nyborg Gregertsen
Keyword(s):  
Execution Time ◽  
Time Control ◽  
Ravenscar Profile

Adapting the end-to-end flow model for distributed Ada to the ravenscar profile

2013 ◽  
Vol 33 (1) ◽  
pp. 53-63 ◽  
Author(s):  
Héctor Pérez Tijero ◽  
J. Javier Gutiérrez ◽  
Michael González Harbour
Keyword(s):  
Flow Model ◽  
End To End ◽  
Ravenscar Profile
Load More ...
Sign in / Sign up

Export Citation Format

Share Document