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

Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 3807 / 321
Авторы: Сергей Зыков | Национальный исследовательский ядерный университет «МИФИ»
ISBN: 978-5-9556-0009-3
Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 3462 / 1132
Авторы: Андрей Терехов | Санкт-Петербургский государственный университет
ISBN: 978-5-9556-0104-5
Как пример наиболее трудной, по мнению автора, задачи в этой области рассматриваются вопросы создания встроенных систем реального времени.
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 9592 / 1261
Авторы: Юлий Кетков | Нижегородский государственный университет им. Н.И.Лобачевского
В курсе рассматриваются все основные конструкции и элементы языков программирования C и C++.
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 5981 / 1021
В отличие от традиционной математики (математического анализа, линейной алгебры и др.), методы и конструкции которой имеют в основном числовую интерпретацию, дискретная математика имеет дело с…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 1677 / 92
Авторы: Bertrand Meyer
Большую часть курса составляет рассмотрение структур данных и алгоритмов. При рассмотрении структур данных основное внимание уделяется динамическим структурам – прежде всего спискам и деревьям.…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 690 / 172
Рассматриваются различные подходы к одному из важнейших для вычислительной техники вопросов математической логики – минимизации логических функций. Рассмотрены вопросы минимизации функций алгебры…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 2332 / 204
Даются основные понятия платформы Eclipse, особое внимание уделено релизу Eclipse 3.4 "Ganymede". На примерах демонстрируются выполнение типовых задач, с которыми сталкивается разработчик…
Темы: Программирование
Специальности: Программист
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 737 / 31
Практическая задача курса – это научить программированию в процедурах и функциях. Достижению этой цели способствует рассмотрение большого числа примеров. В курсе подробно обсуждаются вариации…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 838 / 35
Цель создания этого курса - предоставить ресурсы, рекомендации и советы по созданию эффективной среды для командной разработки ПО всем, кто так или иначе вовлечен в эту деятельность.
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 1941 / 93
Авторы: Нина Костюкова | Новосибирский Государственный Университет
Курс описывает различные способы представлений конечных последовательностей и операций над ними; множества и мультимножества; производящие функции и рекуррентные соотношения; абстрактные структуры…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 1868 / 116
Авторы: Виктор Кулямин | Московский государственный университет имени М.В.Ломоносова
ISBN: 978-5-9556-0067-3
В нем рассказывается о современных способах организации разработки таких систем на основе компонентных технологий на примере Web-приложений с использованием технологий Java и .NET, а также дается…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 840 / 85
В то же время, налицо тенденция к интероперабельности (interoperability) платформ и совместимости технологий. В данном курсе рассматриваются основные тенденции этого развития, а также основные…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 1604 / 214
Авторы: Дмитрий Сошников | Московский физико-технический институт
Курс содержит достаточно подробное изложение теоретических основ логического подхода к программированию, а также служит практическим пособием по современным языкам логического программирования –…
Темы: Программирование
Специальности: Программист
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 2485 / 1001
Авторы: Анна Пентус, Мати Пентус | Московский государственный университет имени М.В.Ломоносова
ISBN: 978-5-9556-0062-8
Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 110 / 0
Авторы: Сергей Абрамов | Университет города Переславля им. А. К. Айламазяна
Универсальный решающий алгоритм (УРА) позволяет вычислять программы «в обратном направлении»: для заданной программы p и заданного результата r вычислять представление для множества тех входных…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 113 / 0
Авторы: Сергей Абрамов | Университет города Переславля им. А. К. Айламазяна
Суперкомпилятор позволяет по заданной программе p вычислять ее эффективную версию pcls, специализированную под случай, когда входные данные d не произвольные, а берутся из некоторого множества…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 4504 / 2178
Авторы: Екатерина Лаврищева, Владимир Петрухин | Московский физико-технический институт
Рассмотрены темы, актуальные для специалистов на пути от формулировки заказчиком требований до создания работоспособного и качественного программного продукта. Рассмотрены вопросы программной…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 1180 / 138
ISBN: 978-5-9556-0021-5

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

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

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

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

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

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

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

Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 3283 / 1970
Авторы: Виктор Афонин, Сергей Федосин | Мордовский государственный университет имени Н.П. Огарева
ISBN: 978-5-9963-0352-6
Данный курс охватывает следующие разделы: системы массового обслуживания (многофазные и многоканальные системы обслуживания), статистическое моделирование на ЭВМ (включая метод Монте-Карло,…
Форма обучения: дистанционная | Стоимость: бесплатно | Доступ: свободный | Студентов: 1989 / 61
Авторы: Bertrand Meyer
Первые лекции описывают многие механизмы наследования, включая полиморфизм, динамическое связывание, множественное наследование, понятие ограниченной универсальности. Затем исследуются новые…
1  |  2  |  3  |  4  |  5  |  6