journal articleLitStream CollectionEfficient Implementation of IPCP and DFPAudsley, N. C.; Burns, A.2015 ACM SIGAda Ada Lettersdoi: 10.1145/2870544.2870546pmid: N/A
journal articleLitStream CollectionTesting Conformity to the Real-Time AnnexBurns, A.; Wellings, A. J.2015 ACM SIGAda Ada Letters
journal articleLitStream CollectionInterrupts, Timing Events and Dispatching DomainsWellings, A. J.; Burns, A.2015 ACM SIGAda Ada Lettersdoi: 10.1145/2870544.2870548pmid: N/A
journal articleLitStream CollectionToward Extensions to the Ravenscar ProfileRogers, P.; Ruiz, J.; Gingold, T.2015 ACM SIGAda Ada Lettersdoi: 10.1145/2870544.2870549pmid: N/A
journal articleLitStream CollectionARINC-653 Inter-partition Communications and the Ravenscar ProfileGarrido, Jorge; Zamorano, Juan; de la Puente, Juan A.2015 ACM SIGAda Ada Lettersdoi: 10.1145/2870544.2870550pmid: N/A
journal articleLitStream CollectionReal-Time Fine-Grained Parallelism in AdaPinho, Luís Miguel; Moore, Brad; Michell, Stephen; Taft, S. Tucker2015 ACM SIGAda Ada Lettersdoi: 10.1145/2870544.2870551pmid: N/A
journal articleLitStream CollectionIncorporating Cyclic Task Behaviour into Ada TasksBernardi, Patrick2015 ACM SIGAda Ada Lettersdoi: 10.1145/2870544.2870552pmid: N/A
journal articleLitStream CollectionMultiprocessor Ada platform based on MaRTE OS and GNATRivas, Mario Aldea; Tijero, Héctor Pérez; Harbour, Michael González2015 ACM SIGAda Ada Lettersdoi: 10.1145/2870544.2870553pmid: N/A
journal articleLitStream CollectionImplementation of Timing-Event Affinities in Ada/LinuxSáez, Sergio; Real, Jorge; Crespo, Alfons2015 ACM SIGAda Ada Lettersdoi: 10.1145/2870544.2870554pmid: N/A
journal articleLitStream CollectionUpdate of ISO/IEC Technical Reports on the Use of the Ada Programming Language in High Integrity SystemsTokar, Joyce L.2015 ACM SIGAda Ada Lettersdoi: 10.1145/2870544.2870555pmid: N/A