|
Выпуск |
Название |
|
Том 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) |
LTL-спецификация ограниченных счётчиковых машин |
Аннотация
PDF (Rus)
|
Егор Владимирович Кузьмин |
|
Том 29, № 1 (2022) |
Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС |
Аннотация
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 - 31 из 31 результатов |
|