Поиск по:sp.cs.msu.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера sp.cs.msu.ru ,которые мы индексируем. Показаны документы 321 - 340 из 751.
Упорядочить по:
URL
|
дате изменения
321. Спецсеминар Анализ и оптимизация программ
Главная страница Спецсеминары . Спецсеминар Анализ и оптимизация программ . ... На семинаре рассматриваются различные вопросы, связанные с анализом и преобразованием последовательных и параллельных программ: . ... Слушатели семинара могут принять участие в разработке системного программного обеспечения для вычислительного кластера, установленного в Институте системного программирования РАН. ... Страница отдела компиляторных технологий Института системного программирования РАН. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/aop/ -- 7.7 Кб -- 11.02.2015
Похожие документы
Похожие документы
322. Спецсеминар CASE-технологии
Главная страница Спецсеминары . ... Основные направления деятельности спецсеминара сосредоточены вокруг создания современных инструментальных средств разработки и сопровождения программного обеспечения. ... Основными компонентами CASE-систем являются графические и трансляторные приложения. Графические приложения обеспечивают удобство разработки, трансляторы позволяют автоматизировать перевод программ или спецификаций в другое представление. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/case/ -- 8.9 Кб -- 11.02.2015
Похожие документы
Похожие документы
323. Спецсеминар Распределенные объектно-ориентированные системы
... На семинаре обсуждается широкий круг вопросов связанных с построением систем обработки и хранения больших объемов данных. ... Руководителями семинара являются Виктор Петрович Иванников - директор Института системного программирования РАН, академик РАН, заведующий кафедрами системного программирования на факультете ВМК МГУ и в Московском Физико-Техническом Институте и Турдаков Денис Юрьевич - канд. физ.-мат. наук, старший научный сотрудник отдела информационных систем ИСП РАН. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/ds/ -- 8.1 Кб -- 11.02.2015
[ Сохраненная копия ] Ссылки http://sp.cs.msu.ru/specsem/ds/index.html -- 8.1 Кб -- 11.02.2015
Похожие документы
[ Сохраненная копия ] Ссылки http://sp.cs.msu.ru/specsem/ds/index.html -- 8.1 Кб -- 11.02.2015
Похожие документы
324. Темы докладов. 2003-4 уч. г.
... Темы докладов. Весенний семестр 2003-4 уч. г. 25.03.04. Cеминар пройдет на факультете ВМК в 685 аудитории и будет совмещен с заседанием Московской секции SIGMOD. ... Он представит доклад на тему Метод хранения XML-данных, основанный на схеме . ... 4.03.2004 Доклад Организация виртуальной памяти в операционной системе Multics . ... A. Bensoussan, C. T. Clingen The Multics Virtual Memory:Concepts and Design Communications of the ACM, May 1972, Volume 15, Number 5, pp. 308-318 ( html ); . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/ds/themes2004.html -- 7.8 Кб -- 11.02.2015
Похожие документы
Похожие документы
325. Спецсеминар Технологии Grid
Главная страница Спецсеминары . ... кандидат физ.-мат. наук Коваленко В. Н. [с 2010-го года набор на семинар не производится] . ... В начале 90-х годов возникла идея создать из многочисленных суперкомпьютерных центров США очень большой Метакомпьютер, так чтобы пользователи могли получать практически неограниченные ресурсы для вычислений и хранения данных. ... Изучаются протоколы безопасности, управления заданиями, передачи файлов, а также реализованные на их основе пользовательские средства. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/grid/ -- 10.0 Кб -- 11.02.2015
Похожие документы
Похожие документы
326. Спецсеминар Интернет, распределенные информационные системы и цифровые
Главная страница Спецсеминары . Спецсеминар Интернет, распределенные информационные системы и цифровые библиотеки . ... На семинаре рассматриваются вопросы построения и реализации распределенных информационных систем в сети Интернет. Основное внимание уделяется цифровым библиотекам. ... Изучаются современные модели описания распределенных данных такие, как XML, RDF, RDFS и их использование для формализации описания данных цифровых библиотек. ... www.w3.org/RDF/ ? ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/inet/ -- 7.5 Кб -- 11.02.2015
Похожие документы
Похожие документы
327. Спецсеминар Операционные системы и языки программирования распределенных
... Спецсеминар Операционные системы и языки программирования распределенных вычислительных систем . ... Разработка программ для высокопроизводительных кластеров и других параллельных систем с распределенной памятью продолжает оставаться исключительно сложным делом, доступным узкому кругу специалистов и крайне трудоемким даже для них. ... разработка высокоуровневых языков параллельного программирования (HPF, OpenMP-языки, DVM-языки, CoArray Fortran, UPC, Titanium, Chapel, X10, Fortress); . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/ospl/ -- 10.3 Кб -- 11.02.2015
Похожие документы
Похожие документы
328. Темы докладов, курсовых и дипломных работ. 1998-1999 учебный год
... Темы докладов. 1998-1999 учебный год . ... Дата доклада: 19 апреля . ... Представление и использование знаний. ... Представление знаний правилами .. М. "Мир". 1989г. Докладчик: Борисов П. 2. ... Приобретение знаний - М. "Мир". 1990г. Докладчик: Марков С. 4. ... Введение, классификация сетей, простейшие алгоритмы обучения.) [общий доклад] Дата доклада: 15 марта . ... М. "Мир" 1989г. Докладчик: Блохин А. Курсовые работы. 3 курс . ... Исполнитель: Марков С. Курсовые работы 4 курс . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/pcd/themes1999.html -- 11.3 Кб -- 11.02.2015
Похожие документы
Похожие документы
329. Темы докладов, курсовых и дипломных работ. 1999-2000 учебный год
... Темы докладов. 1999-2000 учебный год . ... 1999-2000 | ... Дата доклада: 8 октября . ... Дата доклада: 5 ноября . ... Курсовые работы. 3 курс . ... Темы докладов. 4 курс . ... Дата доклада: . ... Докладчик: Борисов П. Курсовые работы. 4 курс . ... Разработать средство для работы с RETE-сетью, обеспечивающее наглядность, визуализацию, выдачу полной информации, элементы отладки-трассировки RETE-сети. Продолжение работы 3-го курса) . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/pcd/themes2000.html -- 13.9 Кб -- 11.02.2015
Похожие документы
Похожие документы
330. Темы докладов, курсовых и дипломных работ. 2000-1 учебный год
... Темы докладов. 2000-1 учебный год . ... 2000-1 | ... Дата доклада: 19 февраля. ... Дата доклада: 5 марта. ... Дата доклада: .. ... Докладчик: Воропаев Р. Курсовые работы (3 курс) . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/pcd/themes2001.html -- 10.1 Кб -- 11.02.2015
Похожие документы
Похожие документы
331. Темы докладов, курсовых и дипломных работ. 2001-2 учебный год
... Темы докладов. 2001-2 учебный год . ... 2001-2 | ... Язык SVG . Дата доклада: 25 февраля. ... Раздел, посвященный SVG, на сайте World Wide Web Consortium (www.w3.org/Graphics/SVG/ ) . ... Отчет студентов 5-го курса о ходе работы над дипломным проектом . Дата доклада: 4, 11 марта. ... Дата доклада: .. ... Планирование на основе знаний (knowledge-based planning) . ... Нечеткие знания . ... 1987г. Курсовые работы (3 курс) . ... Исполнитель: Капустин А. Н. Курсовые работы (4 курс) . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/pcd/themes2002.html -- 13.5 Кб -- 11.02.2015
Похожие документы
Похожие документы
332. Темы докладов, курсовых и дипломных работ. 2002-3 учебный год
... Темы докладов. 2002-3 учебный год . ... 2002-3 | ... Дата доклада: 7.10 . ... М. "Мир". ... Представление знаний во фреймах) - М. "Мир". ... Исследование альтернативных возможностей) - М. "Мир". ... Главы 11-16) - М. "Мир". ... М. "Мир". 1987г. Д.Уотермен и др. ... М. "Мир". 1989г. Докладчик: . Курсовые работы (3 курс) . ... М: Мир, 1973 . ... Ожидаемые результаты курсовой работы: . ... Исполнитель: Капустин А. Н. Дипломные работы (5 курс) . ... Ожидаемые результаты дипломной работы: . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/pcd/themes2003.html -- 13.8 Кб -- 11.02.2015
Похожие документы
Похожие документы
333. Темы докладов, курсовых и дипломных работ. 2005-6 учебный год
. Главная страница Спецсеминары С/с Планирование целенаправленной деятельности . Информация о работе спецсеминара. 2005-6 учебный год . Заседания семинара проводятся по субботам в 9:00, ауд. 790. Аннотация | 2005-6 | 2002-3 | 2001-2 | 2000-1 | 1999-2000 | 1998-9 . Ресурсы: . Подборка статей по алгоритмам сопоставления. Кафедра системного программирования ВМК МГУ. Обновлено: 29.10.2005
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/pcd/themes2005.html -- 7.0 Кб -- 11.02.2015
Похожие документы
Похожие документы
334. Спецсеминар Технологии баз данных
Главная страница Спецсеминары . ... Спецсеминар Технологии баз данных посвящен изучению современных методов организации систем управления базами данных и основанных на них информационных систем, в частности распределенных по сети Интернет. ... Студенты выполняют свои курсовые и дипломные работы в рамках работы отдела и исследований в области баз данных. Основным проектом отдела является разработка Native XML СУБД Sedna ( http://modis.ispras.ru/sedna/ ). Sedna ? ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/subd/ -- 8.0 Кб -- 11.02.2015
Похожие документы
Похожие документы
335. Спецсеминар Корректность программ
Главная страница Спецсеминары . ... доктор физ.-мат. наук Петренко Александр Константинович , . канд. физ.-мат. наук Хорошилов Алексей Владимирович, . канд. физ.-мат. наук Кулямин Виктор Вячеславович . вернуться на страницу спецсеминара . ... Хорошилов Алексей . ... Проектировщики самолета пишут специальные модели ПО. ... Симуляция AFDX сетей (это сеть, соединяющая различное ПО в самолете; нужно оценить время задержки в сети, заполняемость буферов в узлах сети, количество сбоев); . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/vvp/avio/ -- 11.5 Кб -- 11.02.2015
Похожие документы
Похожие документы
336. Спецсеминар Корректность программ
Главная страница Спецсеминары . ... доктор физ.-мат. наук Петренко Александр Константинович , . канд. физ.-мат. наук Хорошилов Алексей Владимирович, . канд. физ.-мат. наук Кулямин Виктор Вячеславович . вернуться на страницу спецсеминара . ... Камкин Александр . ... Модели микропроцессоров ? ... Мы занимаемся задачами анализа, верификации и тестирования этих моделей. ... Автоматизированная генерация ассемблерных программ для тестирования ими микропроцессора; . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/vvp/hw/ -- 9.2 Кб -- 11.02.2015
Похожие документы
Похожие документы
337. Спецсеминар Корректность программ
Главная страница Спецсеминары . ... доктор физ.-мат. наук Петренко Александр Константинович , . канд. физ.-мат. наук Хорошилов Алексей Владимирович, . канд. физ.-мат. наук Кулямин Виктор Вячеславович . ... Хорошилов Алексей . ... Драйвер ? ... Мы занимаемся описанием того, по каким правилам должен работать драйвер, а также разработкой собственно инструментов верификации драйверов. ... Расширение набора правил, по которым должны работать драйверы; . Качество анализа драйверов. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/vvp/ldv/ -- 9.8 Кб -- 11.02.2015
Похожие документы
Похожие документы
338. Спецсеминар Корректность программ
. Главная страница Спецсеминары . Спецсеминар Корректность программ . Руководители: . доктор физ.-мат. наук Петренко Александр Константинович , . канд. физ.-мат. наук Хорошилов Алексей Владимирович, . канд. физ.-мат. наук Кулямин Виктор Вячеславович . вернуться на страницу спецсеминара . Заинтересовались? . Напишите нам: . Хорошилов Алексей . khoroshilov@ispras.ru . Присоединяйтесь! . Кафедра системного программирования ВМК МГУ. Обновлено: 11.6.2009
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/vvp/lsb/ -- 9.4 Кб -- 11.02.2015
Похожие документы
Похожие документы
339. Спецсеминар Корректность программ
Главная страница Спецсеминары . ... доктор физ.-мат. наук Петренко Александр Константинович , . канд. физ.-мат. наук Хорошилов Алексей Владимирович, . канд. физ.-мат. наук Кулямин Виктор Вячеславович . вернуться на страницу спецсеминара . ... Верификация протоколов (функциональные свойства, performance); . Верификация реализаций протоколов; . Interoperability testing (проверка того, что одна реализация протокола корректно работает с другой). ... Обновлено: 11.6.2009 ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/vvp/telecom/ -- 8.9 Кб -- 11.02.2015
Похожие документы
Похожие документы
340. Спецсеминар Корректность программ
Главная страница Спецсеминары . ... доктор физ.-мат. наук Петренко Александр Константинович , . канд. физ.-мат. наук Хорошилов Алексей Владимирович, . канд. физ.-мат. наук Кулямин Виктор Вячеславович . вернуться на страницу спецсеминара . ... Виртуализация RedHat Linux и CentOS Linux . ... Раз ОС (и процессы в них) могут себя вести как угодно, то они могут в том числе выполнять и вредоносные функции (например, передавать конфиденциальную информацию врагам). ... гипервизор . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/specsem/vvp/virtual/ -- 11.8 Кб -- 11.02.2015
Похожие документы
Похожие документы