Sciweavers

SIGMETRICS
2010
ACM
146views Hardware» more  SIGMETRICS 2010»
13 years 6 months ago
In-degree dynamics of large-scale P2P systems
This paper builds a complete modeling framework for understanding user churn and in-degree dynamics in unstructured P2P systems in which each user can be viewed as a stationary al...
Zhongmei Yao, Daren B. H. Cline, Dmitri Loguinov
LOGCOM
2010
123views more  LOGCOM 2010»
13 years 9 months ago
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
Peter Baumgartner, Ulrich Furbach, Björn Pelz...
TWC
2008
92views more  TWC 2008»
13 years 11 months ago
Improving the rates in wireless relay systems through superposition coding
We introduce a new two
Petar Popovski, Elisabeth de Carvalho
TSP
2008
111views more  TSP 2008»
13 years 11 months ago
Coding Schemes for User Cooperation in Low-Power Regimes
We consider the design of cooperation coding schemes for a two-user multi-access channel (MAC). In particular, we consider two block Markov coding schemes, namely, the multiplexed...
Guosen Yue, Xiaodong Wang, Zigui Yang, Anders H&os...
PE
2008
Springer
89views Optimization» more  PE 2008»
13 years 11 months ago
Merging and splitting autocorrelated arrival processes and impact on queueing performance
We have proposed a three-parameter renewal approximation to analyze splitting and superposition of autocorrelated processes. We define the index of dispersion for counts of an ord...
Baris Balcioglu, David L. Jagerman, Tayfur Altiok