Sciweavers

IPPS
2007
IEEE
14 years 6 months ago
Preliminary results in accelerating profile HMM search on FPGAs
Arpith C. Jacob, Joseph M. Lancaster, Jeremy D. Bu...
IPPS
2007
IEEE
14 years 6 months ago
A Minimal Access Cost-Based Multimedia Object Replacement Algorithm
Multimedia object caching, by which the same multimedia object can be adapted to diverse mobile appliances through the technique of transcoding, is an important technology for imp...
Keqiu Li, Takashi Nanya, Wenyu Qu
IPPS
2007
IEEE
14 years 6 months ago
On Achieving the Shortest-Path Routing in 2-D Meshes
In this paper, we present a fully distributed process to collect and distribute the minimal connected component (MCC) fault information so that the shortest-path between a source ...
Zhen Jiang, Jie Wu
IPPS
2007
IEEE
14 years 6 months ago
Deterministic versus Adaptive Routing in Fat-Trees
Crispín Gómez Requena, Francisco Gil...
IPPS
2007
IEEE
14 years 6 months ago
Reifying Control of Multi-Owned Network Resources
Communication delay is a key source of uncertainty in distributed systems. Existing approaches to reduce this uncertainty focus on maintaining sufficient surplus bandwidth; appli...
Nadeem Jamali, Chen Liu
IPPS
2007
IEEE
14 years 6 months ago
Cluster-dot Screening by Local Exhaustive Search with Hardware Accelaration
Screening is an important task to convert a continuoustone image into a binary image with pure black and white pixels. The main contribution of this paper is to show a new algorit...
Yasuaki Ito, Koji Nakano
IPPS
2007
IEEE
14 years 6 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
IPPS
2007
IEEE
14 years 6 months ago
A Model for Large Scale Self-Stabilization
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...
Thomas Hérault, Pierre Lemarinier, Olivier ...
IPPS
2007
IEEE
14 years 6 months ago
Coordinating Data Parallel SAC Programs with S-Net
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Sha...