Publisher
Springer International Publishing
Reference20 articles.
1. Ada Reference Manual, ISO/IEC 8652:2012(E) with COR.1:2016 (2016).
http://www.ada-auth.org/arm.html
2. Baker, T.P.: A stack-based resource allocation policy for realtime processes. In: 1990 Proceedings of the 11th Real-Time Systems Symposium, pp. 191–200, December 1990
3. Baker, T.P.: Stack-based scheduling for realtime processes. Real-Time Syst. 3(1), 67–99 (1991)
4. Barnes, J.: Programming in Ada 2012. Cambridge University Press, Cambridge (2014)
5. Brandenburg, B.B.: Scheduling and locking in multiprocessor real-time operating systems. Ph.D. thesis, The University of North Carolina at Chapel Hill (2011)