Зображення обкладинки

Формалізація процесу проектування обчислювальних пристроїв та систем на базі ПЛІС

Предложена формализация решения задачи синтеза реализации структуры устройства на ПЛИС. Запропоновано формалізацію рішення задачі синтезу реалізації структури пристрою на ПЛІС. The formalization to solve task of synthesis of devises structure on PLD is offered....

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2009
Автори:	Опанасенко, В.М., Лісовий, О.М.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2009
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/6528
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Формалізація процесу проектування обчислювальних пристроїв та систем на базі ПЛІС / В.М. Опанасенко, О.М. Лісовий // Комп’ютерні засоби, мережі та системи. — 2009. — № 8. — С. 58-63. — Бібліогр.: 4 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Формалізація адаптивного відображення задач у реконфігурованих обчислювальних системах на ПЛІС
за авторством: Клименко, І.А.
Опубліковано: (2016)

Автоматизована система для обробки зображень на базі ПЛІС
за авторством: Безкревний, Олександр Сергійович, та інші
Опубліковано: (2021)

Ідентифікація інтенсивності джерел забруднення атмосфери на базі гібридних обчислювальних систем
за авторством: Ільїн, М.І., та інші
Опубліковано: (2017)

Проектування оптимальних структур конвеєрних пристроїв
за авторством: Колодчак, О.М.
Опубліковано: (2011)

Особливості обчислювальних процесів на базі SM – перетворення
за авторством: Мартинюк, Т.Б., та інші
Опубліковано: (2023)

Ідентифікація інтенсивності джерел забруднення атмосфери на базі гібридних обчислювальних систем
за авторством: Ilin, Mykola I., та інші
Опубліковано: (2017)

Формалізація процесу створення геометричних моделей
за авторством: Литвинов, В.В., та інші
Опубліковано: (2013)

Принцип мікропрограмного керування та автоматизація проектування операційних пристроїв.
за авторством: Петрушенко, А.М.
Опубліковано: (2020)

Принцип мікропрограмного керування та автоматизація проектування операційних пристроїв. ІІ
за авторством: Петрушенко, А.М.
Опубліковано: (2020)

ФОРМАЛІЗАЦІЯ ПРОЦЕСУ ОЦІНКИ ВПЛИВУ COVID-19 НА КОНКУРЕНТНІ РИНКИ ТА ЕКОНОМІКУ
за авторством: Chaplynska, N.M., та інші
Опубліковано: (2022)

Глибокі нейромережі та елементи їх реалізації в ПЛІС FPGA
за авторством: Самолюк, Т.А.
Опубліковано: (2015)

Розробка моделей просторово-траєкторного підходу до моделювання процесу проектування маркетингових інформаційних систем
за авторством: Левикін, В.М., та інші
Опубліковано: (2012)

Формалізація процесу ефективного формування та розвитку бізнес-стратегії підприємства в умовах конкуренції
за авторством: Огліх, В.В., та інші
Опубліковано: (2008)

Оцінювання обчислювальних моделей функціонування кіберфізичних систем
за авторством: Pankratova, Nataliya D., та інші
Опубліковано: (2020)

Формалізація процесу обробки даних для растрового маскування прозорості зображень рухомих об’єктів
за авторством: Касім, А.М.
Опубліковано: (2016)

Формалізація та кількісне вимірювання синергії як процесу і результату: методологічний підхід та інструментальні рішення
за авторством: Розуменко, В.Д., та інші
Опубліковано: (2025)

ВИКОРИСТАННЯ ОПТИЧНИХ ТРАНСПАРАНТІВ ДЛЯ СПЕЦІАЛІЗОВАНИХ ОБЧИСЛЮВАЛЬНИХ СИСТЕМ
за авторством: Мялківська, І. В.
Опубліковано: (2013)

Проектування систем відеоспостереження
за авторством: Abdulhamid, Mohanad, та інші
Опубліковано: (2019)

Кіберакмеологічна концепція та принципи проектування програмно-технологічних систем
за авторством: Антонов, В.М., та інші
Опубліковано: (2010)

НАДІЙНІСТЬ ВИСОКОВОЛЬТНИХ ВУЗЛІВ СИСТЕМ ЕЛЕКТРОЖИВЛЕННЯ БОРТОВИХ ТЕХНОЛОГІЧНИХ ПРИСТРОЇВ
за авторством: Юрченко , М.М., та інші
Опубліковано: (2012)

Надійність високовольтних вузлів систем електроживлення бортових технологічних пристроїв
за авторством: Юрченко, М.М., та інші
Опубліковано: (2012)

НАДІЙНІСТЬ ВИСОКОВОЛЬТНИХ ВУЗЛІВ СИСТЕМ ЕЛЕКТРОЖИВЛЕННЯ БОРТОВИХ ТЕХНОЛОГІЧНИХ ПРИСТРОЇВ
за авторством: Юрченко , М.М., та інші
Опубліковано: (2012)

Метод формалізації процесу прийняття рішення на базі теорії порогових елементів
за авторством: Азарова, А.О., та інші
Опубліковано: (2018)

Метод об'єктно-компонентного проектування програмних систем
за авторством: Грищенко, В.М.
Опубліковано: (2007)

Формалізація операцій над інформаційними продуктами
за авторством: Вовк, О.Б.
Опубліковано: (2012)

Про можливі шляхи підвищення ефективності процесу проектування радіоелектронних схем
за авторством: Заячук, І., та інші
Опубліковано: (2005)

Цифрова обробка в ПЛІС імпульсів газового детектора гамма-випромінювання для придушення акустичних завад
за авторством: Pudov, Aleksey, та інші
Опубліковано: (2022)

ПРОБЛЕМИ ТА АСПЕКТИ ПРОЕКТУВАННЯ КЛАСТЕРИЗАЦІЇ МІКРОМЕРЕЖ
за авторством: Федосеєнко, О.М.
Опубліковано: (2023)

Теплофізичні та спектральні характеристики квазіоптичних фільтруючих пристроїв для кріоелектронних приймальних систем
за авторством: Руденкo, Е.М., та інші
Опубліковано: (2015)

Формалізація представлення продукційних правил в Erlang
за авторством: Шаповалова, С.І,
Опубліковано: (2020)

Формалізація представлення продукційних правил в Erlang
за авторством: Шаповалова, Світлана Ігорівна
Опубліковано: (2020)

Розробка і дослідження методу високошвидкісного ущільнення інформаційного трафіку на базі комплексного підходу паралельного ущільнення інформаційних потоків для розподілених обчислювальних grid-мереж
за авторством: Лысенко, Г. Л., та інші
Опубліковано: (2017)

Дослідження обчислювальних властивостей системи антикватерніонів
за авторством: Туренко, А.С.
Опубліковано: (2014)

АРМ – як інструментарій проектування та програмування складних систем на основі системного аналізу
за авторством: Антонов, В.М., та інші
Опубліковано: (2010)

Формалізація умов доцільності інституціонального бізнес-асоціювання промислових підприємств
за авторством: Болдир, Г.М.
Опубліковано: (2008)

Особливості проектування систем підтримки лікувальних рішень
за авторством: Мельникова, Н.І., та інші
Опубліковано: (2014)

ФОРМАЛІЗАЦІЯ ОПЕРАЦІЙ НАД ДЖЕРЕЛАМИ ДАНИХ У ПРОСТОРІ ДАНИХ
за авторством: Медиковський, М. О., та інші
Опубліковано: (2013)

Деякі питання застосування кластерних обчислювальних систем для вирішення задач закриття інформації
за авторством: Гіранова, А.К.
Опубліковано: (2010)

Формалізація та розв’язування одного типу задач маршрутизації БПЛА
за авторством: Гуляницький, Л.Ф., та інші
Опубліковано: (2018)

Формалізація та постановка задач моделювання руху гетерогенних потоків людей
за авторством: Komyak, Valentina
Опубліковано: (2023)