Place of publication: United States, Ann Arbor; ISBN=978-0-355-53324-8
یادداشتهای مربوط به پایان نامه ها
جزئيات پايان نامه و نوع درجه آن
Ph.D.
نظم درجات
Computer Science
کسي که مدرک را اعطا کرده
The University of Texas at San Antonio
امتياز متن
2017
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
With the ubiquitous availability of parallel architectures, the burden falls on programmers' shoulders to write correct parallel programs. One of the major issues that complicates this task is the intricacies involved with the underlying memory consistency models. Therefore, it is important to innovate with techniques and approaches to tackle Memory Model Bugs. This thesis aims at making parallel programming easier by detecting memory model bugs both in multi-core and many-core systems.