6939 search results - page 566 / 1388 » Algorithm Engineering for Parallel Computation |
171
click to vote
BMVC
2000
15 years 7 months ago
2000
In this paper, we present results of a comparative study on disparity analysis of convergent stereo systems. If the epipolar geometry is known, disparity analysis can be performed...
197
click to vote
IPPS
2007
IEEE
16 years 17 days ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
188
Voted
PACT
2007
Springer
16 years 12 days ago
2007
Springer
We consider BioAmbients, a calculus for specifying biological entities and for simulating and analysing their behaviour. We extend BioAmbients to take quantitative information into...
140
click to vote
IPPS
2006
IEEE
16 years 8 days ago
2006
IEEE
The RTSJ memory model propose a mechanism based on a scope three containing all region-stacks in the system and a reference-counter collector. In order to avoid reference cycles a...
119
click to vote
PPSN
1998
Springer
15 years 10 months ago
1998
Springer
This paper examines several niching and elitist models applied to Multiple-Objective Genetic Algorithms (MOGAs). Test cases consider a simple problem as well as multidisciplinary d...