Sciweavers

5114 search results - page 747 / 1023
» Complex networks
Sort
View
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
HIPC
2003
Springer
15 years 12 months 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
ICANN
2003
Springer
15 years 12 months ago
Learning Rule Representations from Boolean Data
We discuss a Probably Approximate Correct (PAC) learning paradigm for Boolean formulas, which we call PAC meditation, where the class of formulas to be learnt is not known in advan...
Bruno Apolloni, Andrea Brega, Dario Malchiodi, Gio...