共 50 条
- [31] BENCHMARKING ADA TASKING ON TIGHTLY COUPLED MULTIPROCESSOR ARCHITECTURES AIAA COMPUTERS IN AEROSPACE VII CONFERENCE, PTS 1 AND 2: A COLLECTION OF PAPERS, 1989, : 485 - 492
- [34] Implementing an application-defined scheduling framework for Ada tasking RELIABLE SOFTWARE TECHNOLOGIES- ADA-EUROPE 2004, 2004, 3063 : 283 - 296
- [35] A formal model of the Ada Ravenscar Tasking Profile; Protected objects RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99, 1999, 1622 : 12 - 25
- [36] A formal model of the Ada Ravenscar Tasking Profile; Delay until ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE (SIGADA'99) - PROCEEDINGS, 1999, 19 (03): : 15 - 21
- [37] DERIVATION OF PETRI NET MODELS OF ADA TASKING CONSTRUCTS INVOLVING TIME PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 24 - 31
- [38] Symbolic data flow analysis for detecting deadlocks in Ada tasking programs RELIABLE SOFTWARE TECHNOLOGIES ADA-EUROPE 2000, 2000, 1845 : 225 - 237
- [40] Compositional Petri net models of advanced tasking in Ada-95 COMPUTER LANGUAGES, 1999, 25 (02): : 55 - 87