Remote Verification of Digital Systems Projects using Cluster Computers - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

Материалов:
1 005 012

Репозиториев:
30

Авторов:
596 024

расширенный поиск

Remote Verification of Digital Systems Projects using Cluster Computers

Cheremisinov, D. I., Cheremisinova, L. D., Черемисинов, Д. И., Черемисинова Л. Д.

Дата публикации: 2018

Дата публикации в реестре: 2021-08-05T17:40:00Z

Аннотация:

Ключевые слова:
материалы конференций, parallel computing, cluster computer, grid-system, verification, Boolean satisfiability

Тип: Статья

Связанные документы (рекомендация CORE)