1074 search results - page 101 / 215 » An ASM-Characterization of a Class of Distributed Algorithms |
CCGRID
2005
IEEE
15 years 3 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...
ATAL
2005
Springer
15 years 3 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...
EUROPAR
2004
Springer
15 years 3 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...
IPSN
2003
Springer
15 years 3 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...
EUROPAR
2001
Springer
15 years 2 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...