| DC Field | Value | Language |
|---|
| dc.contributor.author | Логинова, И. П. | - |
| dc.coverage.spatial | Минск | - |
| dc.date.accessioned | 2022-12-07T06:57:37Z | - |
| dc.date.available | 2022-12-07T06:57:37Z | - |
| dc.date.issued | 2022 | - |
| dc.identifier.citation | Логинова, И. П. Формальная верификация результатов выполнения параллельных программ логической оптимизации / И. П. Логвинова // Информационные технологии и системы 2022 (ИТС 2022) = Information Technologies and Systems 2022 (ITS 2022) : материалы Международной научной конференции, Минск, 23 ноября 2022 / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин [и др.]. – Минск : БГУИР, 2022. – С. 85–86.. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/49305 | - |
| dc.description.abstract | Предложена методика проверки корректной работы параллельных программ логической оптимизации на базе программного фреймворка, предоставляющего удобный инструментарий для проведения экспериментальных исследований, сравнения эффективности алгоритмов и формальной верификации. Фреймворк интегрирован с системой логической оптимизации функционально-структурных описаний дискретных устройств FLC-2. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | базы данных | ru_RU |
| dc.subject | программирование | ru_RU |
| dc.subject | дискретные устройства | ru_RU |
| dc.subject | САПР | ru_RU |
| dc.subject | СБИС | ru_RU |
| dc.title | Формальная верификация результатов выполнения параллельных программ логической оптимизации | ru_RU |
| dc.type | Article | ru_RU |
| Appears in Collections: | ИТС 2022
|
