4037 search results - page 385 / 808 » Routing without ordering |
183
click to vote
FROCOS
2007
Springer
16 years 29 days 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...
205
click to vote
HIPC
2007
Springer
16 years 29 days 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...
203
click to vote
LFCS
2007
Springer
16 years 29 days 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...
147
click to vote
MCS
2007
Springer
16 years 28 days 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...
167
click to vote
PCM
2007
Springer
16 years 28 days 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...