| |
| Выпуск |
Название |
| |
| Том 32, № 2 (2025) |
Моделирование примитивов синхронизации параллельных программ |
Аннотация
PDF (Rus)
|
|
Олег Сергеевич Крюков, Анна Геннадьевна Волошко, Алексей Николаевич Ивутин |
| |
| Том 31, № 4 (2024) |
Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы |
Аннотация
PDF (Rus)
|
|
Иван Михайлович Черненко, Игорь Сергеевич Ануреев |
| |
| Том 31, № 4 (2024) |
Устранение неоднозначностей в расширенных регулярных выражениях с обратными ссылками посредством применения правил переписывания |
Аннотация
PDF (Eng)
|
|
Дарья Наильевна Исмагилова, Антонина Николаевна Непейвода |
| |
| Том 31, № 4 (2024) |
Применение TLA+/TLC для моделирования и верификации криптографических протоколов |
Аннотация
PDF (Rus)
|
|
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин |
| |
| Том 31, № 4 (2024) |
Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах |
Аннотация
PDF (Rus)
|
|
Наталья Олеговна Гаранина |
| |
| Том 31, № 3 (2024) |
Синтез иерархических моделей процессов: подход на основе разбиения событий на множества |
Аннотация
PDF (Eng)
|
|
Антонина Константиновна Бегичева, Ирина Александровна Ломазова, Роман Александрович Нестеров |
| |
| Том 31, № 1 (2024) |
О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем |
Аннотация
PDF (Rus)
|
|
Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул |
| |
| Том 30, № 3 (2023) |
Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) |
Аннотация
PDF (Eng)
|
|
Дмитрий Александрович Кондратьев |
| |
| Том 30, № 3 (2023) |
Распределение Больцмана в проблеме рационального выбора популяцией участка при неполной информации о его ресурсах |
Аннотация
PDF (Rus)
|
|
Александр Николаевич Кириллов, Инна Владимировна Данилова |
| |
| Том 30, № 1 (2023) |
Расширение языка C для поддержки процедурно-параметрического полиморфизма |
Аннотация
PDF (Rus)
|
|
Александр Иванович Легалов, Павел Владимирович Косов |
| |
| Том 29, № 3 (2022) |
На пути к нейросетевой маршрутизации с верифицированными границами эффективности |
Аннотация
PDF (Rus)
|
|
Игорь Петрович Бужинский, Анатолий Абрамович Шалыто |
| |
| Том 29, № 3 (2022) |
Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO |
Аннотация
PDF (Rus)
|
|
Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский |
| |
| Том 29, № 1 (2022) |
Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС |
Аннотация
PDF (Rus)
|
|
Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров |
| |
| Том 29, № 1 (2022) |
LTL-спецификация ограниченных счётчиковых машин |
Аннотация
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, № 4 (2021) |
Рекурсивная проверка включения для рекурсивно определенных подтипов |
Аннотация
PDF (Rus)
|
|
Ханс Де Нивелле |
| |
| Том 28, № 3 (2021) |
Исследование нелинейных полиномиальных систем управления |
Аннотация
PDF (Eng)
|
|
Сергей Николаевич Чуканов, Илья Станиславович Чуканов |
| |
| Том 28, № 2 (2021) |
Трансформация функционально-потоковых параллельных программ в императивные |
Аннотация
PDF (Rus)
|
|
Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков |
| |
| Том 28, № 1 (2021) |
LTL-спецификация счётчиковых машин |
Аннотация
PDF (Rus)
|
|
Егор Владимирович Кузьмин |
| |
| Том 27, № 4 (2020) |
Темпоральная логика для программируемых логических контроллеров |
Аннотация
PDF (Rus)
|
|
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач |
| |
| Том 27, № 4 (2020) |
О задаче верификации моделей программ для одного расширения логики CTL* |
Аннотация
PDF (Rus)
|
|
Антон Романович Гнатенко, Владимир Анатольевич Захаров |
| |
| Том 27, № 4 (2020) |
Алгоритмы для BDI-агентов, основанные на знаниях |
Аннотация
PDF (Rus)
|
|
Николай Вячеславович Шилов, Наталья Олеговна Гаранина |
| |
| Том 27, № 4 (2020) |
InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации |
Аннотация
PDF (Rus)
|
|
Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин |
| |
| Том 27, № 4 (2020) |
Архитектура формально-верифицированной системы распределенного реестра InnoChain |
Аннотация
PDF (Rus)
|
|
Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев |
| |
| Том 27, № 4 (2020) |
Правило «одной пятой» с возвратами для настройки размера популяции в генетическом алгоритме (1 + (λ,λ)) |
Аннотация
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 - 38 из 38 результатов |
|
