Sciweavers

4356 search results - page 384 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
IPPS
1999
IEEE
15 years 11 months ago
Parallel Ant Colonies for Combinatorial Optimization Problems
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...
El-Ghazali Talbi, Olivier Roux, Cyril Fonlupt, Den...
HPCN
1999
Springer
15 years 11 months ago
A Parallel Implementation of the Block Preconditioned GCR Method
Abstract. The parallel implementation of GCR is addressed, with particular focus on communication costs associated with orthogonalization processes. This consideration brings up qu...
C. Vuik, Jason Frank
169
Voted
DATE
1998
IEEE
107views Hardware» more  DATE 1998»
15 years 11 months ago
A Flexible Message Passing Mechanism for Objective VHDL
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...
Wolfram Putzke-Röming, Martin Radetzki, Wolfg...
174
Voted
ATAL
1998
Springer
15 years 11 months ago
Task Decomposition and Dynamic Role Assignment for Real-Time Strategic Teamwork
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...
Peter Stone, Manuela M. Veloso
CAV
1993
Springer
108views Hardware» more  CAV 1993»
15 years 11 months ago
Computer-Assisted Simulation Proofs
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...
Jørgen F. Søgaard-Andersen, Stephen ...