Browse
S-Space
College of Engineering/Engineering Practice School (공과대학/대학원)
Dept. of Computer Science and Engineering (컴퓨터공학부)
Theses (Ph.D. / Sc.D._컴퓨터공학부)
X-BMS: 플래시 메모리 기반 저장 시스템에서 정확성 검증이 가능한 불량 블록 관리 기법
X-BMS: A Provably-Correct Bad Block Management Scheme for Flash Memory Based Storage Systems
- 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
- http://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.
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.