Лекция
This short course will present the state of the art of distributed information retrieval, that is the area of information retrieval concerned with accessing...
Лекция 9. Безопасность и надёжность виртуальных машин
In this tutorial, I will review some of the work done in the distributed systems community on database replication, focusing on group communication–based...
In this tutorial, I will review some of the work done in the distributed systems community on database replication, focusing on group communication–based...
Лекция 7. Реализация исполняющей компоненты виртуальной машины на современных компьютерах
Интерпретация
Компиляция: статическая (AOT), динамическая (JIT),...
In this tutorial, I will review some of the work done in the distributed systems community on database replication, focusing on group communication–based...
Лекция 11. Примеры открытых реализаций виртуальных машин
Форт-машина
(например kforth) Hotspot Java Virtual Machine – виртуальная машина для языка Java...
Лекция 12. Заключение
Проблемы существующих ВМ
Необходимость в новых виртуальных машинах
Новые направления в виртуализации
Лекция 8. Стандартизированный контекст исполнения
Лекция 1. Введение
Определения и общие понятия
Виртуализация как парадигма
Обзор курса
The term “ubiquitous computing” describes the vision of incorporating sensing, computation, and communication into everyday things in order to make them and ...
Лекция 2. Управление вычислительными ресурсами:
Ресурсы как инварианты вычислительной системы
Ресурсно-агностическое программирование
Высокоуровневое...
The term “ubiquitous computing” describes the vision of incorporating sensing, computation, and communication into everyday things in order to make them and ...
Лекция 10. Производительность виртуальных машин
Ленивая динамическая оптимизация
Эффективная организация основных структур данных
Динамическая кодогенерация...
The term “ubiquitous computing” describes the vision of incorporating sensing, computation, and communication into everyday things in order to make them and ...
Лекция 3. Обратная совместимость и выбор стратегии реализации оной:
Соображения сложности
Скорость программирования vs. скорость исполнения, требования...
This short course will present the state of the art of distributed information retrieval, that is the area of information retrieval concerned with accessing...
Альтернирующие автоматы (конечные и Бюхи) и их применения
hwmc competition — соревнования пруверов для верификации железа и доступные академические пруверы
Лекция 4. Концепция виртуальной машины:
This short course will present the state of the art of distributed information retrieval, that is the area of information retrieval concerned with accessing...
Наибольшая возрастающая подпоследовательность, стоимость редактирования, рюкзак, перемножение нескольких матриц, кратчайшие пути, независимые множества в...
Задачи поиска. Классы P и NP. Сведения. NP–полные задачи. Не NP–полные задачи в классе NPP.
Математическое ожидание. Линейность и принцип усреднения. Графы с большим количеством гамильтоновых путей. Независимое множество. Лемма о скрещивании. MAX-3–...
Приближенные алгоритмы
Страница лекции на сайте Computer Science клуба
Замкнутость бесконтекстных языков относительно объединения, сцепления, звёздочки, циклического сдвига и пересечения с регулярными языками. Доказательство...
Содержание лекции
Решётки в криптографии
Задача о выборе заявок, коды Хаффмена, покрытие множествами, вершинное покрытие, локальный поиск для задачи выполнимости.
Полиномиальная иерархия. Классы, ограниченные по времени и памяти. Иерархия по памяти. Иерархия по времени.