Програмування в обмеженнях у системі інсерційного моделювання
The paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for the development of insertion machines, used to represent insertion models of distributed systems. The architecture of insertion machines and insertion modeling system IMS is presented. Inser...
Saved in:
| Date: | 2011 |
|---|---|
| Main Authors: | Летичевський, О.А., Летичевський, О.О., Песчаненко, В.С., Блинов, І.О., Кльонов, Д.М. |
| Format: | Article |
| Language: | English |
| Published: |
Інститут програмних систем НАН України
2011
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/50995 |
| 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: | Constraint programming in insertion modeling system / O.A. Letichevsky, O.O. Letychevskyi, V.S. Peschanenko, I.O. Blynov, D.M. Klionov // Пробл. програмув. — 2011. — № 4. — С. 14-22. — Бібліогр.: 27 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Еволюційне програмування
by: Глибовець, М.М., et al.
Published: (2013)
by: Глибовець, М.М., et al.
Published: (2013)
Компонентне програмування. Теорія і реалізація
by: Лавріщева, К.М.
Published: (2012)
by: Лавріщева, К.М.
Published: (2012)
Київська школа програмування В.М. Глушкова
by: Андон, П.І.
Published: (2013)
by: Андон, П.І.
Published: (2013)
Генерувальне програмування програмних систем і їх сімейств
by: Лавріщева, К.М.
Published: (2009)
by: Лавріщева, К.М.
Published: (2009)
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
by: Новокшонов, А.К.
Published: (2016)
by: Новокшонов, А.К.
Published: (2016)
Елементи конкретної алгоритміки: обчислюваність і розв’язність
by: Провотар, О.І., et al.
Published: (2020)
by: Провотар, О.І., et al.
Published: (2020)
Аналіз систем нечіткої логіки для апроксимації нечітких функцій
by: Щегельський, Т.С., et al.
Published: (2012)
by: Щегельський, Т.С., et al.
Published: (2012)
Аспекты моделирования в системе Гомеопат
by: Провотар, А.А., et al.
Published: (2012)
by: Провотар, А.А., et al.
Published: (2012)
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
by: Шкільняк, О.С., et al.
Published: (2017)
by: Шкільняк, О.С., et al.
Published: (2017)
Объектно-компонентная разработка изменяемых программных систем
by: Лаврищева, Е.М., et al.
Published: (2016)
by: Лаврищева, Е.М., et al.
Published: (2016)
Про нові методи опису невизначених величин
by: Провотар, О.І., et al.
Published: (2012)
by: Провотар, О.І., et al.
Published: (2012)
Порівняння ефективності підходів Map-Reduce і акторної моделі при розв’язанні завдань з високою зв'язністю вхідних даних на прикладі задачі оптимізації рою часток
by: Ларін, В.О., et al.
Published: (2021)
by: Ларін, В.О., et al.
Published: (2021)
Двохкомпонентні алгоритми сортування
by: Шинкаренко, В.І., et al.
Published: (2022)
by: Шинкаренко, В.І., et al.
Published: (2022)
Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення
by: Шкільняк, О.С.
Published: (2019)
by: Шкільняк, О.С.
Published: (2019)
Композиційно-номінативні модальні логіки функціонально-екваційного рівня
by: Шкільняк, О.С.
Published: (2010)
by: Шкільняк, О.С.
Published: (2010)
Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня
by: Шкільняк, О.С.
Published: (2011)
by: Шкільняк, О.С.
Published: (2011)
Виникнення та інтерпретація тризначних логік Кліні
by: Шишацька, О.В.
Published: (2010)
by: Шишацька, О.В.
Published: (2010)
Відношення логічного наслідку в логіках квазіарних предикатів
by: Шкільняк, О.С.
Published: (2016)
by: Шкільняк, О.С.
Published: (2016)
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
by: Шкільняк, О.С.
Published: (2019)
by: Шкільняк, О.С.
Published: (2019)
О выделении макроопераций из вычислительных процессов сортировки массивов данных
by: Паулин, О.Н., et al.
Published: (2016)
by: Паулин, О.Н., et al.
Published: (2016)
Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю
by: Шкільняк, О.С., et al.
Published: (2022)
by: Шкільняк, О.С., et al.
Published: (2022)
Семантичні властивості п’ятизначних логік
by: Нікітченко, М.С., et al.
Published: (2018)
by: Нікітченко, М.С., et al.
Published: (2018)
Гібридний алгоритм методу Ньютона для розв’язування систем нелінійних рівнянь з блочними матрицями Якобі
by: Хіміч, О.М., et al.
Published: (2020)
by: Хіміч, О.М., et al.
Published: (2020)
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
by: Нікітченко, М.С., et al.
Published: (2014)
by: Нікітченко, М.С., et al.
Published: (2014)
Алгебри загальних недетермінованих предикатів
by: Нікітченко, М.С., et al.
Published: (2018)
by: Нікітченко, М.С., et al.
Published: (2018)
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
by: Нікітченко, М.С., et al.
Published: (2019)
by: Нікітченко, М.С., et al.
Published: (2019)
Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
by: Буй, Д.Б., et al.
Published: (2010)
by: Буй, Д.Б., et al.
Published: (2010)
Композиційно-номінативні логіки безкванторних рівнів
by: Шкільняк, С.С., et al.
Published: (2016)
by: Шкільняк, С.С., et al.
Published: (2016)
Формалізований метод проектування застосувань в технології GPGPU
by: Кривий, С.Л., et al.
Published: (2018)
by: Кривий, С.Л., et al.
Published: (2018)
Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
by: Шкільняк, C.С.
Published: (2019)
by: Шкільняк, C.С.
Published: (2019)
Структурний підхід до проблеми відтворення граматик
by: Ільман, В.М., et al.
Published: (2007)
by: Ільман, В.М., et al.
Published: (2007)
NP-трудность задач оптимизации коллективного преследования
by: Пашко, С.В.
Published: (2014)
by: Пашко, С.В.
Published: (2014)
О построении клонов алгебр функциональных n-отношенеий
by: Захария, Л.М., et al.
Published: (2006)
by: Захария, Л.М., et al.
Published: (2006)
Описание списков и множеств в метаязыке нормальных форм знаний
by: Кургаев, А.Ф.
Published: (2020)
by: Кургаев, А.Ф.
Published: (2020)
Дефинитологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2012)
by: Редько, В.Н., et al.
Published: (2012)
Композиційно-номінативні логіки з непрямим іменуванням
by: Россада, Т.В., et al.
Published: (2012)
by: Россада, Т.В., et al.
Published: (2012)
К-значная логика в расширенной алгебре алгоритмов
by: Акуловский, В.Г.
Published: (2008)
by: Акуловский, В.Г.
Published: (2008)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
by: Колесник, В.Г.
Published: (2015)
by: Колесник, В.Г.
Published: (2015)
Концепція індустрії наукового софтвера і підхід до обчислення наукових задач
by: Лавріщева, К.М.
Published: (2011)
by: Лавріщева, К.М.
Published: (2011)
n- исчисление – реалистичная формализация класса переписывающих систем
by: Шевченко, Р.С., et al.
Published: (2011)
by: Шевченко, Р.С., et al.
Published: (2011)
Similar Items
-
Еволюційне програмування
by: Глибовець, М.М., et al.
Published: (2013) -
Компонентне програмування. Теорія і реалізація
by: Лавріщева, К.М.
Published: (2012) -
Київська школа програмування В.М. Глушкова
by: Андон, П.І.
Published: (2013) -
Генерувальне програмування програмних систем і їх сімейств
by: Лавріщева, К.М.
Published: (2009) -
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
by: Новокшонов, А.К.
Published: (2016)