5128 search results - page 386 / 1026 » When Abstraction Fails |
167
click to vote
VEE
2010
ACM
16 years 2 months ago
2010
ACM
Deterministic record-replay has many useful applications, ranging from fault tolerance and forensics to reproducing and diagnosing bugs. When choosing a record-replay solution, th...
177
click to vote
TEI
2009
ACM
16 years 2 months ago
2009
ACM
Musical harmony is considered to be one of the most and technically difficult parts of music. It is y taught formally via abstract, domain-specific concepts, principles, rules and...
233
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
164
click to vote
IAT
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...
207
click to vote
ERSHOV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...