Sciweavers

1490 search results - page 100 / 298
» Models and Algorithms for Optical and Optoelectronic Paralle...
Sort
View
CCGRID
2004
IEEE
13 years 11 months ago
GTP: group transport protocol for lambda-Grids
The notion of lambda-Grids posits plentiful collections of computing and storage resources richly interconnected by dedicated dense wavelength division multiplexing (DWDM) optical...
Xinran (Ryan) Wu, Andrew A. Chien
IPPS
2007
IEEE
14 years 2 months ago
Multi-Core Model Checking with SPIN
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
Gerard J. Holzmann, Dragan Bosnacki
ICCV
2003
IEEE
14 years 10 months ago
Towards Direct Recovery of Shape and Motion Parameters from Image Sequences
A novel procedure is presented to construct image-domain filters (receptive fields) that directly recover local motion and shape parameters. These receptive fields are derived fro...
Stephen Benoit, Frank P. Ferrie
RECONFIG
2008
IEEE
122views VLSI» more  RECONFIG 2008»
14 years 2 months ago
Using a CSP Based Programming Model for Reconfigurable Processor Arrays
The growing trend towards adoption of flexible and heterogeneous, parallel computing architectures has increased the challenges faced by the programming community. We propose a me...
Zain-ul-Abdin, Bertil Svensson
PVM
1997
Springer
14 years 3 days ago
Performance of CAP-Specified Linear Algebra Algorithms
The traditional approach to the parallelization of linear algebra algorithms such as matrix multiplication and LU factorization calls for static allocation of matrix blocks to proc...
Marc Mazzariol, Benoit A. Gennart, Vincent Messerl...