4075 search results - page 186 / 815 » Modeling Distributed Algorithm Using B |
116
click to vote
ESCIENCE
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract. We study the implementation on grid systems of an efficient algorithm for demanding global optimization problems. Specifically, we consider problems arising in the geneti...
115
Voted
ICIP
2004
IEEE
16 years 2 months ago
2004
IEEE
This paper presents a novel shot segmentation algorithm on the H.264/AVC video, which operates in the compressed domain. First, the algorithm exploits the intra prediction mode hi...
98
Voted
SAC
1998
ACM
15 years 4 months ago
1998
ACM
The fast messy genetic algorithm (fmGA) belongs to a class of algorithms inspired by the principles of evolution, known appropriately as "evolutionary algorithms" (EAs)....
121
click to vote
ISPA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the l...
112
click to vote
ENTCS
2008
15 years 21 days ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...