261 search results - page 1 / 53 » Can Flash Memory Help in Model Checking |
94
Voted
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
129
Voted
ISQED
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
136
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
162
Voted
DAMON
2008
Springer
15 years 4 months ago
2008
Springer
NAND flash memory is fast becoming popular as a component of large scale storage devices. For workloads requiring many random I/Os, flash devices can provide two orders of magnitu...
135
Voted
OSDI
2008
ACM
16 years 3 months ago
2008
ACM
Transactional flash (TxFlash) is a novel solid-state drive (SSD) that uses flash memory and exports a transactional interface (WriteAtomic) to the higher-level software. The copy-...