Sciweavers

1679 search results - page 85 / 336
» CU-Later: a communication system considering time difference
Sort
View
HPDC
2000
IEEE
14 years 8 days ago
Performance Evaluation of a Firewall-Compliant Globus-based Wide-Area Cluster System
In this paper, we present a performance evaluation of a wide-area cluster system based on a rewallenabled Globus metacomputing toolkit. In order to establish communication links ...
Yoshio Tanaka, Motonori Hirano, Mitsuhisa Sato, Hi...
TIME
2008
IEEE
14 years 2 months ago
Practical First-Order Temporal Reasoning
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
Clare Dixon, Michael Fisher, Boris Konev, Alexei L...
INFOCOM
2011
IEEE
12 years 11 months ago
Resource management for fading wireless channels with energy harvesting nodes
—Wireless systems comprised of rechargeable nodes have a significantly prolonged lifetime and are sustainable. A distinct characteristic of these systems is the fact that the no...
Omur Ozel, Kaya Tutuncuoglu, Jing Yang, Sennur Ulu...
SIGDOC
2004
ACM
14 years 1 months ago
Signal to noise ratio of information in documentation
The signal to noise ratio is a common concept in radio communications and electronic communication in general. For a radio, the static is the noise. Too much static and the storm ...
Michael J. Albers
SIGMETRICS
2006
ACM
14 years 1 months ago
Optimizing transmission rate in wireless channels using adaptive probes
Abstract— We consider a wireless system with multiple channels where each channel is either on or off, and probing the state of any channel incurs a cost. We present a polynomial...
Sudipto Guha, Kamesh Munagala, Saswati Sarkar