Sciweavers

5562 search results - page 220 / 1113
» Implementing Parallel Cell-DEVS
Sort
View
128
Voted
JSAT
2008
85views more  JSAT 2008»
15 years 3 months ago
Parallel SAT Solving using Bit-level Operations
We show how to exploit the 32/64 bit architecture of modern computers to accelerate some of the algorithms used in satisfiability solving by modifying assignments to variables in ...
Marijn Heule, Hans van Maaren
IJPP
2007
91views more  IJPP 2007»
15 years 3 months ago
A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays
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, Zhenjiang Hu, Kazuhiko Kakehi, Masato...
JCIT
2007
100views more  JCIT 2007»
15 years 3 months ago
Frame Sliced Parallel Signature Files for Fast Colored Image Retrieval
The paper presents a novel approach for searching a very large image database employing frame sliced parallel signature file. Signature files have been proposed and used for retri...
Shashikala Tapaswi
EUROPAR
2009
Springer
15 years 1 months ago
Parallel Variable-Length Encoding on GPGPUs
Variable-Length Encoding (VLE) is a process of reducing input data size by replacing fixed-length data words with codewords of shorter length. As VLE is one of the main building bl...
Ana Balevic
MICCAI
2004
Springer
16 years 4 months ago
Parallel Optimization Approaches for Medical Image Registration
Optimization of a similarity metric is an essential component in most medical image registration approaches based on image intensities. The increasing availability of parallel comp...
Mark P. Wachowiak, Terry M. Peters