Sciweavers

4889 search results - page 488 / 978
» A Refactoring Approach to Parallelism
Sort
View
PPOPP
2011
ACM
14 years 9 months ago
ScalaExtrap: trace-based communication extrapolation for spmd programs
Performance modeling for scientific applications is important for assessing potential application performance and systems procurement in high-performance computing (HPC). Recent ...
Xing Wu, Frank Mueller
SCHOLARPEDIA
2011
14 years 9 months ago
N-body simulations
Abstract. Scientists’ ability to generate and collect massive-scale datasets is increasing. As a result, constraints in data analysis capability rather than limitations in the av...
ICPR
2006
IEEE
16 years 8 months ago
Box-like Superquadric Recovery in Range Images by Fusing Region and Boundary Information
This work contributes to the robotic bin-picking problem, and more specifically to the problem of localizing piled box-like objects. We employ range imagery, and use box-like Supe...
Dimitrios I. Kosmopoulos, Dimitrios Katsoulas
192
Voted
MICCAI
2005
Springer
16 years 7 months ago
Particle Filters, a Quasi-Monte Carlo Solution for Segmentation of Coronaries
Abstract. In this paper we propose a Particle Filter-based approach for the segmentation of coronary arteries. To this end, successive planes of the vessel are modeled as unknown s...
Charles Florin, Nikos Paragios, James Williams
CONCUR
2007
Springer
16 years 1 months ago
A Marriage of Rely/Guarantee and Separation Logic
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
Viktor Vafeiadis, Matthew J. Parkinson