1121 search results - page 225 / 225 » Building Formal Requirements Models for Reliable Software |
ASPLOS
2011
ACM
13 years 2 months ago
2011
ACM
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 ...