4037 search results - page 385 / 808 » Routing without ordering |
134
Voted
FROCOS
2007
Springer
15 years 9 months ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
155
click to vote
HIPC
2007
Springer
15 years 9 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...
144
click to vote
LFCS
2007
Springer
15 years 9 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...
105
click to vote
MCS
2007
Springer
15 years 9 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...
119
click to vote
PCM
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents a novel frame-layer rate control technique that adaptively determines the frame complexity for bit allocation in order to satisfy the target bit-rate constraint...