2693 search results - page 139 / 539 » French Order Without Order |
208
click to vote
HIPC
2007
Springer
16 years 1 months ago
2007
Springer
Traditional directory-based cache coherence protocols suffer from long-latency cache misses as a consequence of the indirection introduced by the home node, which must be accessed...
208
click to vote
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
148
click to vote
MCS
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we present a new method for fusing classifiers output for problems with a number of classes M > 2. We extend the well-known Behavior Knowledge Space method with a...
174
click to vote
SARA
2007
Springer
16 years 1 months ago
2007
Springer
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
156
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...