Publications

Detailed Information

X-BMS: 플래시 메모리 기반 저장 시스템에서 정확성 검증이 가능한 불량 블록 관리 기법 : X-BMS: A Provably-Correct Bad Block Management Scheme for Flash Memory Based Storage Systems

DC Field Value Language
dc.contributor.advisor민상렬-
dc.contributor.author윤지혁-
dc.date.accessioned2019-07-10T04:37:11Z-
dc.date.available2019-07-10T04:37:11Z-
dc.date.issued2011-02-
dc.identifier.other000000028930-
dc.identifier.urihttps://hdl.handle.net/10371/159212-
dc.identifier.urihttp://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000028930ko_KR
dc.description학위논문 (박사)-- 서울대학교 대학원 : 컴퓨터공학과, 2011.2. 민상렬.-
dc.format.extentvi, 139 장-
dc.language.isokor-
dc.publisher서울대학교 대학원-
dc.subject플래시 메모리-
dc.subject불량 블록-
dc.subject오류-
dc.subject신뢰성-
dc.subject페이지 동작 모델-
dc.subject무해석 블록-
dc.subject망각 보장 연산-
dc.subject정형 검증-
dc.subjectUPPAAL-
dc.subjectflash memory-
dc.subjectbad block-
dc.subjectfault-
dc.subjectreliability-
dc.subjectpage behavior model-
dc.subjectdont care block-
dc.subjectamnesiac operation-
dc.subjectformal verification-
dc.titleX-BMS: 플래시 메모리 기반 저장 시스템에서 정확성 검증이 가능한 불량 블록 관리 기법-
dc.title.alternativeX-BMS: A Provably-Correct Bad Block Management Scheme for Flash Memory Based Storage Systems-
dc.typeThesis-
dc.typeDissertation-
dc.description.degreeDoctor-
dc.contributor.affiliation컴퓨터공학과-
dc.date.awarded2011-02-
Appears in Collections:
Files in This Item:
There are no files associated with this item.

Altmetrics

Item View & Download Count

  • mendeley

Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.

Share