Засіб налаштування програм на платформі .NET за допомогою переписувальних правил
Розроблено програмний засіб для оптимізації обчислень, що дозволяє в автоматизованому режимі здійснити оптимізацію програми шляхом підвищення її швидкодії. Для цього реалізовано спеціальний плагін до системи переписувальних правил TermWare, за допомогою якого система здійснює налаштування програм, н...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2019 |
| Main Authors: | Мамедов, Т.А., Дорошенко, А.Ю. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2019
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/161484 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Засіб налаштування програм на платформі .NET за допомогою переписувальних правил / Т.А. Мамедов, А.Ю. Дорошенко // Проблеми програмування. — 2019. — № 2. — С. 11-16. — Бібліогр.: 11 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Розпаралелювання програм на Фортрані з використанням техніки переписувальних правил
by: Дорошенко, А.Ю., et al.
Published: (2012)
by: Дорошенко, А.Ю., et al.
Published: (2012)
Засіб статичного аналізу .NET програм за допомогою переписувальних правил
by: Мамедов, Г.А., et al.
Published: (2020)
by: Мамедов, Г.А., et al.
Published: (2020)
Автоматизоване проектування програм для платформи .net, що використовують бібліотеку паралельних задач
by: Дорошенко, А.Ю., et al.
Published: (2020)
by: Дорошенко, А.Ю., et al.
Published: (2020)
Програмна технологія для підтримки процедур налаштування кількісних моделей гемодинаміки людини
by: Григорян, Р.Д., et al.
Published: (2020)
by: Григорян, Р.Д., et al.
Published: (2020)
Оптимізація автотьюнінгу програм з використанням нейромереж
by: Дорошенко, А.Ю., et al.
Published: (2017)
by: Дорошенко, А.Ю., et al.
Published: (2017)
Автоматизоване проектування OpenCL програм на основі алгебро-алгоритмічного підходу
by: Дорошенко, А.Ю., et al.
Published: (2019)
by: Дорошенко, А.Ю., et al.
Published: (2019)
Автотюнінг паралельних програм з використанням системи аналізу даних IBM Watsons Analytics
by: Дорошенко, А.Ю., et al.
Published: (2018)
by: Дорошенко, А.Ю., et al.
Published: (2018)
Автоматизована генерація паралельних програм для графічних прискорювачів на основі схем алгоритмів
by: Дорошенко, А.Ю., et al.
Published: (2015)
by: Дорошенко, А.Ю., et al.
Published: (2015)
Программно-агентная среда для поддержки совместного обучения на основе платформы Microsoft.Net
by: Воног, С.Н., et al.
Published: (2006)
by: Воног, С.Н., et al.
Published: (2006)
A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems
by: Hudak, S., et al.
Published: (2008)
by: Hudak, S., et al.
Published: (2008)
Паралельна розподілена реалізація моделювання паралельних обчислень
by: Дорошенко, А.Ю., et al.
Published: (2014)
by: Дорошенко, А.Ю., et al.
Published: (2014)
Застосування засобів нейроеволюції в технічних системах автоматизації керування
by: Дорошенко, А.Ю., et al.
Published: (2021)
by: Дорошенко, А.Ю., et al.
Published: (2021)
Моделювання RESTFUL API для системи автоматизації приватних електронних закупівель
by: Дорошенко, А.Ю., et al.
Published: (2021)
by: Дорошенко, А.Ю., et al.
Published: (2021)
TermWare-3 – система переписування термів, заснована на контекстному численні
by: Шевченко, Р.С., et al.
Published: (2019)
by: Шевченко, Р.С., et al.
Published: (2019)
Автоматизована система управління запасами на OC Android та бази даних Firebase з використанням штрих кодів та QR-кодів
by: Гайдукевич, Я.О., et al.
Published: (2022)
by: Гайдукевич, Я.О., et al.
Published: (2022)
До питання оптимізації хмарних обчислень з урахуванням їх вартості
by: Дорошенко, А.Ю., et al.
Published: (2020)
by: Дорошенко, А.Ю., et al.
Published: (2020)
Розподілена реалізація методу нейроеволюції наростаючої топології
by: Ашур, I.З., et al.
Published: (2021)
by: Ашур, I.З., et al.
Published: (2021)
Проектування програми візуалізації земної поверхні з використанням алгебро-алгоритмічного інструментарію
by: Дорошенко, А.Ю., et al.
Published: (2019)
by: Дорошенко, А.Ю., et al.
Published: (2019)
Алгоритм автоматизованого розпаралелювання циклічних операторів для графічних прискорювачів
by: Дорошенко, А.Ю., et al.
Published: (2017)
by: Дорошенко, А.Ю., et al.
Published: (2017)
Гібридна модель автотьюнінгу з використанням статистичного моделювання
by: Дорошенко, А.Ю., et al.
Published: (2016)
by: Дорошенко, А.Ю., et al.
Published: (2016)
Програмна платформа для наукових досліджень
by: Дорошенко, А.Ю., et al.
Published: (2007)
by: Дорошенко, А.Ю., et al.
Published: (2007)
О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
by: Дорошенко, А.Е., et al.
Published: (2006)
by: Дорошенко, А.Е., et al.
Published: (2006)
Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
by: Дорошенко, А.Е., et al.
Published: (2008)
by: Дорошенко, А.Е., et al.
Published: (2008)
Средства синтеза параллельных mpi-программ
by: Дорошенко, А.Е., et al.
Published: (2008)
by: Дорошенко, А.Е., et al.
Published: (2008)
Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными
by: Акуловский, В.Г., et al.
Published: (2015)
by: Акуловский, В.Г., et al.
Published: (2015)
Граматика мови візуального програмування Петрі-об’єктних моделей
by: Дифучин, А.Ю., et al.
Published: (2021)
by: Дифучин, А.Ю., et al.
Published: (2021)
Трансформация произвольных текстовых данных в XML-пред¬ставление по шаблону на основе регулярных выражений
by: Пантелеймонов, А.А.
Published: (2006)
by: Пантелеймонов, А.А.
Published: (2006)
Инструментальные средства алгебры алгоритмики на платформе WEB 2.0.
by: Иовчев, В.А., et al.
Published: (2010)
by: Иовчев, В.А., et al.
Published: (2010)
О применении машинного обучения для проектирования адаптивних программ сортировки в алгебре алгоритмов
by: Яценко, Е.А.
Published: (2011)
by: Яценко, Е.А.
Published: (2011)
Представление графического интерфейса пользователя для тестирования программ
by: Пригожев, А.С.
Published: (2010)
by: Пригожев, А.С.
Published: (2010)
Разработка инструментальных средств для проверки формальных моделей
by: Колчин, А.В.
Published: (2008)
by: Колчин, А.В.
Published: (2008)
О технике реляционно-объектного преобразования
by: Лихацкий, И.А.
Published: (2014)
by: Лихацкий, И.А.
Published: (2014)
Алгоритм определения изоморфизма XML-схем
by: Сергеев, А.П.
Published: (2010)
by: Сергеев, А.П.
Published: (2010)
Модель перевірки компонентів та їх композиції у компонентну систему
by: Рожнов, А.М.
Published: (2006)
by: Рожнов, А.М.
Published: (2006)
Средства кодогенерации для взаимодействия с базой данных через объекты
by: Лихацкий, И.А.
Published: (2012)
by: Лихацкий, И.А.
Published: (2012)
Особенности реализации многослойного сценария распределенного поиска оптимальных решений
by: Галаган, Т.Н., et al.
Published: (2008)
by: Галаган, Т.Н., et al.
Published: (2008)
Система поддержки пользователя на основе экспертной системы
by: Пригожев, А.С., et al.
Published: (2008)
by: Пригожев, А.С., et al.
Published: (2008)
Применение XML-представлений для интеграции данных в промысловой геофизике
by: Тульчинский, В.Г., et al.
Published: (2010)
by: Тульчинский, В.Г., et al.
Published: (2010)
Використання онтологічних знань для багатокритеріального співставлення складних інформаційних об`єктів
by: Рогушина, Ю.В., et al.
Published: (2022)
by: Рогушина, Ю.В., et al.
Published: (2022)
Засоби автоматизації генерації електронних документів в системах організаційного управління
by: Хмелюк, В.С., et al.
Published: (2008)
by: Хмелюк, В.С., et al.
Published: (2008)
Similar Items
-
Розпаралелювання програм на Фортрані з використанням техніки переписувальних правил
by: Дорошенко, А.Ю., et al.
Published: (2012) -
Засіб статичного аналізу .NET програм за допомогою переписувальних правил
by: Мамедов, Г.А., et al.
Published: (2020) -
Автоматизоване проектування програм для платформи .net, що використовують бібліотеку паралельних задач
by: Дорошенко, А.Ю., et al.
Published: (2020) -
Програмна технологія для підтримки процедур налаштування кількісних моделей гемодинаміки людини
by: Григорян, Р.Д., et al.
Published: (2020) -
Оптимізація автотьюнінгу програм з використанням нейромереж
by: Дорошенко, А.Ю., et al.
Published: (2017)