Верификация высокоуровневых ресурсов в распределенной вычислительной среде для решения проектных задач обеспечения целостности сигналов
Автор: Чудинов Станислав Михайлович, Колесников Михаил Анатольевич
Журнал: Программные системы: теория и приложения @programmnye-sistemy
Рубрика: Методы оптимизации и теория управления
Статья в выпуске: 2 (25) т.6, 2015 года.
Бесплатный доступ
В рамках интеграции высокоуровневых ресурсов в распределённой вычислительной среде для решения научных и инженерных задач предлагаются научные решения по проектированию вычислительных систем с использованием верификации аппаратно-программного комплекса с целью обеспечения целостности сигналов при проектировании.
Аппаратно-программный комплекс, верификация, вычислительные системы., целостность сигналов
Короткий адрес: https://sciup.org/14336150
IDR: 14336150
Список литературы Верификация высокоуровневых ресурсов в распределенной вычислительной среде для решения проектных задач обеспечения целостности сигналов
- М. А. Колесников, С. М. Чудинов, А. А. Черепнев. Формализация задач электронного проектирования межсхемных соединений при разработке САПР высокопроизводительных ЭВМ//Научные Ведомости БелГУ. История. Политология. Экономика. Информатика, 1(72):13/1 (2010). С. 101-107.
- М. А. Колесников, М. О. Полежаев, С. М. Чудинов. Аппаратнопрограммный комплекс моделирования межсхемных соединений высокопроизводительных систем//Вопросы радиоэлектроники. Сер. ЭВТ, 2014, №1. С. 53-60.
- М. А. Колесников, А. А. Черепнев, С. М. Чудинов. Методика проектирования шин электропитания высокопроизводительных ЭВМ//Научные Ведомости БелГУ. История. Политология. Экономика. Информатика, 7(78):14/1 (2010). С. 142-153.
Статья научная
