Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 3 of 122 results
Sort by: relevance publication year

Session

JOURNAL ARTICLE published December 2003 in ACM SIGAda Ada Letters

Authors: Brian Dobbing | Juan Antonio de la Puente

https://doi.org/10.1145/959221.959233 Actions

Contract-Based Verification of Timing Enforcers

JOURNAL ARTICLE published 10 May 2017 in ACM SIGAda Ada Letters

Authors: Sagar Chaki | Dionisio de Niz

https://doi.org/10.1145/3092893.3092898 Actions

Session Summary

JOURNAL ARTICLE published 28 December 2015 in ACM SIGAda Ada Letters

Authors: Juan Antonio de la Puente | Alan Burns

https://doi.org/10.1145/2870544.2870556 Actions

Session summary

JOURNAL ARTICLE published 8 November 2013 in ACM SIGAda Ada Letters

Authors: Jorge Real | Juan Antonio de la Puente

https://doi.org/10.1145/2552999.2553016 Actions

Session summary

JOURNAL ARTICLE published December 2002 in ACM SIGAda Ada Letters

Authors: Juan Antonio de la Puente | Luís Miguel Pinho

https://doi.org/10.1145/584417.584433 Actions

A fully reusable class of objects for synchronization and communication in Ada 95

JOURNAL ARTICLE published March 1999 in ACM SIGAda Ada Letters

Authors: Patrick de Bondeli

https://doi.org/10.1145/311457.311487 Actions

A fully reusable class of objects for synchronization and communication in Ada 95

JOURNAL ARTICLE published October 1997 in ACM SIGAda Ada Letters

Authors: Patrick de Bondeli

https://doi.org/10.1145/271662.283833 Actions

A graphical trace analysis tool for Ada real-time embedded systems

PROCEEDINGS ARTICLE published July 1989 in Proceedings of the sixth Washington Ada symposium on Ada

Authors: Pascal de Seze | Christian Bonnet | Jean-François Caillet | Barbara Raither

https://doi.org/10.1145/326490.326505 Actions

Ada real-time services and virtualization

JOURNAL ARTICLE published 11 June 2013 in ACM SIGAda Ada Letters

Authors: Juan Zamorano | Ańgel Esquinas | Juan A. de la Puente

https://doi.org/10.1145/2492312.2492325 Actions

On protocols for accessing protected objects on multiprocessors

JOURNAL ARTICLE published 23 July 2018 in ACM SIGAda Ada Letters

Authors: Jorge Garrido | Juan Zamorano | Juan A. de la Puente

https://doi.org/10.1145/3241950.3241954 Actions

ARINC-653 Inter-partition Communications and the Ravenscar Profile

JOURNAL ARTICLE published 28 December 2015 in ACM SIGAda Ada Letters

Authors: Jorge Garrido | Juan Zamorano | Juan A. de la Puente

https://doi.org/10.1145/2870544.2870550 Actions

Use of Ada in digital radar landmass simulation (DRLMS)

JOURNAL ARTICLE published November 1998 in ACM SIGAda Ada Letters

Authors: Jim Hopper | Jennifer De Bilbiss | Harry Heaton | Tom Haberlandt

https://doi.org/10.1145/301687.289556 Actions

On real-time partitioned multicore systems

JOURNAL ARTICLE published 8 November 2013 in ACM SIGAda Ada Letters

Authors: Juan Zamorano | Juan A. de la Puente

https://doi.org/10.1145/2552999.2553003 Actions

Session details: Conclusions and plans for next IRTAW

JOURNAL ARTICLE published August 2007 in ACM SIGAda Ada Letters

Authors: Juan A. de la Puente | Santiago Urueña

https://doi.org/10.1145/3261964 Actions

Execution-time clocks and Ravenscar kernels

JOURNAL ARTICLE published December 2003 in ACM SIGAda Ada Letters

Authors: Juan Antonio de la Puente | Juan Zamorano

https://doi.org/10.1145/959221.959237 Actions

Session on real-time, fault tolerance, and distribution

JOURNAL ARTICLE published December 2002 in ACM SIGAda Ada Letters

Authors: Michael González Harbour | Juan Antonio de la Puente

https://doi.org/10.1145/584417.584434 Actions

Dragoon: an object-oriented notation supporting the reuse and distribution of Ada software

JOURNAL ARTICLE published November 1990 in ACM SIGAda Ada Letters

Authors: C. Atkinson | Andrea de Maio | R. Bayan

https://doi.org/10.1145/102456.102470 Actions

Real-time system development in ada using LEGO® mindstorms® NXT

JOURNAL ARTICLE published 5 November 2010 in ACM SIGAda Ada Letters

Authors: Peter J. Bradley | Juan A. de la Puente | Juan Zamorano

https://doi.org/10.1145/1879097.1879077 Actions

Precise response time analysis for Ravenscar kernels

JOURNAL ARTICLE published December 2002 in ACM SIGAda Ada Letters

Authors: Juan Zamorano | Juan Antonio de la Puente

https://doi.org/10.1145/584417.584425 Actions

Developing reusable multi-tasking components using object-oriented techniques in Ada 95

JOURNAL ARTICLE published October 1997 in ACM SIGAda Ada Letters

Authors: Patrick de Bondeli

https://doi.org/10.1145/271662.271682 Actions
Feedback: support@crossref.org