Все | Текст | Видео |

Поиск

Универсальный решающий алгоритм (УРА) позволяет вычислять программы «в обратном направлении»: для заданной программы p и заданного результата r вычислять представление для множества тех входных…

Этот курс дает возможность познакомиться с технологией RISC-процессоров POWER, AS/400, операционной системой i5/OS, а также с различными аспектами работы широкого спектра программных пакетов для…

Курс предлагает техническим специалистам информацию, необходимую для понимания и правильной реализации новых возможностей безопасности, имеющихся в версиях 7.0.x Lotus Notes, Domino, а также во…

На первой лекции приводится краткий обзор эволюции возможностей массовых процессоров, затем обозначаются основные оптимизационные моменты и роль компилятора в процессе оптимизации. На последующих…

В нем рассматриваются вопросы оптимизации работы процессов, тонкой настройки ядра и сетевых интерфейсов. Описывается работа системы имен доменов и управление ресурсами в системе, настройка сервера…

В курсе рассмотрены тормозной и рекомбинационный процессы, магнитотормозной механизм, комптоновское рассеяние, черенковское и переходное излучение, а также двухфотонные процессы с электрон-позитронными парами. Курс составлен на основе лекций, которые читаются автором на астрономическом отделении математико-механического факультета Санкт-Петербургского университета. Курс читался на Летней научной школе для молодых ученых на базе Пущинской радиоастрономической обсерватории ФИАН им. П.Н. Лебедева, организованной фондом "Династия".

Рассматриваются основные вопросы разработки информационных систем. Дается описание процесса проектирования приложений, описываются процессы жизненного цикла. Приводятся требования к интерфейсу,…

ISBN: 978-5-9556-0042-6
Курс не содержит пересказа руководств и учебных пособий по NNM. Рекомендуется, чтобы читатель перед изучением и до развертывания NNM прошел соответствующее обучение.

ISBN: 978-5-9556-0021-5

Настоящий курс является продолжением курса Программирование в стандарте POSIX. В принципе, разделение единой темы "Программирование в стандарте POSIX" на две части носит скорее технический, чем…

Обеспечение мобильности программного обеспечения - задача исключительной важности и сложности. Для приложений реального времени она важна и сложна вдвойне. Важность проистекает из многочисленности подобных систем и ответственности решаемых ими задач. Сложность является следствием разнообразия и частой смены аппаратных платформ, а также того обстоятельства, что в понятие семантической корректности входит дополнительный компонент - соблюдение временных ограничений.

По сравнению с предыдущими редакциями, стандарт POSIX-2001 существенно расширен средствами программирования систем реального времени. Их изучение представляется весьма актуальным, способным оказать существенную помощь разработчикам приложений.

Основной структурной единицей приложения реального времени является поток управления. Потоки стали первой темой настоящего курса. Средства их синхронизации - тема номер два. Среди рассматриваемых механизмов - мьютексы, условные переменные, блокировки чтение-запись, спин-блокировки и барьеры. К средствам межпотокового взаимодействия можно отнести сигналы реального времени, очереди сообщений, семафоры.

Объекты в памяти - это и инструмент повышения эффективности приложений, и средство передачи данных между их компонентами. Стандарт POSIX-2001 позволяет добиться мобильности даже для традиционно немобильных подсистем работы с типизированной памятью.

Разумеется, в число рассматриваемых в курсе тем вошло приоритетное планирование. Здесь особый интерес представляет политика спорадического планирования, необходимая для работы в реальном, насыщенном событиями окружении.

Приложения реального времени сложно не только разрабатывать, но и отлаживать. Для решения этой проблемы в стандарте POSIX-2001 предусмотрен механизм трассировки, который целесообразно применять и на этапе эксплуатации приложений.

Материалы курса могут быть использованы для занятий в учебных заведениях по курсам, касающимся разработки пользовательского интерфейса и опыта взаимодействия пользователя с программными системами…

Основная концепция предлагаемого учебного курса заключается в переходе к изучению высокоуровневых средств программирования в качестве основных инструментов параллельного программирования. …

Использование единого опыта разработки настольных и Web-проектов кажется сложновыполнимой задачей даже после выхода их последних версий. Но при правильном проектировании архитектуры проекта…

Дается введение в теорию конечных и численных автоматов, автоматов Мили, изучаются их алгоритмические возможности и сети Петри.

Рассмотрены подробности построения систем Solaris и их администрирования, установка системы Solaris методом JumpStart, принципы управления системой, в том числе методики контроля и совершенствования…

Курс знакомит с языком Fortran и средой Intel Parallel Studio. Рассматриваются стандартные типы данных, операторы, работа с массивами и их сечениями, обработка файлов, программирование с…

ISBN: 978-5-9963-0349-6
В данном курсе предпринята попытка создания общей картины развития многоядерных процессоров. Рассмотрены структуры процессоров различных классов, структура вычислительных ядер и связей между ними.…