1. Precarpathian National University Repository
  2. Періодичні видання ПНУ
  3. Вісники
  4. Серія: Математика. Фізика (Природничо-математичні науки)
  5. 2007
  6. № 3
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://hdl.handle.net/123456789/20043
Повний запис метаданих
Поле DCЗначенняМова
dc.contributor.authorАтаманюк, О. Б.-
dc.date.accessioned2024-07-24T07:34:18Z-
dc.date.available2024-07-24T07:34:18Z-
dc.date.issued2007-
dc.identifier.citationАтаманюк О. Б. Верифікація процесу кремнієвої компіляції топології інтегральних схем // Вісник Прикарпатського університету. Серія: Математика. Фізика. - Івано-Франківськ. - 2007. - Вип. 3. – С. 102-107.uk_UA
dc.identifier.urihttp://hdl.handle.net/123456789/20043-
dc.description.abstractЗадача верифікації процесу кремнієвої компіляції, що моделюється ймовірнісним графом, зводиться до скорочення цього графа, а далі - до знаходження всіх графів, що задовольняють часово-ймовірнісний критерій; використовуються стрічкові матриці та метод вилучення проміжних вершин.uk_UA
dc.language.isouk_UAuk_UA
dc.publisherПрикарпатський національний університет імені Василя Стефаникаuk_UA
dc.subjectкремнієва компіляціяuk_UA
dc.subjectстрічкові матриціuk_UA
dc.subjectметод вилучення проміжних вершинuk_UA
dc.titleВерифікація процесу кремнієвої компіляції топології інтегральних схемuk_UA
dc.typeArticleuk_UA
Розташовується у зібраннях:№ 3

Файли цього матеріалу:
Файл Опис РозмірФормат 
О Б. Атаманюк С.102-107.pdf338.58 kBAdobe PDFПереглянути/Відкрити
Показати базовий опис матеріалу Перегляд статистики


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.