Sciweavers

ACTA
2006
78views more  ACTA 2006»
14 years 19 days ago
Abstractions of data types
Ferucio Laurentiu Tiplea, Constantin Enea
ACTA
2006
104views more  ACTA 2006»
14 years 19 days ago
Safe projections of binary data sets
Abstract Selectivity estimation of a boolean query based on frequent itemsets can be solved by describing the problem by a linear program. However, the number of variables in the e...
Nikolaj Tatti
ACTA
2006
154views more  ACTA 2006»
14 years 19 days ago
Solving HPP and SAT by P Systems with Active Membranes and Separation Rules
The P systems (or membrane systems) are a class of distributed parallel computing devices of a biochemical type, where membrane division is the frequently investigated way for obta...
Linqiang Pan, Artiom Alhazov
ACTA
2006
108views more  ACTA 2006»
14 years 19 days ago
Refinement verification of the lazy caching algorithm
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
Wim H. Hesselink
ACTA
2006
67views more  ACTA 2006»
14 years 19 days ago
Periods in Extensions of Words
Tero Harju, Dirk Nowotka
ACTA
2006
56views more  ACTA 2006»
14 years 19 days ago
Vector assignment schemes for asymmetric settings
Leah Epstein, Tamir Tassa
ACTA
2006
74views more  ACTA 2006»
14 years 19 days ago
Linearly bounded infinite graphs
Linearly bounded Turing machines have been mainly studied as acceptors for context-sensitive languages. We define a natural family of canonical infinite automata representing their...
Arnaud Carayol, Antoine Meyer
ACTA
2006
70views more  ACTA 2006»
14 years 19 days ago
Throughput analysis in wireless networks with multiple users and multiple channels
Abstract We consider the problem of maximizing throughput in a multi-carrier wireless network that employs predictive link adaptation. We explicitly consider the time-penalty incur...
Amrinder Arora, Fanchun Jin, Gokhan Sahin, Hosam M...
ACTA
2006
73views more  ACTA 2006»
14 years 19 days ago
Distances in random digital search trees
Rafik Aguech, Nabil Lasmar, Hosam M. Mahmoud