Sciweavers

1860 search results - page 213 / 372
» tools 2009
Sort
View
PPOPP
2009
ACM
16 years 7 months ago
MPIWiz: subgroup reproducible replay of mpi applications
Message Passing Interface (MPI) is a widely used standard for managing coarse-grained concurrency on distributed computers. Debugging parallel MPI applications, however, has alway...
Ruini Xue, Xuezheng Liu, Ming Wu, Zhenyu Guo, Weng...
ISSTA
2009
ACM
16 years 1 months ago
HAMPI: a solver for string constraints
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter H...
CVPR
2009
IEEE
1070views Computer Vision» more  CVPR 2009»
17 years 25 days ago
Surface Feature Detection and Description with Applications to Mesh Matching
In this paper we revisit local feature detectors/descriptors developed for 2D images and extend them to the more general framework of scalar fields defined on 2D manifolds. We pro...
Andrei Zaharescu (INRIA Grenoble), Edmond Boyer (L...
ICCV
2009
IEEE
16 years 11 months ago
The Dimensionality of Scene Appearance
Low-rank approximation of image collections (e.g., via PCA) is a popular tool in many areas of computer vision. Yet, surprisingly little is known justifying the observation that...
Rahul Garg, Hao Du, Steven M. Seitz, Noah Snavely
ICDE
2009
IEEE
129views Database» more  ICDE 2009»
16 years 8 months ago
Computing Distance Histograms Efficiently in Scientific Databases
Abstract-- Particle simulation has become an important research tool in many scientific and engineering fields. Data generated by such simulations impose great challenges to databa...
Yi-Cheng Tu, Shaoping Chen, Sagar Pandit