6939 search results - page 161 / 1388 » Algorithm Engineering for Parallel Computation |
AMAST
2006
Springer
14 years 1 days ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
FGCS
2006
13 years 8 months ago
2006
We present a new algorithm for computing the solution of large Markov chain models whose generators can be represented in the form of a generalized tensor algebra, such as network...
PIMRC
2010
IEEE
13 years 6 months ago
2010
IEEE
The first stage of the signal processing chain in a Global Positioning System (GPS) receiver is the acquisition, which provides for a desired satellite coarse code phase and Dopple...
PPOPP
2005
ACM
14 years 1 months ago
2005
ACM
The Tensor Contraction Engine (TCE) is a domain-specific compiler for implementing complex tensor contraction expressions arising in quantum chemistry applications modeling elect...
PDP
2002
IEEE
14 years 1 months ago
2002
IEEE
A parallel simulated annealing algorithm to solve the vehicle routing problem with time windows is presented. The objective is to find the best possible solutions to some wellkno...