Автор Зыков Анатолий Геннадьевич Научно-Технический Вестник информационных технологий, механики и оптики

2024 , ТОМ 24, НОМЕР 5 ( сентябрь-октябрь )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Меню

Публикации

Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор

Партнеры

Зыков Анатолий Геннадьевич

Место работы: Университет ИТМО
Должность: доцент
Ученая степень: кандидат технических наук
E-mail: zykov_a_g@mail.ru

Зыков А. Г., Безруков А. В., Немолочнов О. Ф., Поляков В. И., Андронов А. В. ГРАФО-АНАЛИТИЧЕСКИЕ МОДЕЛИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ В САПР
Статья опубликована в выпуске №4, том 11, 2011

Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Македонский А. А. ПАРАЛЛЕЛЬНЫЕ СТРУКТУРЫ УПРАВЛЕНИЯ ВЫЧИСЛИТЕЛЬНЫМИ ПРОЦЕССАМИ В САПР
Статья опубликована в выпуске №4, том 11, 2011

Немолочнов О. Ф., Зыков А. Г., Осовецкий Л. Г., Поляков В. И. МЕТОДЫ ТЕСТИРОВАНИЯ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
Статья опубликована в выпуске №11, том 07, 2007

Зыков А. Г., Немолочнов О. Ф., Поляков В. И. Универсальная модель последовательностных схем в САПР
Статья опубликована в выпуске №2, том 02, 2002

Зыков А. Г., Немолочнов О. Ф., Поляков В. И. Построение комплексного покрытия последовательностных схем методом пересечения покрытий систем булевых функций
Статья опубликована в выпуске №2, том 02, 2002

Немолочнов О. Ф., Зыков А. Г., Поляков В. И. Кубические покрытия логических условий вычислительных процессов и программ
Статья опубликована в выпуске №3, том 04, 2004

Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Сидоров А. В. Структурирование программ и вычислительных процессов на множество линейных и условных вершин
Статья опубликована в выпуске №3, том 05, 2005

Немолочнов О. Ф., Зыков А. Г., Лаздин А. В., Поляков В. И. Верификация в исследовательских, учебных и промышленных системах
Статья опубликована в выпуске №5, том 03, 2003

Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Петров К. В. Моделирование простых логических неисправностей вычислительных процессов программ
Статья опубликована в выпуске №9, том 06, 2006

Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Петров К. В. Учебно-исследовательская САПР верификации и тестирования вычислительных процессов программ
Статья опубликована в выпуске №9, том 06, 2006

Немолочнов О. Ф., Зыков А. Г., Поляков В. И. ИМПЛИКАЦИЯ И ЭКВИВАЛЕНТНОСТЬ КАК ОСНОВА ВЕРИФИКАЦИИ
Статья опубликована в выпуске №4, том 10, 2010

Гедич А. А., Зыков А. Г., Лаздин А. В. АВТОМАТИЧЕСКИЙ ПОИСК ЛОКАЛЬНЫХ ПЕРЕМЕННЫХ И АРГУМЕНТОВ ПРОЦЕДУРЫ В ИСПОЛНЯЕМОМ КОДЕ ПРОГРАММЫ ПРИ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
Статья опубликована в выпуске №5, том 13, 2013

Информация 2001-2024 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.