Главная страница «

Прикладные и научные проекты кафедры

1. Разработка, реализация и исследование методов исполнения Дейталог-программ

  • Научный руководитель: профессор, докт. физ.-мат. наук Марков А. С.

  • Основные исполнители:

      канд. физ.-мат. наук Лисовский К. Ю.
      аспирант Семенов А. С.

  • Web-страница: http://sp.cs.msu.ru/datalog

Новости
Информация
Преподаватели и сотрудники
Студенты и аспиранты
Научно-исследовательский семинар
Спецсеминары
Просеминар
Спецкурсы
Ссылки
Поиск

  • Аннотация:

    Дейталог-система представляет собой открытую экспериментальную систему, которая способна вычислять программы, запросы к базе данных, написанные на языке логического программирования Дейталог. Одна из главных особенностей системы заключается в том, что в реализации использовался функциональный подход, система написана на языке Scheme. Существуют перспективы дальшейшего развития системы (например, параллельные вычисления на кластерах), возможность интеграции с другими системами и использования в образовательном процессе, что сделало необходимым публикацию системы в Интернет.

2. Система DVM

  • Научные руководители: профессор, докт. физ.-мат. наук Крюков В. А.
    зав. сектором ИПМ им. М. В. Келдыша РАН, канд. физ.-мат. наук Коновалов Н. А.

  • Web-страница: http://sp.cs.msu.ru/dvm

  • Аннотация:

    Система DVM предназначена для создания переносимых и эффективных параллельных вычислительных приложений на языках C-DVM и Fortran-DVM. Система DVM состоит из компиляторов с языков Fortran- и C-DVM, библиотеки времени выполнения Lib-DVM, а так же развитого набора средств функциональной отладки и отладки производительности. Система DVM была разработана и продолжает развиваться сотрудниками Института прикладной математики им. М. В. Келдыша РАН и студентами и аспирантами кафедры. Система установлена и используется на суперкомпьютерах и кластерах ряда крупнейших научно-исследовательских организаций России. Инновации в области аппаратного обеспечения делают серьезный вызов научному сообществу – необходимо эффективно использовать ресурсы и бороться со сложностью, это стимулирует дальнейшее развитие системы DVM.

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 5.10.2005