3872 search results - page 506 / 775 » The Java memory model |
181
click to vote
DAWAK
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Data warehouse architectural choices and optimization techniques are critical to decision support query performance. To facilitate these choices, the performance of the d...
178
click to vote
ICLP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
171
click to vote
PATMOS
2005
Springer
16 years 18 hour ago
2005
Springer
Abstract. Modern embedded devices (e.g. PDAs, mobile phones) are now incorporating Java as a very popular implementation language in their designs. These new embedded systems inclu...
156
click to vote
PPDP
2005
Springer
16 years 16 hour ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
156
click to vote
SPIN
2005
Springer
16 years 11 hour ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...