Головна
Авторизація
Прізвище
№ читательского билета
Наукова бібліотека Українського державного університету науки і технологій
Бази даних
Статті, доповіді, тези- результати пошуку
Вид пошуку
Каталог книг
Каталог книг НМетАУ (до 2022 року)
Періодичні видання (друковані)
Статті, доповіді, тези
Рідкісні та цінні видання
Охоронні документи
Мережеві ресурси
Зона пошуку
Ключевые слова
Автор
Назва
Рік видання
Формат представлення знайдених документів:
повний
інформаційний
короткий
Відсортувати знайдені документи за:
автором
назвою
роком видання
типом документа
Пошуковий запит:
<.>U=004.4'24<.>
Загальна кількість знайдених документів
:
10
Показані документи
с 1 за 10
>
1.
Формальні та адаптивні
методи й інструментальні засоби паралельного програмування / А. Ю. Дорошенко, О. Г. Бекетов, К. А. Жереб, П. А. Іваненко, О. М. Овдій> // Проблеми програмування : науковий журнал. - 2017. -
№ 3
. - С. 19-30 : іл. - Бібліогр. в кінці ст.
УДК
004.4'24
Рубрики:
Програмне забезпечення
Программное обеспечение
Кл.слова (ненормовані):
автоматизація програмування
--
автоматизация программирования
--
алгебра алгоритмів
--
алгебра алгоритмов
--
метеорологічне прогнозування
--
метеорологическое прогнозирование
--
паралельні обчислення
--
параллельные вычисления
--
техніка переписувальних правил
--
техника переписывающих правил
Дод.точки доступу:
Дорошенко, А. Ю.; Бекетов, О. Г.; Жереб, К. А.; Іваненко П. А., Овдій О. М., Шевченко Р. С., Яценко О. А.
Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)
Знайти схожі
>
2.
Шевченко, Р. С.
Числення контекстних термів для систем переписування / Р. С. Шевченко> // Проблеми програмування : науковий журнал. - 2018. -
№ 2/3 (спец.випуск)
. - С. 21-30. - Бібліогр. в кінці ст.
УДК
004.4'24
Рубрики:
Програмне забезпечення
Программное обеспечение
Кл.слова (ненормовані):
автоматизація розробки програмного забезпечення
--
автоматизация разработки программного обеспечения
--
мови програмування
--
языки программирования
--
переписування термів
--
переписования термов
--
алгебра типів
--
алгебра типов
--
системи типів
--
системы типов
--
аналіз коду
--
анализ кода
Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)
ЧЗНЛ Прим. 2 - (вільний)
Знайти схожі
>
3.
Автотюнінг паралельних програміз
використанням статистичного моделювання та машинного навчання / А. Ю. Дорошенко, П. А. Іваненко, О. С. Новак, О. А. Яценко> // Проблеми програмування : науковий журнал. - 2018. -
№ 2/3 (спец.випуск)
. - С. 46-53 : іл., табл. - Бібліогр. в кінці ст.
УДК
004.4'24
Рубрики:
Програмне забезпечення
Программное обеспечение
Кл.слова (ненормовані):
автоматизація розробки програмного забезпечення
--
автоматизация разработки программного обеспечения
--
інструментарій автотьюнінгу
--
инструментарий автотьюнинга
--
вдосконалення методу автотьюнінгу
--
совершенствование метода автотьюнинга
--
статистичне моделювання
--
статистическое моделирование
--
машинне навчання
--
машинное обучение
Дод.точки доступу:
Дорошенко, А. Ю.; Іваненко, П. А.; Новак, О. С.; Яценко, О. А.
Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)
ЧЗНЛ Прим. 2 - (вільний)
Знайти схожі
>
4.
Моренцов, Є. І.
Система моделей предметної області "Метатехнологія програмування" / Є. І. Моренцов> // Проблеми програмування : науковий журнал. - 2018. -
№ 2/3 (спец.випуск)
. - С. 236-244 : іл. - Бібліогр. в кінці ст.
УДК
004.4'24
Рубрики:
Програмне забезпечення
Программное обеспечение
Кл.слова (ненормовані):
метатехнологія програмування
--
метатехнология программирования
--
концептуальна модель
--
концептуальная модель
--
онтологічна модель
--
онтологическая модель
--
семантичний веб
--
семантический веб
--
сервісно-орієнтована технологія програмування
--
сервисно-ориентированная технология программирования
Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)
ЧЗНЛ Прим. 2 - (вільний)
Знайти схожі
>
5.
Дорошенко, А. Ю.
Автоматизоване проектування програм для платформи .NET, що використовують бібліотеку паралельних задач / А. Ю. Дорошенко, О. А. Яценко> // Проблеми програмування : науковий журнал. - 2020. -
№ 1
. - С. 17-24 : іл. - Бібліогр. в кінці ст.
УДК
004.4'24
Рубрики:
Програмне забезпечення
Программное обеспечение
Кл.слова (ненормовані):
автоматизоване проектування програм
--
автоматизированное проектирование программ
--
алгебра алгоритмів
--
алгебра алгоритмов
--
багатопотоковість
--
многопоточность
--
паралельні обчисленя
--
параллельные вычисления
--
синтез програм
--
синтез программ
--
бібліотека паралельних задач
--
библиотека параллельных задач
--
TPL
Дод.точки доступу:
Яценко, О. А.
Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)
Знайти схожі
>
6.
Автоматизоване проектування та
розпаралелювання програм для гетерогенних платформ із використанням алгебро-алгоритмічного інструментарію / А. Ю. Дорошенко, О. Г. Бекетов, М. М. Бондаренко, О. А. Яценко> // Проблеми програмування : науковий журнал. - 2020. -
№ 2-3
. - С. 103-114 : іл. - Бібліогр. в кінці ст.
УДК
004.4'24
Рубрики:
Програмне забезпечення
Программное обеспечение
Кл.слова (ненормовані):
автоматизоване проектування програм
--
автоматизированное проектирование программ
--
алгебра алгоритмів
--
алгебра алгоритмов
--
гетерогенні системи
--
терерогенные системы
--
графічний прискорювач
--
графический ускоритель
--
згортка зображень
--
свертка изображений
--
паралельні обчислення
--
параллельные вычисления
--
синтез програм
--
синтез программ
--
GPU
--
OpenCL
Дод.точки доступу:
Дорошенко, А. Ю.; Бекетов, О. Г.; Бондаренко, М. М.; Яценко, О. Я.
Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)
Знайти схожі
>
7.
Жереб, К. А.
Підвищення продуктивності коду мовою Python з використанням техніки переписувальних правил / К. А. Жереб> // Проблеми програмування : науковий журнал. - 2020. -
№ 2-3
. - С. 115-125 : іл., а-табл. - Бібліогр. в кінці ст.
УДК
004.4'24
Рубрики:
Програмне забезпечення
Программное обеспечение
Кл.слова (ненормовані):
підвищення продуктивності коду
--
повышение производительности кода
--
техніка переписувальних правил
--
техника переписывающих правил
--
Python
--
Cython
Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)
Знайти схожі
>
8.
Дорошенко, А. Ю.
Оптимізація паралельних алгоритмів з використанням моделі акторів / А. Ю. Дорошенко, Є. М. Туліка> // Проблеми програмування : науковий журнал. - 2020. -
№ 2-3
. - С. 126-137 : іл. - Бібліогр. в кінці ст.
УДК
004.4'24
Рубрики:
Програмне забезпечення
Программное обеспечение
Кл.слова (ненормовані):
блочно-рекурсивні алгоритми
--
блочно-рекурсивные алгоритмы
--
хмарні обчислення
--
облачные вычисления
--
модель акторів
--
модель актеров
--
хореографія акторів
--
хореография актеров
--
автотюнинг хореографії акторів
--
автотюнинг хореографии актеров
Дод.точки доступу:
Туліка, Є. М.
Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)
Знайти схожі
>
9.
Мамедов, Т. А.
Засіб статичного аналізу .Net програм за допомогою переписувальних правил / Т. А. Мамедов, А. Ю. Дорошенко, Р. С. Шевченко> // Проблеми програмування : науковий журнал. - 2020. -
№ 2-3
. - С. 157-163 : іл. - Бібліогр. в кінці ст.
УДК
004.4'24
Рубрики:
Програмне забезпечення
Программное обеспечение
Кл.слова (ненормовані):
аналіз ресурсоспоживання
--
анализ ресурсопотребления
--
генератор термів
--
генератор термов
--
правила переписування
--
правила переписывания
--
TermWare
Дод.точки доступу:
Дорошенко, А. Ю.; Шевченко, Р. С.
Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)
Знайти схожі
>
10.
Дорошенко, А. Ю.
До питання оптимізації хмарних обчислень з урахуванням їх вартості / А. Ю. Дорошенко, О. С. Новак> // Проблеми програмування : науковий журнал. - 2020. -
№ 4
. - С. 14-21 : іл., а-табл. - Бібліогр. в кінці ст.
УДК
004.4'24
Рубрики:
Програмне забезпечення
Программное обеспечение
Кл.слова (ненормовані):
хмарні платформи
--
облачные платформы
--
паралельні обчислення
--
параллельные вычисления
--
методи оптимізації
--
методы оптимизации
--
лінійне програмування
--
линейное программирование
--
вартість обчислень
--
стоимость вычислений
Дод.точки доступу:
Новак, О. С.
Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)
Знайти схожі
повний формат
короткий формат
всі знайдені
відмічені
окрім відмічених
Стандартний
Розширений
Професійний
За словником
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)