... Siberian Lang . Minority languages of Siberia as our cultural heritage . ... Языковые игры . ... Проект ?Создание Интернет-ресурса ?Малые языки Сибири: наше культурное наследие? (на материале языков бассейна Среднего Енисея и Среднего и Верхнего Таза)? реализуется на базе лаборатории автоматизированных лексикографических систем Научно-исследовательского вычислительного центра МГУ им. М.В. Ломоносова при поддержке Российского гуманитарного научного фонда, грант 12-04-12049в. открыть раздел . ...
Поиск по сайту . ... Студенческий совет МГУ . ... Студенческий комитет ИСАА МГУ - организация студенческого самоуправления, созданная с целью улучшения быта студентов ИСАА МГУ, проживающих в общежитии. На нашем сайте вы найдете полезную информацию о проектах студкома, советы по заселению в общежитие и новости из быта в общежитии. ... Студенческий совет ИСАА МГУ - организация студенческого самоуправления на факультете, созданная с целью разнообразить научную деятельность и досуг студентов ИСАА. ...
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
. Перейти к основному содержанию . V-RAY parallel.ru . Главная . Проект . Основы . Примеры . Обратная связь . Главная . Научно-исследовательский вычислительный центр МГУ им.М.В.Ломоносова , . Лаборатория параллельных информационных технологий. Руководитель работ: зам. директора НИВЦ МГЦ, член-корр. РАН Вл.В.Воеводин , тел. (495) 939-51-66. Контактный адрес: v-ray@parallel.ru .
... В University of Adelaide установлен суперкомпьютер Phoenix производства Lenovo. 25 марта 2016 . ... В SKODA AUTO установлены суперкомпьютер SGI UV и два суперкомпьютера SGI ICE. 10 марта 2016 . В University College London установлен суперкомпьютер Grace с пиковой производительностью 181 TFlop/s. 10 марта 2016 . ... В University of Rijeka (Хорватия) установлен суперкомпьютер Bura производства Bull с пиковой производительностью 239.64 TFlop/s. 29 февраля 2016 . ... TOP 50 суперкомпьютеров . ...