4356 search results - page 384 / 872 » Communicating Transactions - (Extended Abstract) |
183
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Ant Colonies AC optimization take inspiration from the behavior of real ant colonies to solve optimization problems. This paper presents a parallel model for ant colonies...
129
click to vote
HPCN
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The parallel implementation of GCR is addressed, with particular focus on communication costs associated with orthogonalization processes. This consideration brings up qu...
169
Voted
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
When defining an object-oriented extension to VHDL, the necessary message passing is one of the most complex issues and has a large impact on the whole language. This paper identi...
174
Voted
ATAL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challenging research opportunities. In this paper, we intro...
183
click to vote
CAV
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...