К18
Каменюка Є. О. Мультипроцесорні моделі розв'язання систем булевих рівнянь великої розмірності : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / Каменюка Євген Олександрович ; МОН України, Харків. нац. ун-т радіоелектроніки. – Харків, 2009. – 20 с.
Каменюка Є. О. Мультипроцесорні моделі розв'язання систем булевих рівнянь великої розмірності : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / Каменюка Євген Олександрович ; МОН України, Харків. нац. ун-т радіоелектроніки. – Харків, 2009. – 20 с.
Статистика використання: Видач: 0
Тема:
- УДК
- 004.415.5 Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
- 519.718 Стійкість. Надійність. Контроль. Синтез. Корегуючі системи. Тести Ключові слова
- цифрові системи, цифровые системы, digital system
- тестування, тестирование, testing
- верифікація, верификация
- компіляція, компиляция, compiling, Kompilieren, compilation
- логічне моделювання, логическое моделирование, logic simulation
- паралельні обчислювальні системи, параллельные вычислительные системы
- мультипроцесорні моделі, мультипроцессорные модели Ключові слова латиницею
- Application Specific Integrated Circuit, ASIC
- PRUS