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

Место работы: Университет ИТМО
Должность: зав. кафедрой
Ученая степень: доктор технических наук, профессор
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 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика