Sciweavers

261 search results - page 53 / 53
» Detecting Temporal Logic Predicates on Distributed Computati...
Sort
View
DEBU
2010
152views more  DEBU 2010»
13 years 2 months ago
Implementing an Append-Only Interface for Semiconductor Storage
Solid-state disks are currently based on NAND flash and expose a standard disk interface. To accommodate limitations of the medium, solid-state disk implementations avoid rewritin...
Colin W. Reid, Philip A. Bernstein