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

Simple item page
dc.contributor.advisorTaşıran, Serdar
dc.contributor.kuauthorPhD Student, Kuru, İsmail
dc.contributor.programComputer Science and Engineering
dc.contributor.schoolcollegeinstituteGRADUATE SCHOOL OF SCIENCES AND ENGINEERING
dc.coverage.spatialİstanbul
dc.date.accessioned2024-11-09T22:07:05Z
dc.date.issued2015
dc.format.extentxxii, 131 l. : ill. 30 cm.
dc.identifier.urihttps://hdl.handle.net/20.500.14288/4892
dc.language.isoeng
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.titleStatic methods for checking correctness of programs on relaxed memory systems
dc.typeThesis
dspace.entity.typePublication
local.contributor.kuauthorKuru, İsmail
relation.isAdvisorOfThesisf8f73136-3271-4bac-844e-cc00e50a7e68
relation.isAdvisorOfThesis.latestForDiscoveryf8f73136-3271-4bac-844e-cc00e50a7e68
relation.isParentOrgUnitOfPublication434c9663-2b11-4e66-9399-c863e2ebae43
relation.isParentOrgUnitOfPublication.latestForDiscovery434c9663-2b11-4e66-9399-c863e2ebae43

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