2473 search results - page 247 / 495 » The Logic of Communication Graphs |
173
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
We are concerned with the use of Mobile Agents for information retrieval. A multi-agent system is considered; a number of agents are involved in a collective effort to retrieve di...
202
click to vote
FMCO
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
143
click to vote
SIGMETRICS
2004
ACM
16 years 3 days ago
2004
ACM
Balancing peer-to-peer graphs, including zone-size distributions, has recently become an important topic of peer-topeer (P2P) research [1], [2], [6], [19], [31], [36]. To bring an...
169
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components a...
174
Voted
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. A new approach to parallelizing harmonic balance simulation is presented. The technique leverages circuit substructure to expose potential parallelism in the form of a di...