Sciweavers

2580 search results - page 317 / 516
» Systems for human-powered mobile computing
Sort
View
SIGMETRICS
1994
ACM
15 years 9 months ago
An Empirical Study of a Highly Available File System
In this paper we present results from a six-month empirical study of the high availability aspectsof the CodaFile System. We reporton the servicefailures experienced by Coda clien...
Brian Noble, Mahadev Satyanarayanan
155
Voted
ENTCS
2008
131views more  ENTCS 2008»
15 years 5 months ago
Connector Rewriting with High-Level Replacement Systems
Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primi...
Christian Koehler, Alexander Lazovik, Farhad Arbab
GLOBECOM
2007
IEEE
15 years 11 months ago
Time-Varying Channel Complex Gains Estimation and ICI Suppression in OFDM Systems
—In this paper, we present an iterative algorithm for channel complex gains estimation with inter-sub-carrierinterference (ICI) reduction in orthogonal-frequency-divisionmultiple...
Hussein Hijazi, Laurent Ros
WIMOB
2007
IEEE
15 years 11 months ago
The Analysis of the Optimal Periodic Ranging Slot Number in IEEE 802.16 OFDMA Systems
As part of the IEEE 802.16 protocol, the random access scheme is used for ranging. The ratio between the numbers of periodic ranging slots and data slots in the uplink subframe de...
Jihua Zhou, Xin Jin, Jiangtao Dong, Jinglin Shi, Z...
120
Voted
FOSSACS
2004
Springer
15 years 10 months ago
Electoral Systems in Ambient Calculi
This paper compares the expressiveness of ambient calculi against different dialects of the pi-calculus. Cardelli and Gordon encoded the asynchronous pi-calculus into their calcul...
Iain Phillips, Maria Grazia Vigliotti