Инструкция по выполнению задания на ВС IBM pSeries 690 Regatta (regatta.cs.msu.su) Вычислительная система Regatta представляет собой 16-процессорную систему с разделяемой памятью. ... Машина предназначена только для выполнения задач поставленных в очередь на планировщике (конфигурация 16xPower4 процессора, 64GB памяти). ... На ЛОКАЛЬНОЙ МАШИНЕ необходимо выполнить: scp hello.c st007@regatta.cs.msu.su:~st007/hello.c 3. ... Компиляция программы осуществляется утилитой mpicc. ... задания в очередь. | ...
[
Текст
]
Ссылки http://angel.cmc.msu.ru/~basrav/supercomp2010/Regatta_metodichka.doc -- 79.0 Кб -- 12.03.2010 Похожие документы
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...