Sciweavers

2883 search results - page 342 / 577
» Algorithms for merged indexes
Sort
View
VLSI
2010
Springer
13 years 4 months ago
A design workflow for dynamically reconfigurable multi-FPGA systems
Multi-FPGA systems (MFS's) represent a promising technology for various applications, such as the implementation of supercomputers and parallel and computational intensive emu...
Alessandro Panella, Marco D. Santambrogio, Frances...
DASFAA
2011
IEEE
311views Database» more  DASFAA 2011»
13 years 1 months ago
3D Indoor Route Planning for Arbitrary-Shape Objects
Route planning, which is used to calculate feasible routes in a given environment, is one of the key issues in navigation systems. According to different constraints in different...
Wenjie Yuan, Markus Schneider
ICASSP
2011
IEEE
13 years 1 months ago
3D image geo-registration using vision-based modeling
Image geo-registration is the process of relating a photograph and its pose to referenced world coordinates. The application is relevant, especially to the social networking, phot...
Karl Ni, Zachary Sun, Nadya Bliss
SSDBM
2011
IEEE
239views Database» more  SSDBM 2011»
13 years 1 months ago
Recipes for Baking Black Forest Databases - Building and Querying Black Hole Merger Trees from Cosmological Simulations
Large-scale N-body simulations play an important role in advancing our understanding of the formation and evolution of large structures in the universe. These computations require ...
Julio López, Colin Degraf, Tiziana DiMatteo...
EUROSYS
2011
ACM
13 years 1 months ago
Symbolic crosschecking of floating-point and SIMD code
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
Peter Collingbourne, Cristian Cadar, Paul H. J. Ke...