
- S. Lin, A.J. Wellings and A. Burns. Ada 2012, Resource Sharing and Multiprocessors. This issue.Google Scholar
- A. Barros and L. M. Pinho. Revisiting Transactions in Ada. This issue.Google Scholar
- A. Burns and A. J. Wellings. Support for Multiprocessor Platforms. This issue.Google Scholar
- M. Ward and N. C. Audsley. Suggestions for stream based parallel systems in Ada. Ada Letters - Proceedings of the 13th International Real-Time Ada Workshop, XXVII(2), 2007. Google Scholar
Digital Library
- J. Real and S. Mitchell. Beyond Ada 2005 session report. Ada Letters - Proceedings of the 13th International Real-Time Ada Workshop, XXVII(2), 2007Google Scholar
- T. Vardanega, M. González Harbour, L. M. Pinho, Session Summary: Language and Distribution Issues. Ada Letters -- Proceedings of the 14th International Real-Time Ada Workshop, XXX(1), April 2010. Google Scholar
Digital Library
Index Terms
Session summary: multiprocessor issues, part 2 (resource control protocols)
Recommendations
Session Summary: Language Issues
This position paper follows from a previous proposal to integrate a time-triggered scheduler in a priority- based, preemptive scheduler such as that supported by Ada's task dispatching policy FIFO Within Priorities . The resulting combined scheduling ...
Debugging methodology (Session Summary)
SIGSOFT '83: Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debuggingTwo sessions were held on the general topic of debugging methodology. Both were moderated by R. Stockton Gaines. During the first session five speakers presented short talks on their workshop submissions. Each talk was followed by a brief question and ...
From One Session to Many: Dynamic Tags for Security Protocols
LPAR '08: Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and ReasoningThe design and verification of cryptographic protocols is a notoriously difficult task, even in abstract Dolev-Yao models. This is mainly due to several sources of unboundedness (size of messages, number of sessions, ...). In this paper, we characterize ...






Comments