Sciweavers

11562 search results - page 215 / 2313
» Parallel Imaging Problem
Sort
View
CONCUR
2004
Springer
15 years 10 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
IPPS
2009
IEEE
16 years 29 days ago
Evaluating the use of GPUs in liver image segmentation and HMMER database searches
In this paper we present the results of parallelizing two life sciences applications, Markov random fieldsbased (MRF) liver segmentation and HMMER’s Viterbi algorithm, using GP...
John Paul Walters, Vidyananth Balu, Suryaprakash K...
SC
2000
ACM
15 years 10 months ago
Real-Time Biomechanical Simulation of Volumetric Brain Deformation for Image Guided Neurosurgery
We aimed to study the performance of a parallel implementation of an intraoperative nonrigid registration algorithm that accurately simulates the biomechanical properties of the b...
Simon K. Warfield, Matthieu Ferrant, Xavier Gallez...
CORR
2008
Springer
53views Education» more  CORR 2008»
15 years 6 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...
146
Voted
PPOPP
2010
ACM
16 years 3 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...