Зображення обкладинки

Засіб налаштування програм на платформі .NET за допомогою переписувальних правил

Розроблено програмний засіб для оптимізації обчислень, що дозволяє в автоматизованому режимі здійснити оптимізацію програми шляхом підвищення її швидкодії. Для цього реалізовано спеціальний плагін до системи переписувальних правил TermWare, за допомогою якого система здійснює налаштування програм, н...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Проблеми програмування
Дата:	2019
Автори:	Мамедов, Т.А., Дорошенко, А.Ю.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут програмних систем НАН України 2019
Теми:	Інструментальні засоби і середовища програмування
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/161484
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Засіб налаштування програм на платформі .NET за допомогою переписувальних правил / Т.А. Мамедов, А.Ю. Дорошенко // Проблеми програмування. — 2019. — № 2. — С. 11-16. — Бібліогр.: 11 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Розпаралелювання програм на Фортрані з використанням техніки переписувальних правил
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2012)

Засіб статичного аналізу .NET програм за допомогою переписувальних правил
за авторством: Мамедов, Г.А., та інші
Опубліковано: (2020)

Автоматизоване проектування програм для платформи .net, що використовують бібліотеку паралельних задач
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2020)

Програмна технологія для підтримки процедур налаштування кількісних моделей гемодинаміки людини
за авторством: Григорян, Р.Д., та інші
Опубліковано: (2020)

Оптимізація автотьюнінгу програм з використанням нейромереж
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2017)

Автоматизоване проектування OpenCL програм на основі алгебро-алгоритмічного підходу
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2019)

Автотюнінг паралельних програм з використанням системи аналізу даних IBM Watsons Analytics
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2018)

Автоматизована генерація паралельних програм для графічних прискорювачів на основі схем алгоритмів
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2015)

Программно-агентная среда для поддержки совместного обучения на основе платформы Microsoft.Net
за авторством: Воног, С.Н., та інші
Опубліковано: (2006)

A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems
за авторством: Hudak, S., та інші
Опубліковано: (2008)

Паралельна розподілена реалізація моделювання паралельних обчислень
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2014)

Застосування засобів нейроеволюції в технічних системах автоматизації керування
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2021)

Моделювання RESTFUL API для системи автоматизації приватних електронних закупівель
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2021)

TermWare-3 – система переписування термів, заснована на контекстному численні
за авторством: Шевченко, Р.С., та інші
Опубліковано: (2019)

Автоматизована система управління запасами на OC Android та бази даних Firebase з використанням штрих кодів та QR-кодів
за авторством: Гайдукевич, Я.О., та інші
Опубліковано: (2022)

До питання оптимізації хмарних обчислень з урахуванням їх вартості
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2020)

Розподілена реалізація методу нейроеволюції наростаючої топології
за авторством: Ашур, I.З., та інші
Опубліковано: (2021)

Проектування програми візуалізації земної поверхні з використанням алгебро-алгоритмічного інструментарію
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2019)

Алгоритм автоматизованого розпаралелювання циклічних операторів для графічних прискорювачів
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2017)

Гібридна модель автотьюнінгу з використанням статистичного моделювання
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2016)

Програмна платформа для наукових досліджень
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2007)

О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2006)

Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)

Средства синтеза параллельных mpi-программ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)

Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2015)

Граматика мови візуального програмування Петрі-об’єктних моделей
за авторством: Дифучин, А.Ю., та інші
Опубліковано: (2021)

Трансформация произвольных текстовых данных в XML-пред¬ставление по шаблону на основе регулярных выражений
за авторством: Пантелеймонов, А.А.
Опубліковано: (2006)

Инструментальные средства алгебры алгоритмики на платформе WEB 2.0.
за авторством: Иовчев, В.А., та інші
Опубліковано: (2010)

О применении машинного обучения для проектирования адаптивних программ сортировки в алгебре алгоритмов
за авторством: Яценко, Е.А.
Опубліковано: (2011)

Представление графического интерфейса пользователя для тестирования программ
за авторством: Пригожев, А.С.
Опубліковано: (2010)

Разработка инструментальных средств для проверки формальных моделей
за авторством: Колчин, А.В.
Опубліковано: (2008)

О технике реляционно-объектного преобразования
за авторством: Лихацкий, И.А.
Опубліковано: (2014)

Алгоритм определения изоморфизма XML-схем
за авторством: Сергеев, А.П.
Опубліковано: (2010)

Модель перевірки компонентів та їх композиції у компонентну систему
за авторством: Рожнов, А.М.
Опубліковано: (2006)

Средства кодогенерации для взаимодействия с базой данных через объекты
за авторством: Лихацкий, И.А.
Опубліковано: (2012)

Особенности реализации многослойного сценария распределенного поиска оптимальных решений
за авторством: Галаган, Т.Н., та інші
Опубліковано: (2008)

Система поддержки пользователя на основе экспертной системы
за авторством: Пригожев, А.С., та інші
Опубліковано: (2008)

Применение XML-представлений для интеграции данных в промысловой геофизике
за авторством: Тульчинский, В.Г., та інші
Опубліковано: (2010)

Використання онтологічних знань для багатокритеріального співставлення складних інформаційних об`єктів
за авторством: Рогушина, Ю.В., та інші
Опубліковано: (2022)

Засоби автоматизації генерації електронних документів в системах організаційного управління
за авторством: Хмелюк, В.С., та інші
Опубліковано: (2008)