11112 search results - page 1599 / 2223 » Computing Stuttering Simulations |
193
click to vote
GC
2004
Springer
16 years 15 days ago
2004
Springer
This paper presents a locality-based dissemination graph algorithm for scalable reliable broadcast. Our algorithm scales in terms of both network and memory usage. Processes only h...
198
click to vote
GECCO
2004
Springer
16 years 15 days ago
2004
Springer
Spiking neural networks are computationally more powerful than conventional artificial neural networks. Although this fact should make them especially desirable for use in evoluti...
180
click to vote
GECCO
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. In many real-world applications of evolutionary computation, it is essential to reduce the number of fitness evaluations. To this end, computationally efficient models c...
182
click to vote
GG
2004
Springer
16 years 15 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
198
click to vote
GI
2004
Springer
16 years 15 days ago
2004
Springer
Abstract: Among other things, Peer-to-Peer (P2P) systems are very useful for managing large amounts of widely distributed data. Distributed Hash Tables (DHT) offer a highly scalabl...