6.5 Reliable Multi-Processor Computing Systems Design