649 search results - page 1 / 130 » Comparative Evaluation of PL languages |
MLG
2007
Springer
13 years 11 months ago
2007
Springer
We introduce a framework for an empirical evaluation of probabilistic logic languages and systems.
COMPUTE
2010
ACM
13 years 9 months ago
2010
ACM
In the literature, speculation-based protocols have been proposed to improve the performance of read-only transactions (ROTs) over the existing two-phase locking (2PL) and snapsho...
JIIS
2008
13 years 5 months ago
2008
Flash memory is becoming a major database storage in building embedded systems or portable devices because of its non-volatile, shock-resistant, power-economic nature, and fast acc...
APLAS
2007
ACM
2007
ACM
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
13 years 9 months ago
We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...
ERLANG
2008
ACM
13 years 7 months ago
2008
ACM
