Простий пошук
|
Розширений пошук
|
Алфавітні покажчики
|
Бази даних
Реферативна база даних - результати пошуку
Віртуальна довідкаТематичний інтернет-навігаторНаукова електронна бібліотекаАвтореферати дисертаційРеферативна база данихКнижкові видання та компакт-дискиЖурнали та продовжувані видання
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Сортувати знайдені документи за: | ||
| автором | назвою | роком видання |
| Формат представлення знайдених документів: | ||
| повний | стислий | |
Пошуковий запит: (<.>A=Чугаенко А$<.>) | ||||
|
Загальна кількість знайдених документів : 8 Представлено документи з 1 до 8 |
||||
| 1. | Матвеева Л. Е. Использование инструментальных средств моделирования параллельных вычислений в системе APS для разработки эффективных программ / Л. Е. Матвеева, А. В. Чугаенко // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 296-303. - Библиогр.: 11 назв. - рус. В данной статье представлены инструментальные средства моделирования параллельных вычислений в среде алгебраического программирования. Описаны синтаксис и семантика координационного языка и реализация его подмножества SIM, а также использование системы SIM для одной задачи линейной алгебры. При этом проводится сравнительный анализ различных механизмов синхронизации, используемых для реализации параллельного алгоритма. Ключ. слова: Індекс рубрикатора НБУВ: З970.21 Рубрики: | |||
| 2. | Кривой С. Л. О реализации алгоритмов проверки совместности систем линейных диофантовых уравнений в области натуральных чисел / С. Л. Кривой, А. В. Чугаенко, Н. А. Богак, В. В. Бура // Управляющие системы и машины. - 1999. - № 3. - С. 26-32. - Библиогр.: 11 назв. - рус. Особливістю описаних алгоритмів є здатність генерувати деякі розв'язки системи рівнянь, коли вона сумісна. Роботу алгоритмів проілюстровано прикладами. Індекс рубрикатора НБУВ: В142.2 Рубрики: Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ | |||
| 3. | Матвеева Л. Е. Разработка инструментальных средств моделирования параллельных вычислений в системе алгебраического программирования / Л. Е. Матвеева, А. В. Чугаенко // Кибернетика и систем. анализ. - 1999. - № 3. - С. 180-187. - Библиогр.: 5 назв. - рус. Представлено інструментальні засоби для моделювання паралельних обчислень у середовищі алгебраїчного програмування. Наведено синтаксис і семантику координаційної мови та описано реалізацію її підмножин - SIM та Монітор. Система SIM використовувалась для розробки паралельного варіанту алгоритму Бухбергера обчислення поліноміальних ідеалів. Індекс рубрикатора НБУВ: З970.21 + З973-018 Рубрики: Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ | |||
| 4. | Чугаенко А. В. О реализации IBTSSD-алгоритма / А. В. Чугаенко // Управляющие системы и машины. - 2007. - № 4. - С. 14-17. - Библиогр.: 8 назв. - рус.
Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ | |||
| 5. | Чугаенко А. В. О реализации алгоритма перевода набора BIMSCD-диаграмм в сеть Петри / А. В. Чугаенко // Управляющие системы и машины. - 2007. - № 6. - С. 17-23. - Библиогр.: 9 назв. - рус.
Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ | |||
| 6. | Чугаенко А. В. Об алгоритме перевода документов MSC в сети Петри / А. В. Чугаенко, С. Л. Крывый // Пробл. програмув. - 2008. - N 2/3 (спец. вип.). - С. 587-594. - Библиогр.: 6 назв. - рус. Описан алгоритм перевода документа MSC в трассово эквивалентную ему сеть Петри. Полученную таким образом сеть Петри можно использовать для анализа свойств системы, представленной исходным документом MSC. Алгоритм является частью инструментария для автоматического анализа и верификации документов MSC. Індекс рубрикатора НБУВ: З810.2 Рубрики: Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ | |||
| 7. | Крывый С. Л. Исследование свойств документов MSC с помощью преобразования их в сети Петри / С. Л. Крывый, А. В. Чугаенко, Л. Е. Матвеева // Кибернетика и систем. анализ. - 2009. - 45, № 6. - С. 165-171. - Библиогр.: 13 назв. - рус. Розглянуто остаточний варіант алгоритму трансляції документів з мови MSC-2000 у мережі Петрі, що подійно еквівалентні до них. Вхідний документ може використовувати довільні елементи мови MSC-2000, але значення елементів у мовах не використовується; послідовна композиція діаграм інтерпретується як строга. Наведений алгоритм реалізовано як повнофункціональний прототип, що може використовуватися для верифікації програмних систем. Індекс рубрикатора НБУВ: З973-018.021.1 Рубрики: Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ | |||
| 8. | Крывый С. Л. Формальные методы анализа дискретных систем с использованием языка спецификаций / С. Л. Крывый, А. В. Чугаенко // Кибернетика и систем. анализ. - 2009. - 45, № 4. - С. 31-48. - Библиогр.: 13 назв. - рус. Описано реалізацію алгоритму переведення набору діаграм MSC (документа MSC) в подійно еквівалентну йому мережу Петрі, наведено доказ коректності зазначеного алгоритму. Мережа, що одержана таким чином, може використовуватися для аналізу властивостей вихідного документа MSC. Наведений алгоритм є складовою частиною системи аналізу та верифікації документів MSC. Індекс рубрикатора НБУВ: З972-01 Рубрики: Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ | |||
Всі права захищені © Національна бібліотека України імені В. І. Вернадського