Страница публикации
Инструментарий разработки сервисов для решения булевых уравнений
Авторы: Пашинин А.А., Колосов А.Д.
Журнал: Тр. Междунар. конф. "Информ. технологии в науке, образовании и управлении" IT+S&E`16 (Гурзуф, 1-15 октября 2016г.)
Том:
Номер:
Год: 2016
Отчётный год: 2016
Издательство: ИНИТ
Местоположение издательства: Москва
URL:
Аннотация: Рассматриваются архитектура и функциональные возможности инструментальных средств автоматизации разработки сервис-ориентированного приложения для решения задачи удовлетворения булевых ограничений. Описывается пример разработки сервиса с помощью этого инструментария. Приводятся результаты вычислительных экспериментов при сравнении GPU-версий SAT-решателей.
Индексируется WOS: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 1
Публикация в печати: 0
Добавил в систему: