29152 search results - page 423 / 5831 » A Model of Computation for MapReduce |
213
click to vote
CACM
2006
15 years 7 months ago
2006
ional thinking is using abstraction and decomposition when attacking a large complex task or designing a large complex system. It is separation of concerns. It is choosing an appro...
219
click to vote
CCR
2006
15 years 7 months ago
2006
Abstract-- The need for efficient computation of approximate global state lies at the heart of a wide range of problems in distributed systems. Examples include routing in the Inte...
213
click to vote
ENTCS
2006
15 years 7 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
203
click to vote
IJIIDS
2008
15 years 7 months ago
2008
: Global Navigation Satellite Systems (GNSS) are often used to localise a receiver with respect to a given map. This association problem, also known as map-matching, is usually add...
188
click to vote
IJHPCN
2006
15 years 7 months ago
2006
: This paper presents several ideas pertaining to desirable properties associated with protocols for moving large amounts of data over a grid of high performance computers. The pro...