simulation of multiple-processor systems