Publication:
Static methods for checking correctness of programs on relaxed memory systems

Simple item page
dc.contributor.advisorTaşıran, Serdar
dc.contributor.authorKuru, İsmail
dc.contributor.instituteKoç University Graduate School of Sciences and Engineering
dc.contributor.programComputer Science and Engineering
dc.date.accessioned2024-11-09T22:07:05Z
dc.date.issued2015
dc.descriptionxxii, 131 l. : ill. 30 cm.
dc.identifier.urihttps://hdl.handle.net/20.500.14288/4892
dc.languageEnglish
dc.publisherKoç University
dc.relation.collectionKU Theses and Dissertations
dc.rightsrestrictedAccess
dc.rights.copyrightsnote© All Rights Reserved. Accessible to Koç University Affiliated Users Only!
dc.subjectComputer software, Verification
dc.subjectMemory management (Computer science)
dc.subjectCache memory
dc.subjectDistributed shared memory
dc.subjectSoftware engineering
dc.subjectLogic design
dc.thesis.degreeMaster's Degree
dc.thesis.grantorİstanbul
dc.titleStatic methods for checking correctness of programs on relaxed memory systems
dc.typeThesis
dspace.entity.typePublication
relation.isAdvisorOfThesisf8f73136-3271-4bac-844e-cc00e50a7e68
relation.isAdvisorOfThesis.latestForDiscoveryf8f73136-3271-4bac-844e-cc00e50a7e68

Files

Original bundle

Now showing 1 - 1 of 1
Placeholder
Name:
20683.pdf
Size:
883.07 KB
Format:
Adobe Portable Document Format
Download

Collections

Theses & Dissertations