BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
profil (9)
time (8)
ada (8)
task (5)
high (5)

Stem ravenscar$ (all stems)

21 papers:

AdaEuropeAdaEurope-2012-PanunzioV #ada #component #development
Ada Ravenscar Code Archetypes for Component-Based Development (MP, TV), pp. 1–17.
AdaEuropeAdaEurope-2011-ChouteauR #design #implementation #multi
Design and Implementation of a Ravenscar Extension for Multiprocessors (FC, JFR), pp. 31–45.
AdaEuropeAdaEurope-2010-MezzettiPV #ada
Preservation of Timing Properties with the Ada Ravenscar Profile (EM, MP, TV), pp. 153–166.
DATEDATE-2009-GregertsenS #ada #multi #performance #runtime
An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller (KNG, AS), pp. 1572–1575.
AdaEuropeAdaEurope-2008-HamidN #ada #semantics
Operational Semantics of Ada Ravenscar (IH, EN), pp. 44–58.
AdaEuropeAdaEurope-2008-OberH #on the #verification
On the Timed Automata-Based Verification of Ravenscar Systems (IO, NH), pp. 30–43.
AdaEuropeAdaEurope-2006-UruenaZBPP #communication #distributed #protocol #realtime
The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems (SU, JZ, DB, JAP, JAdlP), pp. 215–226.
AdaEuropeAdaEurope-2005-AtiyaK #csp
Extending Ravenscar with CSP Channels (DAA, SK), pp. 79–90.
AdaEuropeAdaEurope-2005-BerrendonnerG #benchmark #metric
The ESA Ravenscar Benchmark (RB, JG), pp. 260–271.
AdaEuropeAdaEurope-2004-ZamoranoAPP #ada #implementation
Implementing Execution-Time Clocks for the Ada Ravenscar Profile (JZ, AA, JAP, JAdlP), pp. 132–143.
FMFME-2003-AtiyaKW #semantics
A Circus Semantics for Ravenscar Protected Objects (DAA, SK, JW), pp. 617–635.
High Integrity Ravenscar (PA, BD), pp. 68–79.
AdaEuropeAdaEurope-2003-BurnsL #verification
Adding Temporal Annotations and Associated Verification to Ravenscar Profile (AB, TML), pp. 80–91.
Transparent Environment for Replicated Ravenscar Applications (LMP, FV), pp. 297–308.
AdaEuropeAdaEurope-2001-VardanegaGP #migration
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK (TV, RG, JAdlP), pp. 392–404.
AdaEuropeAdaEurope-2000-PuenteRZ #kernel #realtime
An Open Ravenscar Real-Time Kernel for GNAT (JAdlP, JFR, JZ), pp. 5–15.
AdaEuropeAdaEurope-1999-KamradS #ada #implementation #runtime
An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch (JMKI, BAS), pp. 26–38.
AdaEuropeAdaEurope-1999-LundqvistAM #ada #formal method
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects (KL, LA, SM), pp. 12–25.
AdaSIGAda-1999-LundqvistA #ada #formal method
A formal model of the Ada Ravenscar tasking profile; delay until (KL, LA), pp. 15–21.
AdaEuropeAdaEurope-1998-BurnsDR #realtime #source code
The Ravenscar Tasking Profile for High Integrity Real-Time Programs (AB, BD, GR), pp. 263–275.
AdaSIGAda-1998-DobbingB #realtime #source code
The Ravenscar Tasking Profile for High Integrity Real-Time Programs (BD, AB), pp. 1–6.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.