default search action
9th IRTAW 1999: Wakulla Springs Lodge, FL, USA
- Alan Burns:
Proceedings of the Ninth International Workshop on Real-Time Ada, IRTAW 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999. ACM 1999, ISBN 978-1-58113-177-2 - Mike Kamrad:
Fault tolerance (session summary). 10-11 - Alan Burns:
The Ravenscar Profile and implementation issues (session summary). 12-14 - Michael González Harbour:
Distributed Ada and real-time (session summary). 15-18 - Andy J. Wellings:
New language features and other language issues (session summary). 19-20 - Luís Miguel Pinho, Francisco Vasques:
Replica management in real-time Ada 95 applications. 21-27 - Brian Dobbing, George Romanski:
The Ravenscar Tasking Profile - experience reporting. 28-32 - Thomas Wolf:
Transparent replication for fault tolerance in distributed Ada 95. 33-40 - Jorge Real, Andy J. Wellings:
Dynamic ceiling priorities and Ada 95. 41-48 - Jörg Kienzle:
Combining tasking and transaction. 49-53 - Stephen Michell, Kristina Lundqvist:
Extendable, dispatchable task communication mechanisms. 54-59 - Scott Arthur Moody, Samuel Kwok, Dale Karr:
SimpleGraphics: Tcl/Tk visualization of real-time multi-threaded and distributed applications. 60-66 - J. J. Gutiérrez García, Michael González Harbour:
Prioritizing remote procedure calls in Ada distributed systems. 67-72 - Juan Antonio de la Puente, José F. Ruiz, Jesús M. González-Barahona:
Real-time programming with GNAT: specialised kernels versus POSIX threads. 73-77 - Alan Burns, Andy J. Wellings:
How to verify concurrent Ada programs: the application of model checking. 78-83 - W. M. Walker, P. T. Woolley, Alan Burns:
An experimental testbed for embedded real time Ada 95. 84-89 - Gary W. Smith, Richard A. Volz:
Distributed programming with intermediate IDL. 90-95 - Hongfeng Shen, Theodore P. Baker:
A Linux kernel module implementation of restricted Ada tasking. 96-103
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.