
- A. Wellings. Session summary: Locking protocols. ACM SIGAda Ada Letters, Proc. of IRTAW 16, XXXIII(2):123--125, 2013. Google Scholar
Digital Library
Recommendations
Paper summary: probabilistic planning for continuous dynamic systems under bounded risk
ICAPS'13: Proceedings of the Twenty-Third International Conference on International Conference on Automated Planning and SchedulingThis paper presents a model-based planner called the Probabilistic Sulu Planner or the p-Sulu Planner, which controls stochastic systems in a goal directed manner within user-specified risk bounds. We first develop a new plan representation called a ...
Session summary: distribution and real-time
The objective of this session was to discuss aspects related to the integration of real-time and distribution capabilities in Ada. Special focus was given to:- the integration of the Real-Time and Distributed Systems Annexes;- Ravenscar and Distributed ...
Session summary: distribution and real-time
IRTAW '00: Proceedings of the 10th international workshop on Real-time Ada workshopThe objective of this session was to discuss aspects related to the integration of real-time and distribution capabilities in Ada. Special focus was given to:- the integration of the Real-Time and Distributed Systems Annexes;- Ravenscar and Distributed ...






Comments