Sciweavers

454 search results - page 46 / 91
» Models for Data-Flow Sequential Processes
Sort
View
ICGA
1997
89views Optimization» more  ICGA 1997»
15 years 2 months ago
A Wave Analysis of the Subset Sum Problem
This paper introduces the wave model, a novel approach on analyzing the behavior of GAs. Our aim is to give techniques that have practical relevance and provide tools for improvin...
Márk Jelasity
SPDP
1993
IEEE
15 years 5 months ago
How to Share an Object: A Fast Timing-Based Solution
We consider the problem of transforming a given sequential implementation of a data structure into a wait-free concurrent implementation. Given the code for different operations ...
Rajeev Alur, Gadi Taubenfeld
WSC
2000
15 years 2 months ago
Ranking and selection for steady-state simulation
We present and evaluate two ranking-and-selection procedures for use in steady-state simulation experiments when the goal is to find which among a finite number of alternative sys...
David Goldsman, William S. Marshall, Seong-Hee Kim...
TIP
2010
108views more  TIP 2010»
14 years 11 months ago
Image Reconstruction Using Particle Filters and Multiple Hypotheses Testing
Abstract—In this paper, we introduce a reconstruction framework that explicitly accounts for image geometry when defining the spatial interaction between pixels in the filterin...
Noura Azzabou, Nikos Paragios, Frederic Guichard
EON
2008
15 years 2 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Tiziana Margaria