Publication: Static methods for checking correctness of programs on relaxed memory systems
Files
Program
Computer Science and Engineering
KU-Authors
KU Authors
Co-Authors
Authors
Kuru, İsmail
Advisor
Taşıran, Serdar
Publication Date
2015
Language
English
Type
Thesis
Journal Title
Journal ISSN
Volume Title
Abstract
Description
xxii, 131 l. : ill. 30 cm.
Source:
Publisher:
Koç University
Keywords:
Subject
Computer software, Verification, Memory management (Computer science), Cache memory, Distributed shared memory, Software engineering, Logic design