| DC Field | Value | Language |
|---|
| dc.contributor.author | Cheremisinov, D. I. | - |
| dc.contributor.author | Cheremisinova, L. D. | - |
| dc.date.accessioned | 2018-05-04T08:30:24Z | - |
| dc.date.available | 2018-05-04T08:30:24Z | - |
| dc.date.issued | 2018 | - |
| dc.identifier.citation | Cheremisinov, D. I. Remote Verification of Digital Systems Projects using Cluster Computers / D. I. Cheremisinov, L. D. Cheremisinova // BIG DATA Advanced Analytics: collection of materials of the fourth international scientific and practical conference, Minsk, Belarus, May 3 – 4, 2018 / editorial board: М. Batura [etc.]. – Minsk, BSUIR, 2018. – Р. 63 – 68. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/31350 | - |
| dc.description.abstract | The paper introduces a methodology that ensures data exchange between the cluster computer and
computer-aided design system for remote digital systems verification that is one of the most time-consuming tasks of
logical design. The proposed grid service provides the control of parallel computations from the VLSI CAD system environment that makes possible to speed up the solution of tasks arising when performing many design optimization procedures. | ru_RU |
| dc.language.iso | en | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | parallel computing | ru_RU |
| dc.subject | cluster computer | ru_RU |
| dc.subject | grid-system | ru_RU |
| dc.subject | verification | ru_RU |
| dc.subject | Boolean satisfiability | ru_RU |
| dc.title | Remote Verification of Digital Systems Projects using Cluster Computers | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | BIG DATA and Advanced Analytics. Использование BIG DATA для оптимизации бизнеса и информационных технологий (2018)
|
