Страница публикации

Инструментарий разработки сервисов для решения булевых уравнений

Авторы: Пашинин А.А., Колосов А.Д.

Журнал: Тр. Междунар. конф. "Информ. технологии в науке, образовании и управлении" IT+S&E`16 (Гурзуф, 1-15 октября 2016г.)

Том:

Номер:

Год: 2016

Отчётный год: 2016

Издательство: ИНИТ

Местоположение издательства: Москва

URL:

Аннотация: Рассматриваются архитектура и функциональные возможности инструментальных средств автоматизации разработки сервис-ориентированного приложения для решения задачи удовлетворения булевых ограничений. Описывается пример разработки сервиса с помощью этого инструментария. Приводятся результаты вычислительных экспериментов при сравнении GPU-версий SAT-решателей.

Индексируется WOS: 0

Индексируется Scopus: 0

Индексируется РИНЦ: 1

Публикация в печати: 0

Добавил в систему: