Sciweavers

987 search results - page 149 / 198
» Asynchronous parallel search by the parallel genetic algorit...
Sort
View
EUROPAR
2008
Springer
13 years 11 months ago
Scheduling Intersection Queries in Term Partitioned Inverted Files
Abstract. This paper proposes and presents a comparison of scheduling algorithms applied to the context of load balancing the query traffic on distributed inverted files. We put em...
Mauricio Marín, Carlos Gomez-Pantoja, Senen...
DELOS
2000
13 years 10 months ago
SMP and Cluster Architectures for Retrieval of Images in Digital Libraries
: This paper presents an overview over parallel architectures for the efficient realisation of digital libraries by considering image databases as an example. The state of the art ...
Odej Kao
ICPPW
2009
IEEE
13 years 6 months ago
Global Multiprocessor Real-Time Scheduling as a Constraint Satisfaction Problem
In this paper we address the problem of global real-time periodic scheduling on heterogeneous multiprocessor platforms. We give a solution based on a constraint satisfaction proble...
Liliana Cucu-Grosjean, Olivier Buffet
PPOPP
2006
ACM
14 years 3 months ago
Exploiting distributed version concurrency in a transactional memory cluster
We investigate a transactional memory runtime system providing scaling and strong consistency for generic C++ and SQL applications on commodity clusters. We introduce a novel page...
Kaloian Manassiev, Madalin Mihailescu, Cristiana A...
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
14 years 2 months ago
Cluster-Based LTL Model Checking of Large Systems
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
Jiri Barnat, Lubos Brim, Ivana Cerná