2432 search results - page 189 / 487 » Using simple abstraction to reinvent computing for paralleli... |
155
Voted
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
The coordination language Paradigm allows for a flexible and orthogonal modeling of interprocess relationships at the architectural level. It is shown how dynamic system adaptation...
146
click to vote
DCOSS
2008
Springer
15 years 6 months ago
2008
Springer
We analyze a propagation delay tolerant ALOHA (PDT-ALOHA) protocol proposed recently for underwater networks [16]. In this scheme, guard-bands are introduced at each slot to reduc...
141
click to vote
PODC
2010
ACM
15 years 2 months ago
2010
ACM
We present and analyze simple distributed contention resolution protocols for wireless networks. In our setting, one is given n pairs of senders and receivers located in a metric ...
147
click to vote
EGC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Grid technology attempts to support flexible, secure, coordinated information sharing among dynamic collections of individuals, institutions, and resources. The use of G...
140
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...