Библиотека » Информационные Технологии

Реализация математической модели верификации требований к управляющим алгоритмам реального времени в автоматизированной системе визуального проектирования
А.А. Тюгашев, А.В. Шулындин, Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета), №7 (38), 2012 г.С 59-66.
Применение подходов BYOD для построения стратегии информатизации высшего учебного заведения
Иванченко Д.А., Хмельков И.А., Райчук Д.Ю., Митрофанов А.М., Самочадин А.В., Рогов П.А., Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. - 2013.- №3(174). - С.85-92.
The specialized web-catalog of observations of thunderstorm activity on planets of the Solar system
V. N. Tkachev, V. V. Zaharenko, K. Y. Мilostnaya, V. N. Tkachev, V. V. Zaharenko, K. Y. Мilostnaya / The specialized web-catalog of observations of thunderstorm activity on planets of the Solar system // The Strategies of Modern Science Development. II International scientific–practical conference. 4-5 June 2013. - Science Book Publishing....
Автономная верификация микропроцессоров на основе эталонных моделей разного уровня абстракции
Шмелёв В.А., Стотланд И.А., АВТОНОМНАЯ ВЕРИФИКАЦИЯ МИКРОПРОЦЕССОРОВ НА ОСНОВЕ ЭТАЛОННЫХ МОДЕЛЕЙ РАЗНОГО УРОВНЯ АБСТРАКЦИИ Шмелёв В.А., Стотланд И.А. Всероссийская научно-техническая....
Метод динамической верификации модулей системного обмена микропроцессорных вычислительных комплексов
Стотланд И.А., МЕТОД ДИНАМИЧЕСКОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ СИСТЕМНОГО ОБМЕНА МИКРОПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ КОМПЛЕКСОВ Стотланд И.А. Научно-технический вестник Поволжья. 2012. №....
Методика функциональной верификации цифровых устройств
Деменкова Т.А., Певцов Е.Ф., Стотланд И.А., МЕТОДИКА ФУНКЦИОНАЛЬНОЙ ВЕРИФИКАЦИИ ЦИФРОВЫХ УСТРОЙСТВ Деменкова Т.А., Певцов Е.Ф., Стотланд И.А. Электронная техника. Серия 2: Полупроводниковые приборы. 2011. № 2. С.....