Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Реферативна база даних (1) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>AT=Дорошенко Формальні та адаптивні методи$<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
| 1. | 
Дорошенко А. Ю. Формальні та адаптивні методи й інструментальні засоби паралельного програмування [Електронний ресурс] / А. Ю. Дорошенко, О. Г. Бекетов, К. А. Жереб, П. А. Іваненко, О. М. Овдій, Р. С. Шевченко, О. А. Яценко // Проблеми програмування. - 2017. - № 3. - С. 19-30. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2017_3_4 Наведено огляд результатів розробки формальних та адаптивних методів і програмних засобів, досягнутих за останні роки в Інституті програмних систем НАН України, що грунтуються на алгебро-алгоритмічному підході та техніці переписувальних правил. Методи призначені для автоматизації проектування, генерації та перетворень паралельних програм для широкого діапазону мультипроцесорних обчислювальних платформ і знаходять застосування для різних прикладних областей, зокрема, для ефективної реалізації задач метеорологічного прогнозування. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |