Sciweavers

Share
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»
10 years 4 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
9 years 8 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
10 years 1 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»
9 years 9 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
EMSOFT
2009
Springer
10 years 4 months ago
Adding aggressive error correction to a high-performance compressing flash file system
While NAND flash memories have rapidly increased in both capacity and performance and are increasingly used as a storage device in many embedded systems, their reliability has de...
Yangwook Kang, Ethan L. Miller
books