Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Реферативна база даних (1) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>AT=Волк Журнализация состояний программных распределенных$<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
| 1. | 
Волк М. А. Журнализация состояний программных распределенных имитационных моделей и ее использование в оптимистических алгоритмах синхронизации [Електронний ресурс] / М. А. Волк // Збірник наукових праць Харківського університету Повітряних сил. - 2010. - Вип. 1. - С. 104-107. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2010_1_27 Представлено развитие формального аппарата описания распределенных имитационных моделей на основе их программного представления в терминах процессной алгебры. Введено множество активностей журнализации состояний модели, которые составляют основу менеджера памяти имитационных моделей. Показано, что реализованные активности могут выполнять функции федератов в оптимистических алгоритмах синхронизации распределенных имитационных моделей. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ інформаційно-комунікаційних технологій |
 Пам`ятка користувача |