CORR
2010
Springer
13 years 8 months ago
2010
Springer
We consider the problem of optimally allocating a given total storage budget in a distributed storage system. A source has a data object which it can code and store over a set of s...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, met...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
As a variant of the HB authentication protocol for RFID systems, which relies on the complexity of decoding linear codes against passive attacks, Madhavan et al. presented Non-Line...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We investigate the asymptotic behavior of the steady-state queue length distribution under generalized maxweight scheduling in the presence of heavy-tailed traffic. We consider a s...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We give a space-optimal algorithm with update time O(log2 (1/) log log(1/)) for (1
CORR
2010
Springer
13 years 8 months ago
2010
Springer