Sciweavers

5922 search results - page 896 / 1185
» Navigability of Complex Networks
Sort
View
IPPS
2003
IEEE
16 years 16 days ago
Parallelisation of IBD Computation for Determining Genetic Disease Map
A number of software packages are available for the construction of comprehensive human genetic maps. In this paper we parallelize the widely used package Genehunter. We restrict ...
Nouhad J. Rizk
DSOM
2003
Springer
16 years 14 days ago
MobiMan: Bringing Scripted Agents to Wireless Terminal Management
The increasing software complexity of wireless devices and wireless data service provisioning motivates a wireless terminal management challenge. The systems management solution fo...
Venu Vasudevan, Sandeep Adwankar, Nitya Narasimhan
FM
2003
Springer
107views Formal Methods» more  FM 2003»
16 years 14 days ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
GCC
2003
Springer
16 years 14 days ago
Flexible Intermediate Library for MPI-2 Support on an SCore Cluster System
Abstract. A flexible intermediate library named Stampi for MPI-2 support on a heterogeneous computing environment has been implemented on an SCore cluster system. With the help of...
Yuichi Tsujita
HIPC
2003
Springer
16 years 14 days ago
Delay and Jitter Minimization in High Performance Internet Computing
Delay and jitter management in high performance active computation is a challenging problem in the emerging area of internet computing. The problem takes a complex new form from it...
Javed I. Khan, Seung Su Yang