Поляков Владимир Иванович

Место работы: Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация
Должность: ординарный доцент
Ученая степень: кандидат технических наук, доцент
E-mail: v_i_polyakov@mail.ru
Scopus ID: 57190260784
ORCID ID: 0000-0002-2606-5385
Зыков А. Г., Безруков А. В., Немолочнов О. Ф., Поляков В. И., Андронов А. В. ГРАФО-АНАЛИТИЧЕСКИЕ МОДЕЛИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ В САПР
Статья опубликована в выпуске №4, том 11, 2011
Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Македонский А. А. ПАРАЛЛЕЛЬНЫЕ СТРУКТУРЫ УПРАВЛЕНИЯ ВЫЧИСЛИТЕЛЬНЫМИ ПРОЦЕССАМИ В САПР
Статья опубликована в выпуске №4, том 11, 2011
Поляков В. И., Саута А. О. ПРОГРАММНО-АППАРАТНЫЙ КОМПЛЕКС ДЛЯ КОНТРОЛЯ СИСТЕМ ПОСАДКИ ВОЗДУШНЫХ СУДОВ
Статья опубликована в выпуске №11, том 08, 2008
Немолочнов О. Ф., Зыков А. Г., Осовецкий Л. Г., Поляков В. И. МЕТОДЫ ТЕСТИРОВАНИЯ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
Статья опубликована в выпуске №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
Чернышев Ю. О., Басова А. В., Панасенко П. А., Поляков В. И. ИСПОЛЬЗОВАНИЕ МЕТОДОВ МОДЕЛИРОВАНИЯ ЭВОЛЮЦИИ ДЛЯ ОПТИМИЗАЦИИ ДОКУМЕНТООБОРОТА НА ПРЕДПРИЯТИИ
Статья опубликована в выпуске №1, том 13, 2013
Евстропьев С. К., Волынкин В. М., Шашкин А. В., Дукельский К. В., Коробейников А. Г., Гатчин Ю. А., Поляков В. И. ВЛИЯНИЕ ОДНОСТАДИЙНОЙ ОБРАБОТКИ КВАРЦЕВОЙ КЕРАМИКИ ГЕЛЕОБРАЗУЮЩИМИ ВОДНЫМИ РАСТВОРАМИ НА ПРОЧНОСТНЫЕ ХАРАКТЕРИСТИКИ
Статья опубликована в выпуске №5, том 14, 2014
Ванясин Н. В., Сидоркина И. Г., Поляков В. И.
АРХИТЕКТУРА ИНТЕГРИРОВАННОЙ СРЕДЫ РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ С ПОДДЕРЖКОЙ СТРУКТУРНОГО РЕДАКТИРОВАНИЯ

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

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