7452 search results - page 1437 / 1491 » A Semantics for Multiprocessor Systems |
HT
2003
ACM
14 years 4 months ago
2003
ACM
Despite the multitude of existing interfaces for annotation, little is known about their influence on the created annotations. In this paper, first findings of a comparative video...
PLDI
2003
ACM
14 years 4 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
BIRTHDAY
2003
Springer
14 years 4 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
WEBDB
2010
Springer
14 years 3 months ago
2010
Springer
The MapReduce distributed programming framework is very popular, but currently lacks the optimization techniques that have been standard with relational database systems for many ...
SIGMOD
2010
ACM
14 years 3 months ago
2010
ACM
Real-world databases often contain syntactic and semantic errors, in spite of integrity constraints and other safety measures incorporated into modern DBMSs. We present ERACER, an...