3154 search results - page 127 / 631 » Computing Closed Skycubes |
138
Voted
ISMIS
2005
Springer
15 years 10 months ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
133
Voted
ANTS
2004
Springer
15 years 10 months ago
2004
Springer
The binary algorithm is a variant of the Euclidean algorithm that performs well in practice. We present a quasi-linear time recursive algorithm that computes the greatest common di...
114
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We study the expressiveness of finite message-passing automata with a priori unbounded FIFO channels and show them to capture exactly the class of MSC languages that are...
125
Voted
EURONGI
2004
Springer
15 years 10 months ago
2004
Springer
A family of message propagation protocols for highly mobile ad-hoc networks is defined, and is studied analytically and by simulation. The coverage of a message (the fraction of n...
159
Voted
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
We present hoc: a fast, scalable object repository providing programmers with a general storage module. hoc may be used to implement DSMs as well as distributed cache subsystems. h...