Conveners
Теоретическое, экспериментальное и системное программирование
- к.ф.-м.н. Дмитрий Александрович Кондратьев (ИСИ СО РАН)
Облачная система параллельного программирования CPPS [1], разрабатываемая в ИСИ СО РАН, предоставляет пользователю через веб-браузер функциональный язык Cloud Sisal для спецификации, отладки, верификации и конструирования параллельных программ и их исполнения на суперкомпьютерах. Язык Cloud Sisal [2] обладает обычными преимуществами языков функционального программирования, такими, как,...
Визуализация структурированных или реляционных данных на основе графовых моделей имеет множество сфер применения как в реальных, так и в теоретических областях [1].
В докладе рассматривается подход к решению задачи построения наглядных визуальных представлений больших структурированных данных на основе модели атрибутированных иерархических графов с портами [2], в которой объекты, моделируемые...
Обработка графов широко применяется в различных приложениях, например в алгоритмах маршрутизации в компьютерных сетях, анализе социальных сетей и анализе геномных данных. Разработка и оптимизация программ обработки графов - нетривиальная задача. Для повышения эффективности в настоящее время используется представление графа в виде разреженной матрицы смежности с ориентацией на применение...
Подход «точные вещественные вычисления» основан на теории вычислений на непрерывных структурах, которая в значительной степени опирается на классические теории вычислимости и сложности. В этом подходе используется тип данных «точные» вещественные числа; входные и выходные данные кодируются не как конечные строки, а как функции, дающие сколь угодно точные аппроксимации конечного размера с...
В настоящее время программы для управления данными, а также их информационные системы, являются достаточно сложными как в плане их создания, так и в плане их поддержки и управления. Это неизбежно, поскольку современные ИС решают либо широкий спектр связанных бизнес-задач, либо одну, но крайне сложную бизнес-задачу. Также одной из частых проблем, возникающих в современных бизнес-задачах,...
