Task coupling and cohesion in Ada
ACM SIGAda Ada Letters
An assessment of the overhead associated with tasking facilities and task paradigms in Ada
ACM SIGAda Ada Letters
Experiences teaching concurrency in Ada
ACM SIGAda Ada Letters
Rendezvous Facilities: Concurrent C and the Ada Language
IEEE Transactions on Software Engineering
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
Experience with Multiple Processor Versions of Concurrent C
IEEE Transactions on Software Engineering
ACM SIGAda Ada Letters
Plugging the holes in the sieve of eratosthenes
ACM SIGAda Ada Letters
Traps using the COUNT attribute in the readers-writers problem
ACM SIGAda Ada Letters
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Deterministic execution testing of concurrent Ada programs
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Specifying Ada Server Tasks with Executable Formal Grammars
IEEE Transactions on Software Engineering
Specifying and automatically generating Ada tasks in Prolog
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Debugging Concurrent Ada Programs by Deterministic Execution
IEEE Transactions on Software Engineering
An Ada deadlock testing algorithm based on control and communication flow graphs
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
A visual execution model for Ada tasking
ACM Transactions on Software Engineering and Methodology (TOSEM)
An undergraduate course in concurrent programming using Ada
ACM SIGCSE Bulletin
Task dependence and termination in Ada
ACM Transactions on Software Engineering and Methodology (TOSEM)
SMALL-Ada: personal computer courseware for studying concurrent programming
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
An animated instructional model for Ada tasking
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
An approach to testing concurrent Ada programs
WADAS '86 Proceedings of the third annual Washington Ada symposium on Ada: Ada use in focus : practical lessons in perspective
CLANG - a simple teaching language
ACM SIGPLAN Notices
Support for Extensibility and Reusability in a Concurrent Object-Oriented Programming Language
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Hi-index | 0.00 |