Sciweavers

5140 search results - page 736 / 1028
» Complex Network of Earthquakes
Sort
View
INFOCOM
2003
IEEE
15 years 12 months ago
Prophet Address Allocation for Large Scale MANETs
—A mobile device in a MANET must be assigned a free IP address before it may participate in unicast communication. This is a fundamental and difficult problem in the practical us...
Hongbo Zhou, Lionel M. Ni, Matt W. Mutka
IPPS
2003
IEEE
15 years 12 months 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
15 years 12 months 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»
15 years 12 months 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
15 years 12 months 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