Implementing Ada 9X features using POSIX Threads: design issues
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
The GNU Ada runtime library (GNARL)
WADAS '94 Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada
SPARK—an annotated Ada subset for safety-critical programming
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Monitors: an operating system structuring concept
Communications of the ACM
Implementing Ada protected objects—interface issues and optimization
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
IEEE Standard for Information Technology - Portable Operating System Interface (POSIX): System Application Program Interface (API), Amendment 1: Realtime Extension (C Language), IEEE Std 1003.1b-1993
The GNARL Implementation of POSIX/Ada Signal Services
Ada-Europe '96 Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies
Kernel Ada to unify hardware and software design
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
The rendezvous is dead—long live the protected object
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Implementing a New Low-Level Tasking Support for the GNAT Runtime System
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
| Hi-index | 0.00 |