Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://hdl.handle.net/123456789/20043Повний запис метаданих
| Поле DC | Значення | Мова |
|---|---|---|
| dc.contributor.author | Атаманюк, О. Б. | - |
| dc.date.accessioned | 2024-07-24T07:34:18Z | - |
| dc.date.available | 2024-07-24T07:34:18Z | - |
| dc.date.issued | 2007 | - |
| dc.identifier.citation | Атаманюк О. Б. Верифікація процесу кремнієвої компіляції топології інтегральних схем // Вісник Прикарпатського університету. Серія: Математика. Фізика. - Івано-Франківськ. - 2007. - Вип. 3. – С. 102-107. | uk_UA |
| dc.identifier.uri | http://hdl.handle.net/123456789/20043 | - |
| dc.description.abstract | Задача верифікації процесу кремнієвої компіляції, що моделюється ймовірнісним графом, зводиться до скорочення цього графа, а далі - до знаходження всіх графів, що задовольняють часово-ймовірнісний критерій; використовуються стрічкові матриці та метод вилучення проміжних вершин. | uk_UA |
| dc.language.iso | uk_UA | uk_UA |
| dc.publisher | Прикарпатський національний університет імені Василя Стефаника | uk_UA |
| dc.subject | кремнієва компіляція | uk_UA |
| dc.subject | стрічкові матриці | uk_UA |
| dc.subject | метод вилучення проміжних вершин | uk_UA |
| dc.title | Верифікація процесу кремнієвої компіляції топології інтегральних схем | uk_UA |
| dc.type | Article | uk_UA |
| Розташовується у зібраннях: | № 3 | |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| О Б. Атаманюк С.102-107.pdf | 338.58 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.