Sciweavers

2863 search results - page 451 / 573
» Constructing minimum-interference networks
Sort
View
SIGECOM
2005
ACM
106views ECommerce» more  SIGECOM 2005»
15 years 7 months ago
On decentralized incentive compatible mechanisms
Algorithmic Mechanism Design focuses on Dominant Strategy Implementations. The main positive results are the celebrated Vickrey-Clarke-Groves (VCG) mechanisms and computationally ...
Ahuva Mu'alem
EUROPAR
2005
Springer
15 years 7 months ago
An Approach to Performance Prediction for Parallel Applications
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
Engin Ipek, Bronis R. de Supinski, Martin Schulz, ...
ICN
2005
Springer
15 years 7 months ago
Optimizing Inter-domain Multicast Through DINloop with GMPLS
This paper proposes DINloop (Data-In-Network loop) based multicast with GMPLS (generalized multiprotocol label switching) to overcome the scalability problems existing in current i...
Huaqun Guo, Lek Heng Ngoh, Wai-Choong Wong
IFM
2005
Springer
100views Formal Methods» more  IFM 2005»
15 years 7 months ago
Embedding the Stable Failures Model of CSP in PVS
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
Kun Wei, James Heather
IPSN
2005
Springer
15 years 7 months ago
A compact modular wireless sensor platform
— We have designed and constructed a modular platform for use in compact wireless sensing. This platform is based around a series of circuit boards (or panes), each of which inst...
Ari Y. Benbasat, Joseph A. Paradiso