Module Descriptor School of Computer Science and Statistics
|Module Name||Advanced Computer Architecture|
|Module Short Title||n/a|
|Semester Taught||Semester 1|
Lecture hours 27
|Module Personnel||Dr Jeremy Jones|
Students who successfully complete this module should be able to:
To provide students with theoretical and practical experience of concurrent programming with and without locks.
|Recommended Reading List|
The Art of Multiprocessor Programming, Maurice Herlihy and Nir Shavit
The Spin Model Checker: Primer and Reference Manual, Gerald J. Holzmann
Principles of the Spin Model Checker, Mordechai Ben-Ari
Annual assessment Exam (2 hrs): 80% typically answer 3 out of 4 questions Coursework: 20% Supplemental assessment is by examination ONLY (100%). Students repeating ‘off-books’ (OBA) are also assessed by examination ONLY (100%) in all examination sessions.
|Academic Year of Data||2018/19|