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.accessioned | 2019-07-10T04:37:11Z | - |
dc.date.available | 2019-07-10T04:37:11Z | - |
dc.date.issued | 2011-02 | - |
dc.identifier.other | 000000028930 | - |
dc.identifier.uri | https://hdl.handle.net/10371/159212 | - |
dc.identifier.uri | http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000028930 | ko_KR |
dc.description | 학위논문 (박사)-- 서울대학교 대학원 : 컴퓨터공학과, 2011.2. 민상렬. | - |
dc.format.extent | vi, 139 장 | - |
dc.language.iso | kor | - |
dc.publisher | 서울대학교 대학원 | - |
dc.subject | 플래시 메모리 | - |
dc.subject | 불량 블록 | - |
dc.subject | 오류 | - |
dc.subject | 신뢰성 | - |
dc.subject | 페이지 동작 모델 | - |
dc.subject | 무해석 블록 | - |
dc.subject | 망각 보장 연산 | - |
dc.subject | 정형 검증 | - |
dc.subject | UPPAAL | - |
dc.subject | flash memory | - |
dc.subject | bad block | - |
dc.subject | fault | - |
dc.subject | reliability | - |
dc.subject | page behavior model | - |
dc.subject | dont care block | - |
dc.subject | amnesiac operation | - |
dc.subject | formal verification | - |
dc.title | X-BMS: 플래시 메모리 기반 저장 시스템에서 정확성 검증이 가능한 불량 블록 관리 기법 | - |
dc.title.alternative | X-BMS: A Provably-Correct Bad Block Management Scheme for Flash Memory Based Storage Systems | - |
dc.type | Thesis | - |
dc.type | Dissertation | - |
dc.description.degree | Doctor | - |
dc.contributor.affiliation | 컴퓨터공학과 | - |
dc.date.awarded | 2011-02 | - |
- Appears in Collections:
- Files in This Item:
- There are no files associated with this item.
Item View & Download Count
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.