Preview

Моделирование и анализ информационных систем

Расширенный поиск

Информация о разделе


Theory of Computing

 
Выпуск Название
 
Том 29, № 3 (2022) Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO Аннотация   PDF (Rus)
Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский
 
Том 29, № 3 (2022) На пути к нейросетевой маршрутизации с верифицированными границами эффективности Аннотация   PDF (Rus)
Игорь Петрович Бужинский, Анатолий Абрамович Шалыто
 
Том 29, № 1 (2022) Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС Аннотация   PDF (Rus)
Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров
 
Том 29, № 1 (2022) LTL-спецификация ограниченных счётчиковых машин Аннотация   PDF (Rus)
Егор Владимирович Кузьмин
 
Том 28, № 4 (2021) Рекурсивная проверка включения для рекурсивно определенных подтипов Аннотация   PDF (Rus)
Ханс Де Нивелле
 
Том 28, № 4 (2021) Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX Аннотация   PDF (Rus)
Томас Баар, Хорст Шульте
 
Том 28, № 4 (2021) Подход к автонастройке параллельных программ методом проверки моделей Аннотация   PDF (Rus)
Наталья Олеговна Гаранина, Сергей Петрович Горлач
 
Том 28, № 4 (2021) О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени Аннотация   PDF (Rus)
Антон Романович Гнатенко, Владимир Анатольевич Захаров
 
Том 28, № 4 (2021) На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer Аннотация   PDF (Rus)
Дмитрий Александрович Кондратьев
 
Том 28, № 4 (2021) Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ Аннотация   PDF (Rus)
Андрей Михайлович Миронов
 
Том 28, № 3 (2021) Исследование нелинейных полиномиальных систем управления Аннотация   PDF (Eng)
Сергей Николаевич Чуканов, Илья Станиславович Чуканов
 
Том 28, № 2 (2021) Трансформация функционально-потоковых параллельных программ в императивные Аннотация   PDF (Rus)
Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков
 
Том 28, № 1 (2021) LTL-спецификация счётчиковых машин Аннотация   PDF (Rus)
Егор Владимирович Кузьмин
 
Том 27, № 4 (2020) Архитектура формально-верифицированной системы распределенного реестра InnoChain Аннотация   PDF (Rus)
Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев
 
Том 27, № 4 (2020) Правило «одной пятой» с возвратами для настройки размера популяции в генетическом алгоритме (1 + (λ,λ)) Аннотация   PDF (Rus)
Антон Олегович Басин, Максим Викторович Буздалов, Анатолий Абрамович Шалыто
 
Том 27, № 4 (2020) InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации Аннотация   PDF (Rus)
Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин
 
Том 27, № 4 (2020) Алгоритмы для BDI-агентов, основанные на знаниях Аннотация   PDF (Rus)
Николай Вячеславович Шилов, Наталья Олеговна Гаранина
 
Том 27, № 4 (2020) Темпоральная логика для программируемых логических контроллеров Аннотация   PDF (Rus)
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач
 
Том 27, № 4 (2020) О задаче верификации моделей программ для одного расширения логики CTL* Аннотация   PDF (Rus)
Антон Романович Гнатенко, Владимир Анатольевич Захаров
 
Том 27, № 4 (2020) О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени Аннотация   PDF (Rus)
Евгений Максимович Винарский, Владимир Анатольевич Захаров
 
Том 27, № 4 (2020) Синтез установочных последовательностей для автоматов с временными ограничениями Аннотация   PDF (Rus)
Александр Сергеевич Твардовский, Нина Владимировна Евтушенко
 
Том 27, № 3 (2020) О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций Аннотация   PDF (Rus)
Валерий Анатольевич Соколов
 
Том 27, № 3 (2020) Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов Аннотация   PDF (Rus)
Владимир Анатольевич Захаров
 
Том 27, № 2 (2020) Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных Аннотация   PDF (Rus)
Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова
 
Том 27, № 1 (2020) Об одном разбиении отрезка, применяемом для оценки энтропии Аннотация   PDF (Rus)
Евгений Александрович Тимофеев
 
Том 26, № 2 (2019) Существование несмещенной состоятельной оценки энтропии для специальной меры Бернулли Аннотация   PDF (Rus)
Евгений Александрович Тимофеев
 
Том 26, № 2 (2019) Анализ возможностей практического использования моделей решеточных газов Аннотация   PDF (Rus)
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин
 
Том 26, № 2 (2019) К вопросу использования «полезных» задач для обеспечения работой блокчейн систем Аннотация   PDF (Rus)
Дмитрий Михайлович Мурин, Владимир Николаевич Князев
 
1 - 28 из 28 результатов