https://libeldoc.bsuir.by/handle/123456789/59661| Title: | Отладка параллельных программ решения логико-комбинаторных задач |
| Other Titles: | Debugging parallel programs for solving logicalcombinatorial problems |
| Authors: | Черемисинов, Д. И. Черемисинова, Л. Д. |
| Keywords: | материалы конференций;параллельные программы;кластеры;MPI;отладка программ;верификация |
| Issue Date: | 2025 |
| Publisher: | БГУИР |
| Citation: | Черемисинов, Д. И. Отладка параллельных программ решения логико-комбинаторных задач = Debugging parallel programs for solving logicalcombinatorial problems / Д. И. Черемисинов, Л. Д. Черемисинова // Big Data и анализ высокого уровня = Big Data and Advanced Analytics : сборник научных статей XI Международной научно-практической конференции, Республика Беларусь, Минск, 23–24 апреля 2025 года / Белорусский государственный университет информатики и радиоэлектроники [и др.] ; редкол.: В. А. Богуш [и др.]. – Минск, 2025. – С. 208–214. |
| Abstract: | Рассматриваются проблемы, возникающие при разработке и отладке параллельных программ для решения логико-комбинаторных задач. Обсуждаются особенности методов разработки и отладки таких параллельных программ, а также методы предотвращения ошибок при их разработке. Показано, что алгоритмы решения логико-комбинаторных задач трудно эффективно распараллелить полностью автоматически традиционными методами, а использование известных методов отладки последовательных программ не позволяет обеспечить качественную верификацию таких параллельных программ. |
| Alternative abstract: | 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. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/59661 |
| Appears in Collections: | BIG DATA and Advanced Analytics = BIG DATA и анализ высокого уровня : сборник научных статей (2025) |
| File | Description | Size | Format | |
|---|---|---|---|---|
| CHeremisinov_Otladka.pdf | 334.12 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.