Sciweavers

267 search results - page 8 / 54
» Scalable Distributed Execution Environment for Large Data Vi...
Sort
View
FMCAD
2000
Springer
13 years 11 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
CLUSTER
2003
IEEE
14 years 26 days ago
A Cluster-Based Solution for High Performance Hmmpfam Using EARTH Execution Model
Hmmpfam is a widely used computation-intensive bioinformatics software for sequence classification. The contribution of this paper is the first largely scalable and robust clust...
Weirong Zhu, Yanwei Niu, Jizhu Lu, Chuan Shen, Gua...
ICDE
2006
IEEE
179views Database» more  ICDE 2006»
14 years 9 months ago
Distributed Evaluation of Continuous Equi-join Queries over Large Structured Overlay Networks
We study the problem of continuous relational query processing in Internet-scale overlay networks realized by distributed hash tables. We concentrate on the case of continuous two...
Stratos Idreos, Christos Tryfonopoulos, Manolis Ko...
SCCC
1998
IEEE
13 years 11 months ago
Parallel Generation of Inverted Files for Distributed Text Collections
We present a scalable algorithm for the parallel computation of inverted files for large text collections. The algorithm takes into account an environment of a high bandwidth netw...
Berthier A. Ribeiro-Neto, Joao Paulo Kitajima, Gon...
SAMT
2007
Springer
171views Multimedia» more  SAMT 2007»
14 years 1 months ago
SAPIR: Scalable and Distributed Image Searching
—In this paper we present a scalable and distributed system for image retrieval based on visual features and annotated text. This system is the core of the SAPIR project. Its arc...
Fabrizio Falchi, Mouna Kacimi, Yosi Mass, Fausto R...