Buchumschlag

Проектування та модельне обґрунтування застосувань на основі відеоадаптерів

Досліджено модельне обгрунтування властивостей архітектур відеоадаптерів виробництва NVIDIA. Розглянуто послідовність застосування апарату транзиційних систем для побудови високорівневої специфікації та апарату мереж Петрі для верифікації моделі застосування. Проведено формалізацію узагальненої моде...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Управляющие системы и машины
Datum:	2018
Hauptverfasser:	Погорілий, С.Д., Кривий, С.Л., Слинько, М.С.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2018
Schlagworte:	Технические средства информатики
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/150489
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Проектування та модельне обґрунтування застосувань на основі відеоадаптерів / С.Д. Погорілий, С.Л. Кривий, М.С. Слинько // Управляющие системы и машины. — 2018. — № 4. — С. 46-56. — Бібліогр.: 10 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Формалізований метод проектування застосувань в технології GPGPU
von: Кривий, С.Л., et al.
Veröffentlicht: (2018)

Знание-ориентированные информационные системы с обработкой естественно-языковых объектов: основы методологии и архитектурно-структурная организация
von: Палагин, А.В., et al.
Veröffentlicht: (2009)

Информационная технология тестирования цифровых электрокардиографов с встроенными алгоритмами обработки данных
von: Беклер, Т.Ю., et al.
Veröffentlicht: (2012)

Уменьшение аппаратурных затрат в устройстве управления с преобразователем адреса микрокоманды
von: Баркалов, А.А., et al.
Veröffentlicht: (2009)

Модели устройства управления с общей памятью, ориентированные на ПЛИС
von: Баркалов, А.А., et al.
Veröffentlicht: (2012)

Реализация автомата Мура в базисе гибридных FPGA
von: Цололо, С.А.
Veröffentlicht: (2014)

Системный анализ реконфигурации полосы пропускания оптоволоконных трактов видеоконференцсвязи
von: Терещенко, В.С.
Veröffentlicht: (2011)

Анализ системы обслуживания-запасания с мгновенным обслуживанием и переменным объемом заказов
von: Багирова, С.А.
Veröffentlicht: (2016)

О применении интерфейса PCI-Express для построения компьютерных систем с использованием ПЛИС
von: Яковлев, Ю.С.
Veröffentlicht: (2016)

О виртуализации рабочих мест и их компонентов при построении компьютерных систем и сетей
von: Яковлев, Ю.С.
Veröffentlicht: (2017)

Уменьшение числа LUT-элементов в схеме автомата Мура
von: Баркалов, А.А., et al.
Veröffentlicht: (2013)

Основные принципы и методика распределения приложений в сложных компьютерных системах типа "Процессор–в–памяти"
von: Яковлев, Ю.С., et al.
Veröffentlicht: (2009)

Минимизация площади заказных СБИС на этапе топологического проектирования цифровых схем
von: Черемисинова, Л.Д., et al.
Veröffentlicht: (2012)

Компьютерная система типа "Процессор–в–памяти" с модифицированной кольцевой шиной
von: Яковлев, Ю.С., et al.
Veröffentlicht: (2011)

Частотный анализ устройства, реализующего алгоритм экспоненциального сглаживания
von: Брус, А.А., et al.
Veröffentlicht: (2012)

Каркасный анализ способов коммутации видеосигналов
von: Панченко, Б.Е., et al.
Veröffentlicht: (2013)

Дослідження ефективності обробки даних у квантовому комп’ютері та їх зберігання у квантовій пам’яті
von: Войтович, І.Д., et al.
Veröffentlicht: (2011)

Разработка адаптивного человеко-машинного интерфейса с использованием множества критериев оценки его качества
von: Курзанцева, Л.И.
Veröffentlicht: (2011)

Оценка энергопотребления комбинационных КМОП-схем на основе логического моделирования с учетом временных задержек элементов
von: Бибило, П.Н., et al.
Veröffentlicht: (2014)

Моделирование метода сечений для контроля формы изображения пятна лазерного пучка
von: Тимченко, Л.И., et al.
Veröffentlicht: (2010)

Смешанное кодирование наборов микроопераций в совмещенном автомате
von: Баркалов, А.А., et al.
Veröffentlicht: (2018)

Оптимальное кодирование состояний в совмещенном автомате
von: Баркалов, А.А., et al.
Veröffentlicht: (2016)

Оптимизация схемы композиционного микропрограммного устройства управления с общей памятью
von: Баркалов, А.А., et al.
Veröffentlicht: (2011)

Уменьшение аппаратурных затрат в совмещенных автоматах
von: Баркалов, А.А., et al.
Veröffentlicht: (2017)

Методика конфігурування служб Windows 10 редакцій Home та Pro для персональних комп’ютерів з використанням технології віртуалізації
von: Рибачок, Н.А., et al.
Veröffentlicht: (2018)

Уменьшение числа LUT-элементов в схеме совмещенного автомата
von: Баркалов, А.А., et al.
Veröffentlicht: (2016)

Кодирование наборов микроопераций в совмещенном автомат
von: Баркалов, А.А., et al.
Veröffentlicht: (2018)

Уменьшение максимального количества существенных входных переменных в микропрограммном автомате с операционным автоматом переходов
von: Бабаков, Р.М., et al.
Veröffentlicht: (2018)

Нахождение теста для режима максимального энергопотребления комбинационной схемы
von: Бибило, П.Н.
Veröffentlicht: (2010)

Методы и алгоритмы автоматизированного проектирования сложных технических объектов
von: Зинченко, В.П., et al.
Veröffentlicht: (2011)

Синтез сумматора нанокомпьютера на основе резонансных электромеханических элементов
von: Белик, В.К., et al.
Veröffentlicht: (2014)

Большие данные. Аналитические базы данных и хранилища: Greenplum
von: Урсатьев, А.А.
Veröffentlicht: (2019)

Методологические основы разработки лингвистического процессора для обработки лингвистических корпусов текстов сверхбольших объемов. І
von: Палагин, А.В., et al.
Veröffentlicht: (2014)

Один из подходов к уменьшению аппаратурных затрат в цифровых интегрирующих структурах
von: Жуков, И.А., et al.
Veröffentlicht: (2014)

Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов
von: Бибило, П.Н., et al.
Veröffentlicht: (2017)

Анализ технологии создания инфрастуктуры для разработки и развертывания программных приложений
von: Ходякова, Г.В., et al.
Veröffentlicht: (2019)

Модификация алгоритма кодирования полей совместимых микроопераций
von: Баркалов, А.А., et al.
Veröffentlicht: (2009)

Методологические основы разработки лингвистического процессора для обработки лингвистических корпусов текстов сверхбольших объемов. ІІ
von: Палагин, А.В., et al.
Veröffentlicht: (2014)

Оценивание надежности оборудования управляющих систем и машин в условиях малой статистики или отсутствия отказов
von: Стрельников, П.В.
Veröffentlicht: (2013)

Реализация комплексного подхода к описанию алгоритмов информационно-управляющих систем в рамках алгебраического аппарата
von: Акуловский, В.Г., et al.
Veröffentlicht: (2013)