The following pages link to C-DVM (Q14736):
Displaying 4 items.
- Estimation of dynamical characteristics of a parallel program on a model (Q885854) (← links)
- The use of erratic behavior templates in debugging parallel programs by the automated validity verification method (Q1745866) (← links)
- C-DVM -- a language for the development of portable parallel programs (Q5930933) (← links)
- Debugging DVM programs (Q5951352) (← links)