DSpace JSPUI
DSpace зберігає і дозволяє легкий і відкритий доступ до всіх видів цифрового контенту, включаючи текст, зображення, анімовані зображення, MPEG і набори даних
Дізнатися більше
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://hdl.handle.net/123456789/20043| Назва: | Верифікація процесу кремнієвої компіляції топології інтегральних схем |
| Автори: | Атаманюк, О. Б. |
| Ключові слова: | кремнієва компіляція стрічкові матриці метод вилучення проміжних вершин |
| Дата публікації: | 2007 |
| Видавництво: | Прикарпатський національний університет імені Василя Стефаника |
| Бібліографічний опис: | Атаманюк О. Б. Верифікація процесу кремнієвої компіляції топології інтегральних схем // Вісник Прикарпатського університету. Серія: Математика. Фізика. - Івано-Франківськ. - 2007. - Вип. 3. – С. 102-107. |
| Короткий огляд (реферат): | Задача верифікації процесу кремнієвої компіляції, що моделюється ймовірнісним графом, зводиться до скорочення цього графа, а далі - до знаходження всіх графів, що задовольняють часово-ймовірнісний критерій; використовуються стрічкові матриці та метод вилучення проміжних вершин. |
| URI (Уніфікований ідентифікатор ресурсу): | http://hdl.handle.net/123456789/20043 |
| Розташовується у зібраннях: | № 3 |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| О Б. Атаманюк С.102-107.pdf | 338.58 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.