Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ
Касьянов В. Н., Гордеев Д. С., Золотухин Т. А.
Издательство: НГУ
Год: 2020
Страниц: 256
Книга посвящена системе облачного параллельного программирования CPPS, создаваемой в Институте систем информатики им. А.П. Ершова СО РАН СО РАН при поддержке Российского научного фонда (18-11-00118). В ней рассматриваются методы и средства визуализации и верификации С1оид Sisa1 программ. Представляет интерес для системных программистов, студентов и аспирантов, специализирующихся в области системного и теоретического программирования, и для всех тех, кто интересуется проблемами современной информатики и программирования.
Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ = The cloud parallel programming system CPPS: visualization and verification of Cloud Sisal programs / В. Н. Касьянов, Д. С. Гордеев, Т. А. Золотухин [и др.] ; под редакцией В. Н. Касьянова ; Российская академия наук, Сибирское отделение, Институт [систем] информатики им. А. Н. Ершова. – Новосибирск : НГУ, 2020 - (Конструирование и оптимизация программ : Вып. 22).Библиогр.: с. 243-251 (120 назв.).
Дополнительная информация
  • ISBN
    978-5-4437-1123-2
  • Город
    Новосибирск
  • Общие примечания
    Книга подготовлена при финансовой поддержке Российского научного фонда
  • Предметная рубрика
    Облачные вычисления, Компьютеры, Параллельное программирование
  • Место хранения
    Ч/з1, 02
  • Индекс ГРНТИ
    50.41
Дополнительные изображения