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

Дата публикации в реестре: 2025-05-27T12:48:06Z

Аннотация:

Рассматриваются проблемы, возникающие при разработке и отладке параллельных программ для решения логико-комбинаторных задач. Обсуждаются особенности методов разработки и отладки таких параллельных программ, а также методы предотвращения ошибок при их разработке. Показано, что алгоритмы решения логико-комбинаторных задач трудно эффективно распараллелить полностью автоматически традиционными методами, а использование известных методов отладки последовательных программ не позволяет обеспечить качественную верификацию таких параллельных программ.

Тип: Article