| DC Field | Value | Language |
|---|
| dc.contributor.author | Черемисинов, Д. И. | - |
| dc.contributor.author | Черемисинова, Л. Д. | - |
| dc.coverage.spatial | Минск | en_US |
| dc.date.accessioned | 2025-05-02T06:54:42Z | - |
| dc.date.available | 2025-05-02T06:54:42Z | - |
| dc.date.issued | 2025 | - |
| dc.identifier.citation | Черемисинов, Д. И. Отладка параллельных программ решения логико-комбинаторных задач = Debugging parallel programs for solving logicalcombinatorial problems / Д. И. Черемисинов, Л. Д. Черемисинова // Big Data и анализ высокого уровня = Big Data and Advanced Analytics : сборник научных статей XI Международной научно-практической конференции, Республика Беларусь, Минск, 23–24 апреля 2025 года / Белорусский государственный университет информатики и радиоэлектроники [и др.] ; редкол.: В. А. Богуш [и др.]. – Минск, 2025. – С. 208–214. | en_US |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/59661 | - |
| dc.description.abstract | Рассматриваются проблемы, возникающие при разработке и отладке параллельных
программ для решения логико-комбинаторных задач. Обсуждаются особенности методов разработки и
отладки таких параллельных программ, а также методы предотвращения ошибок при их разработке.
Показано, что алгоритмы решения логико-комбинаторных задач трудно эффективно распараллелить
полностью автоматически традиционными методами, а использование известных методов отладки
последовательных программ не позволяет обеспечить качественную верификацию таких параллельных
программ. | en_US |
| dc.language.iso | ru | en_US |
| dc.publisher | БГУИР | en_US |
| dc.subject | материалы конференций | en_US |
| dc.subject | параллельные программы | en_US |
| dc.subject | кластеры | en_US |
| dc.subject | MPI | en_US |
| dc.subject | отладка программ | en_US |
| dc.subject | верификация | en_US |
| dc.title | Отладка параллельных программ решения логико-комбинаторных задач | en_US |
| dc.title.alternative | Debugging parallel programs for solving logicalcombinatorial problems | en_US |
| dc.type | Article | en_US |
| local.description.annotation | The problems arising in the development and debugging of parallel programs for solving logicalcombinatorial
problems are considered. The peculiarities of methods for developing and debugging such parallel
programs, as well as methods for preventing errors during their development, are discussed. It is shown that algorithms
for solving logical-combinatorial problems are difficult to effectively parallelize completely automatically using
traditional methods, and the use of known methods for debugging sequential programs does not allow for high-quality
verification of such parallel programs. | en_US |
| Appears in Collections: | BIG DATA and Advanced Analytics = BIG DATA и анализ высокого уровня : сборник научных статей (2025)
|
