Explore aspects that impact high performance computing. Discuss goal-oriented programming" that derives programs hand-in-hand with their proof of correctness. Examine techniques for mapping the appropriate algorithms to computer architectures so that they can attain high performance. Computer Science 333P and 378 (Topic: Prog Correctness/Performnc) may not both be counted. Three lecture hours a week for one semester.