Sciweavers

28 search results - page 3 / 6
» Implementation of message-passing algorithms for the acquisi...
Sort
View
PIMRC
2010
IEEE
13 years 3 months ago
On the detection probability of parallel code phase search algorithms in GPS receivers
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...
Bernhard Geiger, Michael Soudan, Christian Vogel
SPAA
1993
ACM
13 years 10 months ago
Supporting Sets of Arbitrary Connections on iWarp Through Communication Context Switches
In this paper we introduce the ConSet communication model for distributed memory parallel computers. The communication needs of an application program can be satisfied by some ar...
Anja Feldmann, Thomas Stricker, Thomas E. Warfel
PPOPP
2009
ACM
14 years 6 months ago
Formal verification of practical MPI programs
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Gan...
SBACPAD
2003
IEEE
138views Hardware» more  SBACPAD 2003»
13 years 11 months ago
Finite Difference Simulations of the Navier-Stokes Equations Using Parallel Distributed Computing
 This paper discusses the implementation of a numerical algorithm for simulating incompressible fluid flows based on the finite difference method and designed for parallel compu...
João Paulo De Angeli, Andréa M. P. V...
SIGMETRICS
2008
ACM
181views Hardware» more  SIGMETRICS 2008»
13 years 6 months ago
Counter braids: a novel counter architecture for per-flow measurement
Fine-grained network measurement requires routers and switches to update large arrays of counters at very high link speed (e.g. 40 Gbps). A naive algorithm needs an infeasible amo...
Yi Lu, Andrea Montanari, Balaji Prabhakar, Sarang ...