?
An efficient equivalence-checking algorithm for a model of programs with commutative and absorptive statements
P. 85–96.
Vladislav Podymov
Язык:
английский
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Vol. 2. , University of Rzeszow, 2015.
Жукова Н. И., Regular and Chaotic Dynamics 2024 Vol. 29 No. 1 P. 174–189
Добавлено: 11 февраля 2024 г.
The symmetric Post Correspondence Problem, and errata for the freeness problem for matrix semigroups
Birget J., Таламбуца А. Л., International Journal of Algebra and Computation 2022 Vol. 32 No. 6 P. 1261–1274
Добавлено: 9 декабря 2022 г.
Герасимова И. А., Цветковская Т. А., Консон Г. Р., , in: Art History in the Context of Other Sciences in Modern World: Parallels and Interaction.: M.: Information and Publishing House Filin, 2020. P. 888–897.
Интервью генерального директора — художественного руководителя Российского государственного музыкального телерадиоцентра Ирины Анатольевны Герасимовой посвящено анализу опыта деятельности единственной в России радиостанции классической музыки «Орфей». В условиях рыночной конкуренции коммерческий успех любого СМИ измеряется рейтинговыми показателями. Иерархия позиций выстраивается на основе информации, отражающей объем и отдельные характеристики аудитории, а также данных о месте, времени, продолжительности прослушивания ...
Добавлено: 9 мая 2021 г.
Высоцкий Л. И., Жуков В. В., Шуплецов М. С., В кн.: Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС-2018)Вып. 1.: М.: ИППМ РАН, 2018. С. 30–37.
При обнаружении ошибок или изменении
спецификации
проектируемой
сверхбольшой
интегральной схемы (СБИС) на поздних этапах
маршрута проектирования откат на более ранние этапы
проектирования и их повторное выполнение очень часто
становится непрактичным в силу существенных
временных затрат. Для целей сокращения времени
проектирования
в
современные
маршруты
проектирования интегрируют специальные этапы
функциональной коррекции схемы (англ. Engineering
Change Order, ECO). В основе указанного подхода лежит
анализ уже спроектированной схемы и построение
небольшой подсхемы-заплатки, внедрение которой в уже
синтезированную ...
Добавлено: 10 ноября 2020 г.
Викентьева О. Л., Полякова О. А., Пермь: Издательство Пермского национального исследовательского политехнического университета, 2019.
В учебном пособии рассмотрены вопросы применения основных принципов структурного программирования в сложных программных системах на языке высокого уровня С++, которые демонстрируются на содержательных примерах. ...
Добавлено: 16 сентября 2020 г.
Захаров В. А., Жайлауова Ш. Р., В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019).: М.: Изд-во механико-математического факультета МГУ, 2019. С. 272–274.
В данной статье мы продолжаем поиск и исследование новых классов недетерминированных автоматов-преобразователей с разрешимой проблемой эквивалентности. Цель исследования~--- провести как можно более точную и подробную демаркацию границы между разрешимыми и неразрешимыми случаями проблемы эквивалентности для рассматриваемой модели вычислений. Мы рассматриваем один класс недетерминированных автоматов, работающих над выходным алфавитом из одной буквы. Характерная особенность рассматриваемых автоматов-преобразователей ...
Добавлено: 17 октября 2019 г.
Бланк М. Л., Russian Mathematical Surveys 2019 Vol. 74 No. 4 P. 758–760
Добавлено: 8 октября 2019 г.
Yaroslavl: Ярославский государственный университет им. П.Г. Демидова, 2018.
Добавлено: 26 октября 2018 г.
Захаров В. А., В кн.: Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды.: МГУ, МАКС Пресс, 2018. С. 128–130.
Показано, каким образом задача проверки эквивалентности двухленточных детерминированных автоматов может быть сведена к задаче проверки эквивалентности слабо недетерминированных конечных автоматов-преобразователей, работающих над полугруппой префиксных регулярных языков с операцией конкатенации. ...
Добавлено: 14 июня 2018 г.
Cham: Springer, 2017.
This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017. The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the ...
Добавлено: 24 января 2018 г.
Захаров В. А., Jaylauova S., Automatic Control and Computer Sciences 2017 Vol. 51 No. 7 P. 689–700
Добавлено: 19 декабря 2017 г.
Кравцова М. В., Наука и бизнес: пути развития 2016 № 12(66) С. 138–141
В статье рассматриваются основные программные продукты, которые предназначены для заказчика в работе с госзакупками. Проведён сравнительный анализ программ, выявлены их достоинства и недостатки. Автором разработана и предложена своя программа по оценке эффективности госзакупок. ...
Добавлено: 27 ноября 2017 г.
Захаров В. А., Жайлауова Ш. Р., В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.).: М.: МГУ, МАКС Пресс, 2017. С. 84–87.
Эффективная разрешимость проблемы л-т эквивалентности дает возможность приступить к решению задачи минимизации - построения схемы программ наименьшего размера, л-т эквивалентной заданной схеме. Чтобы отыскать ее решение, заметим, что модель вычислений стандартных схем программ сходна модели вычислений автоматов-преобразователей, работающих над полугруппами. Ранее был предложен метод минимизации автоматов-преобра\-зо\-вателей, работающих над упорядоченными левосократимыми полугруппами. В данной заметке мы ...
Добавлено: 22 октября 2017 г.
Горский Е. А., Mazin M., Vazirani M., Electronic Journal of Combinatorics 2017 Vol. 24 No. 3 P. 1–29
Добавлено: 13 октября 2017 г.
Захаров В. А., Жайлауова Ш. Р., Моделирование и анализ информационных систем 2017 Т. 24 № 4 С. 415–433
Стандартные схемы программ - это одна из наиболее простых моделей последовательных императивных программ, предназначенная для решения задач оптимизации и верификации программ. Мы рассматриваем разрешимое отношение логико-термальной эквивалентности стандартных схем программ и задачу минимизации их размера при условии сохранением отношения логико-термальной эквивалентности. Нами доказано, что эта задача является алгоритмически разрешимой. Далее показано, что стандартные схемы программ ...
Добавлено: 12 октября 2017 г.
Шевелёва Н. Н., Ножичкина Л. В., АСОУ, 2017.
В сборнике представлены антирисковые программы общеобразовательных организаций Московской области. Представлены риски и пути их минимизации в условиях модернизации образования. ...
Добавлено: 27 августа 2017 г.
Шитов Я. Н., Linear Algebra and its Applications 2017 Vol. 513 P. 120–121
Добавлено: 21 октября 2016 г.
Захаров В. А., Temerbekova G., Automatic Control and Computer Sciences 2017 Vol. 51 No. 7 P. 523–530
Добавлено: 13 октября 2016 г.