Оптимизация матричного алгоритма достижимости с контекстно свободными ограничениями
Доклад посвящён задаче достижимости с ограничениями в виде контекстно-свободных языков и тому, как был многократно ускорен решающий её матричный алгоритм Рустама Азимова. Формулируется задача, рассматриваются примеры её применения для статического анализа кода. Разбирается матричный алгоритм Рустама Азимова и ряд оптимизаций этого алгоритма. Обсуждается, как к этим оптимизациям можно прийти и насколько они улучшают производительность в теории и на практике. Представляются результаты экспериментального сравнения с другими решателями контекстно-свободной достижимости, подтверждающие эффективность предложенного решения по времени работы и использованию оперативной памяти.
1 view
2793
857
5 months ago 00:31:50 1
8 КТО ПРАВИТ МИРОМ, МАТРИЦА УПРАВЛЕНИЯ, МЕРОВИНГИ
6 months ago 01:13:50 1
Оптимизация матричного алгоритма достижимости с контекстно свободными ограничениями
7 months ago 00:01:56 29
Электрика в матрице: ключевые преимущества онлайн заказа
8 months ago 00:21:40 1
О прочтениях.. о матрице...о генераторах... Дизайн Человека 2.0 Викрам
9 months ago 00:07:04 1
Разработка матрицы Ансоффа “Продукты-Рынки“ в системе Бизнес-инженер
9 months ago 00:07:04 1
Матрица Ансоффа “Продукты-Рынки“ для реализации стратегии роста
10 months ago 00:09:35 1
Построение кубического сплайна. Операции над сплайнами. Урок 151
10 months ago 00:09:45 1
Разработка матрицы RACI в системе Бизнес-инженер
10 months ago 00:09:45 1
Матрица RACI
12 months ago 00:09:37 1
Кто и как создал мир и землю? Матрица отдыхает🆘 Антиутопия и Крамола
1 year ago 00:04:00 8
Продуктовая матрица - способ увеличить средний чек и выручку
1 year ago 00:34:31 1
София Романова: “Матрица Soft-skills в IT: зачем нужна и как разработать“ / #ithrmeetup
1 year ago 00:09:00 1
Решение дифференциальных уравнений и систем. Урок 150
2 years ago 00:17:51 2
Матричные формы организационных структур компаний
2 years ago 00:05:59 1
Разработка шаблонов отчетов в Бизнес-инженер: Часть 2.4 Тип данных вывода в отчет “Матрица-шахматка“
2 years ago 00:04:19 1
Интерактивная матрица ответственности процесса
2 years ago 00:18:30 1
Матрица ответственности, матрица RACI и матрица безответственности
2 years ago 00:20:45 1
Разработка шаблонов отчетов в Бизнес-инженер: Часть 4. Тип данных вывода в отчет “Матричные связи“
2 years ago 00:10:58 1
Разработка шаблонов отчетов в Бизнес-инженер: Часть 3. Тип данных вывода в отчет “Матрица“
2 years ago 00:22:36 1
Функциональные, продуктовые и матричные организационные структуры
2 years ago 00:13:30 1
Способы установки связей между элементами классификаторов в системе Бизнес-инженер
2 years ago 00:14:39 2
Базовые варианты организационных структур компаний
2 years ago 00:10:14 1
Тип “ANYAUTOCONNECT“ элемента графической диаграммы программного продукта Бизнес-инженер
2 years ago 01:36:42 1
Методы Оптимизации. Семинар 2. Матрично векторное дифференцирование