C-DVM

swMATH2192MaRDI QIDQ14736FDOQ14736

Author name not available (Why is that?)

Cited In (4)

• Estimation of dynamical characteristics of a parallel program on a model
• The use of erratic behavior templates in debugging parallel programs by the automated validity verification method
• C-DVM -- a language for the development of portable parallel programs
• Debugging DVM programs

This page was built for software: C-DVM