Sciweavers

4759 search results - page 126 / 952
» Parallelizing the Phylogeny Problem
Sort
View
CONCUR
2004
Springer
13 years 11 months ago
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
Antonín Kucera, Ph. Schnoebelen
CORR
2008
Springer
53views Education» more  CORR 2008»
13 years 8 months ago
Kinetostatic Performance of a Planar Parallel Mechanism with Variable Actuation
This paper deals with a new planar parallel mechanism with variable actuation and its kinetostatic performance. A drawback of parallel mechanisms is the non homogeneity of kinetost...
Novona Rakotomanga, Damien Chablat, Stéphan...
PPOPP
2010
ACM
14 years 5 months ago
Continuous speculative program parallelization in software
This paper addresses the problem of extracting coarse-grained parallelism from large sequential code. It builds on BOP, a system for software speculative parallelization. BOP lets...
Chao Zhang, Chen Ding, Xiaoming Gu, Kirk Kelsey, T...
AMTA
1998
Springer
14 years 8 days ago
Parallel Strands: A Preliminary Investigation into Mining the Web for Bilingual Text
Abstract. Parallel corpora are a valuable resource for machine translation, but at present their availability and utility is limited by genreand domain-speci city, licensing restri...
Philip Resnik
EUROPAR
2006
Springer
13 years 11 months ago
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Mas...