Sciweavers

9 search results - page 1 / 2
» Concolic Testing of the Multi-sector Read Operation for Flas...
Sort
View
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
13 years 11 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
ICTAC
2010
Springer
13 years 2 months ago
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
Yunho Kim, Moonzoo Kim, Nam Dang
HOTOS
2009
IEEE
13 years 8 months ago
FlashVM: Revisiting the Virtual Memory Hierarchy
Flash memory is the largest change to storage in recent history. To date, most research has focused on integrating flash as persistent storage in file systems, with little emphasi...
Mohit Saxena, Michael M. Swift
JCIT
2007
133views more  JCIT 2007»
13 years 4 months ago
Reused Page Management for Log-Structured Flash Storage Systems
Recently, a flash memory has become a major database storage in building portable information devices because of its non-volatile, shock-resistant, power-economic nature, and fast...
Changbae Roh, Siwoo Byun
FAST
2010
13 years 5 months ago
DFS: A File System for Virtualized Flash Storage
This paper presents the design, implementation and evaluation of Direct File System (DFS) for virtualized flash storage. of using traditional layers of abstraction, our layers of ...
William K. Josephson, Lars Ailo Bongo, David Flynn...