Sciweavers

CORR
2006
Springer
100views Education» more  CORR 2006»
13 years 11 months ago
A Combined LIFO-Priority Scheme for Overload Control of E-commerce Web Servers
E-commerce Web-servers often face overload conditions during which revenue-generating requests may be dropped or abandoned due to an increase in the browsing requests. In this pap...
Naresh Singhmar, Vipul Mathur, Varsha Apte, D. Man...
CORR
2006
Springer
110views Education» more  CORR 2006»
13 years 11 months ago
Reliable Multi-Path Routing Schemes for Real-Time Streaming
In off-line streaming, packet level erasure resilient Forward Error Correction (FEC) codes rely on the unrestricted buffering time at the receiver. In real-time streaming, the ext...
Emin Gabrielyan, Roger D. Hersch
CORR
2006
Springer
95views Education» more  CORR 2006»
13 years 11 months ago
Large Scale In Silico Screening on Grid Infrastructures
: Large-scale grid infrastructures for in silico drug discovery open opportunities of particular interest to neglected and emerging diseases. In 2005 and 2006, we have been able to...
Nicolas Jacq, Vincent Breton, Hsin-Yen Chen, Li-Yu...
CORR
2006
Springer
109views Education» more  CORR 2006»
13 years 11 months ago
Hierarchical Cooperation Achieves Optimal Capacity Scaling in Ad Hoc Networks
n source and destination pairs randomly located in an area want to communicate with each other. Signals transmitted from one user to another at distance r apart are subject to a po...
Ayfer Özgür, Olivier Lévêqu...
CORR
2006
Springer
96views Education» more  CORR 2006»
13 years 11 months ago
Distributed Link Scheduling with Constant Overhead
This paper proposes a new class of simple, distributed algorithms for scheduling in wireless networks. The algorithms generate new schedules in a distributed manner via simple loc...
Sujay Sanghavi, Loc Bui, R. Srikant
CORR
2006
Springer
81views Education» more  CORR 2006»
13 years 11 months ago
Multivariate Integral Perturbation Techniques - I (Theory)
We present a quasi-analytic perturbation expansion for multivariate N dimensional Gaussian integrals. The perturbation expansion is an infinite series of lower-dimensional integra...
Jan W. Dash
CORR
2006
Springer
87views Education» more  CORR 2006»
13 years 11 months ago
Capacity of a Class of Deterministic Relay Channels
Abstract-- The capacity of a class of deterministic relay channels with the transmitter input X, the receiver output Y , the relay output Y1 = f(X, Y ), and a separate communicatio...
Thomas M. Cover, Young-Han Kim
CORR
2006
Springer
124views Education» more  CORR 2006»
13 years 11 months ago
Linear Encodings of Bounded LTL Model Checking
Abstract. We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound. Furthe...
Armin Biere, Keijo Heljanko, Tommi A. Junttila, Ti...
CORR
2006
Springer
132views Education» more  CORR 2006»
13 years 11 months ago
A Decomposition Theory for Binary Linear Codes
The decomposition theory of matroids initiated by Paul Seymour in the 1980's has had an enormous impact on research in matroid theory. This theory, when applied to matrices ov...
Navin Kashyap