Sciweavers

2098 search results - page 31 / 420
» The Persistent Abstract Machine
Sort
View
60
Voted
JFP
1998
62views more  JFP 1998»
15 years 1 months ago
Classical Logic, Continuation Semantics and Abstract Machines
Thomas Streicher, Bernhard Reus
TOPLAS
1998
113views more  TOPLAS 1998»
15 years 1 months ago
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
Konstantinos F. Sagonas, Terrance Swift
CMSB
2010
Springer
14 years 9 months ago
A generic abstract machine for stochastic process calculi
Loïc Paulevé, Simon Youssef, Matthew R...
VLDB
2001
ACM
123views Database» more  VLDB 2001»
15 years 6 months ago
User-Optimizer Communication using Abstract Plans in Sybase ASE
imizer Communication using Abstract Plans in Sybase ASE Query optimizers are error prone, due to both their nature and the increased search space that modern query processing requ...
Mihnea Andrei, Patrick Valduriez
ASPLOS
2011
ACM
14 years 5 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...