4400 search results - page 283 / 880 » A proposal for parallel self-adjusting computation |
169
click to vote
ICDCS
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper presents a token-based K-mutual exchsion algorithm. The algorithm uses K tokens and a dynamic forest structure for each token. This structure is used to forward token r...
153
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
178
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
191
click to vote
DCOSS
2008
Springer
15 years 8 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...
183
click to vote
AIA
2007
15 years 8 months ago
2007
This paper presents a parallel hardware implementation of a well-known navigation control method on reconfigurable digital circuits. Trajectories are estimated after an iterated ...