C-DVM

MaRDI QIDQ14736swMATHFDO

Official website http://www.keldysh.ru/dvm/dvmhtm1107/eng/index.html

Cited in

(7)

• 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
• Guard
• MARMOT
• C-DVM -- a language for the development of portable parallel programs
• TotalView
• Debugging DVM programs

This page was built for software: C-DVM