1074 search results - page 101 / 215 » An ASM-Characterization of a Class of Distributed Algorithms |
159
click to vote
CCGRID
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper analyses different protocols of session guarantees. Session guarantees (also known as client-centric consistency models) are one of the class of consistency models of r...
160
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
160
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Mixed-parallelism, the combination of data- and taskparallelism, is a powerful way of increasing the scalability of entire classes of parallel applications on platforms c...
168
click to vote
IPSN
2003
Springer
15 years 11 months ago
2003
Springer
Sensor networks have emerged as a fundamentally new tool for monitoring spatially distributed phenomena. This paper investigates a strategy by which sensor nodes detect and estima...
140
click to vote
EUROPAR
2001
Springer
15 years 10 months ago
2001
Springer
For the solution of the SID (Symmetric InDefinite) linear systems, the use of the GLS (Generalized Least-Squares) polynomial preconditioner can improve the execution efficiency of...