Now showing items 1-1 of 1

    • Методы отладки и верификации функционально-потоковых параллельных программ 

      Удалова, Ю.В.; Udalova, Julia V.; Легалов, А.И.; Legalov, Alexander I.; Сиротинина, Н.Ю.; Sirotinina, Natalie U. (Сибирский федеральный университет. Siberian Federal University., 2011-04)
      В статье предлагаются методы отладки функционально-потоковых параллельных программ, обеспечивающие гибкий анализ параллельных процессов и их визуальное восприятие с различных позиций. Рассмотрен подход к их формальной ...