Publications
Detailed Information
X-BMS: 플래시 메모리 기반 저장 시스템에서 정확성 검증이 가능한 불량 블록 관리 기법 : X-BMS: A Provably-Correct Bad Block Management Scheme for Flash Memory Based Storage Systems
Cited 0 time in
Web of Science
Cited 0 time in Scopus
- Authors
- Advisor
- 민상렬
- Major
- 컴퓨터공학과
- Issue Date
- 2011-02
- Publisher
- 서울대학교 대학원
- Keywords
- 플래시 메모리 ; 불량 블록 ; 오류 ; 신뢰성 ; 페이지 동작 모델 ; 무해석 블록 ; 망각 보장 연산 ; 정형 검증 ; UPPAAL ; flash memory ; bad block ; fault ; reliability ; page behavior model ; dont care block ; amnesiac operation ; formal verification
- Description
- 학위논문 (박사)-- 서울대학교 대학원 : 컴퓨터공학과, 2011.2. 민상렬.
- Language
- kor
- URI
- https://hdl.handle.net/10371/159212
http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000028930
- 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.