Industrial strength exception freedom
Proceedings of the 2002 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
ACM SIGAda Ada Letters
Dynamic ceiling priorities in GNAT implementation report
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
Experimental performance analysis of ada programs in cluster system
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
The implementation of ada 2005 synchronized interfaces in the GNAT compiler
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A buffer container class hierarchy using Ada 2005
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Distributed status monitoring and controlusing remote buffers and Ada 2005
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Exposing memory corruption and finding leaks: advanced mechanisms in Ada
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
General constant expressions for system programming languages
Proceedings of the 2010 ACM Symposium on Applied Computing
Parallelism generics for Ada 2005 and beyond
Proceedings of the ACM SIGAda annual international conference on SIGAda
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Stack safe parallel recursion with paraffin
SIGAda '11 Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
Abstract interface types in GNAT: conversions, discriminants, and C++
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
A new strategy for the HRT-HOOD to ada mapping
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
A comparison of the mutual exclusion features in ada and the real-time specification for JavaTM
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
A system for axiomatic programming
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Formal modelling for ada implementations: tasking event-b
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
A model-driven approach to teaching concurrency
ACM Transactions on Computing Education (TOCE)
| Hi-index | 0.00 |