8978 search results - page 1423 / 1796 » Parallel Genetic Algorithms |
188
click to vote
LICS
1990
IEEE
15 years 11 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
184
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
Thanks to their high performance and programmability, the latest graphics cards can now be used for scientific purpose. They are indeed very efficient parallel Single Instruction ...
191
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...
220
click to vote
ENC
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we consider parallel tasks scheduling problems for hierarchical decentralized systems that consist of homogeneous computational resources such as clusters, PCs and ...
157
click to vote
FPGA
1995
ACM
15 years 10 months ago
1995
ACM
One of the critical issues for multi-FPGA systems is developing software tools for automatically mapping circuits. In this paper we consider one step in this process, partitioning...