| doc/en/ada_letters/dec2003 | Выпуск dec2003.
Спецвыпуск по 12-му заседанию международной рабочей группы по
использованию язвыка Ада в системах реального времени.
(Proceedings of the 12th International Real-Time Ada Workshop).
|
| dec2003 | Выпуск dec2003.
Спецвыпуск по 12-му заседанию международной рабочей группы по
использованию язвыка Ада в системах реального времени.
(Proceedings of the 12th International Real-Time Ada Workshop).
|
| - |
Предисловие председателя.
(Message from the Chair. Currie Colket)
|
| - |
От редакции журнала. (Newsletter Info)
|
| - |
Титульная страница.
|
| - |
Секция "Основные свойства языка".
(Session: New Core Language Features)
|
| - |
Секция "Интеграция или ортогональность
(Java реального времени вместо Ады)"
(Session: Integration vs. Orthogonality)
|
| - |
Является ли грядущая технология 'Java в рельном времени'
лучшей, чем Ada технология?
(Is Java Augmented with the RTSJ a Better Real-Time ...
Technology than Ada 95?
AJ Wellings)
|
| - |
Секция: Текущие вопросы/предложения по системам реального времени.
(Session: Current Real-Time AIs)
|
| - |
Отчет "Реализация в GNAT динамических предельных приоритетов".
(Dynamic Ceiling Priorities in GNAT Implementation Report. Miranda et al.)
|
| - |
Управление несколькими таймерами времени исполнения из
одиночной задачи.
(Managing Multiple Execution-Time Timers from a Single Task.
MG Harbour and MA Rivas)
|
| - |
Секция "Гибкое планирование исполнения задач в Аде".
(Session: Flexible Scheduling in Ada)
|
| - |
Планирование исполнения задач на основе их атрибутов -
развитие поддержки планирования в Аде.
(Task Attribute-Based Scheduling - Extending Ada s Support for Scheduling.
Burns and AJ Wellings)
|
| - |
Контроллируемое приложением планирование задач в Аде.
(Application-Defined Scheduling in Ada.
MA Rivas and MG Harbour)
|
| - |
Разделение по пространству и времени при помощи
ARINC 653 и прагмы Profile.
(Space & Time Partitioning with ARINC 653 and pragma Profile. JL Tokar)
|
| - |
Секция "Статус и будущее для Ravenscar".
(Session: Ravenscar Status and Future)
|
| - |
Статический анализ Ravenscar программ.
(Static Analysis of Ravenscar Programs. PN Amey and BJ Dobbing)
|
| - |
Шаблоны проектирования для Ravenscar?
Опыт использования Ravenscar Profile.
(Ravenscar Design Patterns? Reflections on Use of the Ravenscar Profile.
T Vardanega)
|
| - |
Проверка, тестирование и мониторинг Open Ravenscar Real Time Kernel.
(Verifying, Validating and Monitoring the Open Ravenscar Real Time Kernel.
R Maia et al)
|
| - |
Часы исполняемого времени и Ravenscar ядра.
(Execution-Time Clocks and Ravenscar Kernels.
A de la Puente and J Zamorano)
|
| - |
Один из подходов к проверке конкурентных Ада-программ реального времени.
(An Approach to Formal Verification of Real Time Concurrent Ada Programs.
DJ Howe and S Michell)
|
| - |
Секция "Создание новых предложений к расширению языка"
(Session: Generating New AIs)
|
| - |
Секция "Будущее IRTAW (международной рабочей группы по
использованию язвыка Ада в системах реального времени)".
(Session: The Future of IRTAW)
|
|
