Using large families for handling priority requests
ACM SIGAda Ada Letters
Pascal-FC: a language for teaching concurrent programming
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Asynchronous transfer of control in Ada
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs
IEEE Transactions on Software Engineering
ACM SIGAda Ada Letters
Ada's abort statement: license to kill
ACM SIGAda Ada Letters
Traps using the COUNT attribute in the readers-writers problem
ACM SIGAda Ada Letters
An algebraic specification of the partial orders generated by concurrent Ada computations
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Entity-life modeling and structured analysis in real-time software design—a comparison
Communications of the ACM
Specifying Ada Server Tasks with Executable Formal Grammars
IEEE Transactions on Software Engineering
Usability of the Ada tasking-model
IRTAW '89 Proceedings of the third international workshop on Real-time Ada issues
Specifying and automatically generating Ada tasks in Prolog
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Ada experience in the undergraduate curriculum
Communications of the ACM
Ada 9X protected types in Pascal-FC
ACM SIGAda Ada Letters
An Ada solution to the general mutual exclusion problem
ACM SIGAda Ada Letters
An undergraduate course in concurrent programming using Ada
ACM SIGCSE Bulletin
ACM SIGAda Ada Letters
After you, Alfonse: a mutual exclusion toolkit
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Priority ceiling protocol in Ada
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Tasking troubles and tips (abstract)
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Conflict resolution for readers and writers
ACM SIGAda Ada Letters
Efficient initialisation routines for multiprocessor systems programmed in Ada
ACM SIGAda Ada Letters
Ada and the control of intrusion
ACM SIGAda Ada Letters
Modelling remote concurrency with Ada: case study of symmetric non-deterministic rendezvous
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Efficient parallel implementation of sequence analysis algorithms using a global address space model
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.03 |