MARC

 008220707s2021        us            s          00        eng
■001000016054065
■00520220210094107
■007cr
■020    ▼a9798471107472
■035    ▼a(MiAaPQ)AAI28712733
■040    ▼aMiAaPQ▼cMiAaPQ
■08204▼a004
■090    ▼a전자도서(박사논문)
■1001  ▼aMelissaris,  Themis.
■24510▼aTesting  and  Analyzing  Correctness  in  Concurrent  Systems:  from  Microprocessors  to  IoT  and  Distributed  Systems.▼h[electronic    resource]/▼cMelissaris,  Themis.
■260    ▼a[S.l.]▼bPrinceton  University.  ▼c2021
■260  1▼aAnn  Arbor▼bProQuest  Dissertations  &  Theses▼c2021
■300    ▼a1  online  resource(177  p.)
■500    ▼aSource:  Dissertations  Abstracts  International,  Volume:  83-04,  Section:  B.
■500    ▼aAdvisor:  Martonosi,  Margaret;Shaw,  Kelly.
■5021  ▼aThesis  (Ph.D.)--Princeton  University,  2021.
■506    ▼aThis  item  must  not  be  sold  to  any  third  party  vendors.
■590    ▼aSchool  code:  0181.
■650  4▼aComputer  science.
■650  4▼aComputer  engineering.
■650  4▼aWeb  studies.
■650  4▼aInformation  technology.
■653    ▼aConsistency  testing
■653    ▼aDistributed  Key-value  stores
■653    ▼aMemory  Consistency  Models
■653    ▼aSynchronization-free  testing
■653    ▼aTesting  Methodologies
■690    ▼a0984
■690    ▼a0464
■690    ▼a0489
■690    ▼a0646
■71020▼aPrinceton  University▼bComputer  Science.
■7730  ▼tDissertations  Abstracts  International▼g83-04B.
■773    ▼tDissertation  Abstract  International
■790    ▼a0181
■791    ▼aPh.D.
■792    ▼a2021
■793    ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T16054065
■980    ▼a202202▼f2022

미리보기

내보내기

chatGPT토론

Ai 추천 관련 도서