| |
| Выпуск |
Название |
| |
| Том 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 - 17 из 17 результатов |
|
