Sciweavers

1121 search results - page 225 / 225
» Building Formal Requirements Models for Reliable Software
Sort
View
ASPLOS
2011
ACM
13 years 1 months ago
NV-Heaps: making persistent objects fast and safe with next-generation, non-volatile memories
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
Joel Coburn, Adrian M. Caulfield, Ameen Akel, Laur...