Проектування та модельне обґрунтування застосувань на основі відеоадаптерів
Досліджено модельне обгрунтування властивостей архітектур відеоадаптерів виробництва NVIDIA. Розглянуто послідовність застосування апарату транзиційних систем для побудови високорівневої специфікації та апарату мереж Петрі для верифікації моделі застосування. Проведено формалізацію узагальненої моде...
Збережено в:
| Опубліковано в: | Управляющие системы и машины |
|---|---|
| Дата: | 2018 |
| ISSN: | 0130-5395 |
| Автори: | Погорілий, С.Д., Кривий, С.Л., Слинько, М.С. |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2018
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/150489 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Проектування та модельне обґрунтування застосувань на основі відеоадаптерів / С.Д. Погорілий, С.Л. Кривий, М.С. Слинько // Управляющие системы и машины. — 2018. — № 4. — С. 46-56. — Бібліогр.: 10 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Формалізований метод проектування застосувань в технології GPGPU
за авторством: Кривий, С.Л., та інші
Опубліковано: (2018)
за авторством: Кривий, С.Л., та інші
Опубліковано: (2018)
Знание-ориентированные информационные системы с обработкой естественно-языковых объектов: основы методологии и архитектурно-структурная организация
за авторством: Палагин, А.В., та інші
Опубліковано: (2009)
за авторством: Палагин, А.В., та інші
Опубліковано: (2009)
Информационная технология тестирования цифровых электрокардиографов с встроенными алгоритмами обработки данных
за авторством: Беклер, Т.Ю., та інші
Опубліковано: (2012)
за авторством: Беклер, Т.Ю., та інші
Опубліковано: (2012)
Уменьшение аппаратурных затрат в устройстве управления с преобразователем адреса микрокоманды
за авторством: Баркалов, А.А., та інші
Опубліковано: (2009)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2009)
Модели устройства управления с общей памятью, ориентированные на ПЛИС
за авторством: Баркалов, А.А., та інші
Опубліковано: (2012)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2012)
Оптимизация схемы адресации микрокоманд в устройстве управления с разделением кодов
за авторством: Баркалов, А.А., та інші
Опубліковано: (2010)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2010)
О виртуализации рабочих мест и их компонентов при построении компьютерных систем и сетей
за авторством: Яковлев, Ю.С.
Опубліковано: (2017)
за авторством: Яковлев, Ю.С.
Опубліковано: (2017)
О применении интерфейса PCI-Express для построения компьютерных систем с использованием ПЛИС
за авторством: Яковлев, Ю.С.
Опубліковано: (2016)
за авторством: Яковлев, Ю.С.
Опубліковано: (2016)
Анализ системы обслуживания-запасания с мгновенным обслуживанием и переменным объемом заказов
за авторством: Багирова, С.А.
Опубліковано: (2016)
за авторством: Багирова, С.А.
Опубліковано: (2016)
Реализация автомата Мура в базисе гибридных FPGA
за авторством: Цололо, С.А.
Опубліковано: (2014)
за авторством: Цололо, С.А.
Опубліковано: (2014)
Системный анализ реконфигурации полосы пропускания оптоволоконных трактов видеоконференцсвязи
за авторством: Терещенко, В.С.
Опубліковано: (2011)
за авторством: Терещенко, В.С.
Опубліковано: (2011)
Уменьшение числа LUT-элементов в схеме автомата Мура
за авторством: Баркалов, А.А., та інші
Опубліковано: (2013)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2013)
Основные принципы и методика распределения приложений в сложных компьютерных системах типа "Процессор–в–памяти"
за авторством: Яковлев, Ю.С., та інші
Опубліковано: (2009)
за авторством: Яковлев, Ю.С., та інші
Опубліковано: (2009)
Развитие элементной базы и соответствующих архитектурно-структурных решений для систем высокопроизводительных вычислений
за авторством: Яковлев, Ю.С., та інші
Опубліковано: (2013)
за авторством: Яковлев, Ю.С., та інші
Опубліковано: (2013)
Метод улучшения прогнозирования положения пятен лазерных пучков путем динамического туннелирования
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2012)
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2012)
Минимизация площади заказных СБИС на этапе топологического проектирования цифровых схем
за авторством: Черемисинова, Л.Д., та інші
Опубліковано: (2012)
за авторством: Черемисинова, Л.Д., та інші
Опубліковано: (2012)
Компьютерная система типа "Процессор–в–памяти" с модифицированной кольцевой шиной
за авторством: Яковлев, Ю.С., та інші
Опубліковано: (2011)
за авторством: Яковлев, Ю.С., та інші
Опубліковано: (2011)
Частотный анализ устройства, реализующего алгоритм экспоненциального сглаживания
за авторством: Брус, А.А., та інші
Опубліковано: (2012)
за авторством: Брус, А.А., та інші
Опубліковано: (2012)
Каркасный анализ способов коммутации видеосигналов
за авторством: Панченко, Б.Е., та інші
Опубліковано: (2013)
за авторством: Панченко, Б.Е., та інші
Опубліковано: (2013)
Дослідження ефективності обробки даних у квантовому комп’ютері та їх зберігання у квантовій пам’яті
за авторством: Войтович, І.Д., та інші
Опубліковано: (2011)
за авторством: Войтович, І.Д., та інші
Опубліковано: (2011)
Разработка адаптивного человеко-машинного интерфейса с использованием множества критериев оценки его качества
за авторством: Курзанцева, Л.И.
Опубліковано: (2011)
за авторством: Курзанцева, Л.И.
Опубліковано: (2011)
Оценка энергопотребления комбинационных КМОП-схем на основе логического моделирования с учетом временных задержек элементов
за авторством: Бибило, П.Н., та інші
Опубліковано: (2014)
за авторством: Бибило, П.Н., та інші
Опубліковано: (2014)
Моделирование метода сечений для контроля формы изображения пятна лазерного пучка
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2010)
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2010)
Оптимизация устройства управления с разделением кодов
за авторством: Баркалов, А.А., та інші
Опубліковано: (2010)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2010)
Смешанное кодирование наборов микроопераций в совмещенном автомате
за авторством: Баркалов, А.А., та інші
Опубліковано: (2018)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2018)
Оптимизация схемы композиционного микропрограммного устройства управления с общей памятью
за авторством: Баркалов, А.А., та інші
Опубліковано: (2011)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2011)
Оптимальное кодирование состояний в совмещенном автомате
за авторством: Баркалов, А.А., та інші
Опубліковано: (2016)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2016)
Уменьшение аппаратурных затрат в совмещенных автоматах
за авторством: Баркалов, А.А., та інші
Опубліковано: (2017)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2017)
Оптимизация схемы автомата Мура с двумя источниками кодов
за авторством: Баркалов, А.А., та інші
Опубліковано: (2015)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2015)
Оптимизация матричной схемы микропрограммного автомата Мура
за авторством: Баркалов, А.А., та інші
Опубліковано: (2012)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2012)
Методика конфігурування служб Windows 10 редакцій Home та Pro для персональних комп’ютерів з використанням технології віртуалізації
за авторством: Рибачок, Н.А., та інші
Опубліковано: (2018)
за авторством: Рибачок, Н.А., та інші
Опубліковано: (2018)
Уменьшение числа LUT-элементов в схеме совмещенного автомата
за авторством: Баркалов, А.А., та інші
Опубліковано: (2016)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2016)
Кодирование наборов микроопераций в совмещенном автомат
за авторством: Баркалов, А.А., та інші
Опубліковано: (2018)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2018)
Уменьшение максимального количества существенных входных переменных в микропрограммном автомате с операционным автоматом переходов
за авторством: Бабаков, Р.М., та інші
Опубліковано: (2018)
за авторством: Бабаков, Р.М., та інші
Опубліковано: (2018)
Один из подходов к уменьшению аппаратурных затрат в цифровых интегрирующих структурах
за авторством: Жуков, И.А., та інші
Опубліковано: (2014)
за авторством: Жуков, И.А., та інші
Опубліковано: (2014)
Нахождение теста для режима максимального энергопотребления комбинационной схемы
за авторством: Бибило, П.Н.
Опубліковано: (2010)
за авторством: Бибило, П.Н.
Опубліковано: (2010)
Моделирующая среда для создания и отладки систем цифровой обработки
за авторством: Палагин, А.В., та інші
Опубліковано: (2013)
за авторством: Палагин, А.В., та інші
Опубліковано: (2013)
Большие данные. Аналитические базы данных и хранилища: Greenplum
за авторством: Урсатьев, А.А.
Опубліковано: (2019)
за авторством: Урсатьев, А.А.
Опубліковано: (2019)
Моделирование процессов запоминания в нейронных и синаптических сетях естественного интеллекта
за авторством: Ходаковский, Н.И., та інші
Опубліковано: (2014)
за авторством: Ходаковский, Н.И., та інші
Опубліковано: (2014)
Реализация функции переходов микропрограммного автомата на базе операционного автомата
за авторством: Бабаков, Р.М., та інші
Опубліковано: (2015)
за авторством: Бабаков, Р.М., та інші
Опубліковано: (2015)
Схожі ресурси
-
Формалізований метод проектування застосувань в технології GPGPU
за авторством: Кривий, С.Л., та інші
Опубліковано: (2018) -
Знание-ориентированные информационные системы с обработкой естественно-языковых объектов: основы методологии и архитектурно-структурная организация
за авторством: Палагин, А.В., та інші
Опубліковано: (2009) -
Информационная технология тестирования цифровых электрокардиографов с встроенными алгоритмами обработки данных
за авторством: Беклер, Т.Ю., та інші
Опубліковано: (2012) -
Уменьшение аппаратурных затрат в устройстве управления с преобразователем адреса микрокоманды
за авторством: Баркалов, А.А., та інші
Опубліковано: (2009) -
Модели устройства управления с общей памятью, ориентированные на ПЛИС
за авторством: Баркалов, А.А., та інші
Опубліковано: (2012)