Главная Мехмат МГУ . ... Все студенты, аспиранты и сотрудники механико-математического факультета имеют бесплатный и неограниченный доступ к ресурсам сети. ... Единая информационная сеть охватывает всю территорию механико-математического факультета в главном здании МГУ. ... Единая информационная сеть факультета исторически сложилась в результате об'единения имевшихся на факультете локальных сетей, подключения сети к каналам связи Internet и распространения сети на всю территорию факультета. ... mech . ...
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
Работы в области использования Интернет протокола нового поколения . ... В связи с этим был разработан протокол нового поколения IPv.6 - интернет-протокол версии 6. ... отработка программного обеспечения для IPv6 маршрутизации; . тестирование прикладного программного обеспечения на корректную работу с новой системой адресации, принятой в IPv6, и необходимые работы по модификации программного обеспечения. ... Copyright 1999-2011 MSUNet . ...
Лаборатория параллельных информационных технологий . ... Анализ эффективности параллельных программ и суперкомпьютерных систем . ... Комиссии при Президенте Российской Федерации по модернизации и технологическому развитию экономики России, где лаборатория Параллельных информационных технологий НИВЦ МГУ имени М.В.Ломоносова выполняет роль координатора всех работ проекта. ... Воеводин Вл.В. Статистические оценки возможности выявления параллельной структуры последовательных программ //Программирование. ...
... BK_Assignments : создание элемента . ... М.: Наука, 1986. АбрамовљС.А., ГнездиковаљГ.Г., КапустинаљЕ.Н., СелюнљМ.И. Задачи по программированию. ... Айгнер М. Комбинаторная теория. М.: Мир, 1982. ... Аккерман В., Гильберт Д. Основы теоретической логики. ... Александров П.С. Введение в теорию множеств и общую топологию. ... Алешин С.В., Кудрявцев В.Б., Подколзин А.С. Введение в теорию автоматов. ... СПб: Питер, 1997. ... Вентцель Е.С. Элементы теории игр. ... Винер Н. Новые главы кибернетики. ...