649 search results - page 1 / 130 » Comparative Evaluation of PL languages |
MLG
2007
Springer
14 years 5 months ago
2007
Springer
We introduce a framework for an empirical evaluation of probabilistic logic languages and systems.
COMPUTE
2010
ACM
14 years 3 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 10 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
14 years 2 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
14 years 18 days ago
2008
ACM
