Oleg F. Nemolochnov

Work place: ITMO University
Post: Department head, Professor
Degree: D.Sc., Professor
E-mail: nemolochnov_o_f@mail.ru
Zykov A. ., Bezroukov A. ., Nemolochnov O. F., Polyakov V. I., Andronov A. V. GRAPH-ANALYTICAL MODELS FOR CAD COMPUTING PROCESSES
The article was published in issue 4(74) in 2011
Nemolochnov O. F., Zykov A. ., Polyakov V. I., Makedonskiy A. . PARALLEL STRUCTURES FOR COMPUTING PROCESSES CONTROL IN CAD
The article was published in issue 4(74) in 2011
Nemolochnov O. F., Игнатов М. С. ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЯ
The article was published in issue 1(46) in 2008
Nemolochnov O. F., Zykov A. ., Osovetsky L. ., Polyakov V. I. МЕТОДЫ ТЕСТИРОВАНИЯ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
The article was published in issue 11(45) in 2007
Zykov A. ., Nemolochnov O. F., Polyakov V. I. Универсальная модель последовательностных схем в САПР
The article was published in issue 2(6) in 2002
Lazdin A. ., Nemolochnov O. F. Оценка сложности графа функциональной программы
The article was published in issue 2(6) in 2002
Nemolochnov O. F., Zykov A. ., Polyakov V. I. Кубические покрытия логических условий вычислительных процессов и программ
The article was published in issue 3(14) in 2004
Nemolochnov O. F., Zykov A. ., Polyakov V. I., Сидоров А. В. Структурирование программ и вычислительных процессов на множество линейных и условных вершин
The article was published in issue 3(19) in 2005
Nemolochnov O. F., Zykov A. ., Lazdin A. ., Polyakov V. I. Верификация в исследовательских, учебных и промышленных системах
The article was published in issue 5(11) in 2003
Nemolochnov O. F., Zykov A. ., Polyakov V. I., Петров К. В. Моделирование простых логических неисправностей вычислительных процессов программ
The article was published in issue 9(32) in 2006
Nemolochnov O. F., Zykov A. ., Polyakov V. I., Петров К. В. Учебно-исследовательская САПР верификации и тестирования вычислительных процессов программ
The article was published in issue 9(32) in 2006
Nemolochnov O. F., Zykov A. ., Polyakov V. I. IMPLICATION AND EQUIVALENCE AS A BASIS FOR VERIFICATION
The article was published in issue 4(68) in 2010
Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

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