Please use this identifier to cite or link to this item:
http://hdl.handle.net/123456789/20043
Full metadata record
DC Field | Value | Language |
---|---|---|
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 |
Appears in Collections: | № 3 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
О Б. Атаманюк С.102-107.pdf | 338.58 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.