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

2024 , ТОМ 24, НОМЕР 6 ( ноябрь-декабрь )

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

Меню

Публикации

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

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

Партнеры

Немолочнов Олег Фомич

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

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

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

Немолочнов О. Ф., Игнатов М. С. ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЯ
Статья опубликована в выпуске №1, том 08, 2008

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

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

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

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

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

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

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

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

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

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

Немолочнов О. Ф., Петров К. В. МОДЕЛИРОВАНИЕ ЛОГИЧЕСКИХ НЕИСПРАВНОСТЕЙ В ЦИКЛАХ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ ПРОГРАММ
Статья опубликована в выпуске №2, том 06, 2006

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

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