ACTA 2006 | Sciweavers

17

click to vote

ACTA
2006

78views more ACTA 2006»

Abstractions of data types

13 years 4 months ago

Download www.cs.cmu.edu

Ferucio Laurentiu Tiplea, Constantin Enea

claim paper

Read More »

17

click to vote

ACTA
2006

104views more ACTA 2006»

Safe projections of binary data sets

13 years 4 months ago

Download users.ics.tkk.fi

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

claim paper

Read More »

20

click to vote

ACTA
2006

154views more ACTA 2006»

Solving HPP and SAT by P Systems with Active Membranes and Separation Rules

13 years 4 months ago

Download combio.abo.fi

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

claim paper

Read More »

12

click to vote

ACTA
2006

108views more ACTA 2006»

Refinement verification of the lazy caching algorithm

13 years 4 months ago

Download www.cs.rug.nl

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

claim paper

Read More »

13

click to vote

ACTA
2006

67views more ACTA 2006»

Periods in Extensions of Words

13 years 4 months ago

Download www.fmi.uni-stuttgart.de

Tero Harju, Dirk Nowotka

claim paper

Read More »

14

click to vote

ACTA
2006

56views more ACTA 2006»

Vector assignment schemes for asymmetric settings

13 years 4 months ago

Download www.openu.ac.il

Leah Epstein, Tamir Tassa

claim paper

Read More »

10

click to vote

ACTA
2006

74views more ACTA 2006»

Linearly bounded infinite graphs

13 years 4 months ago

Download www-igm.univ-mlv.fr

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

claim paper

Read More »

12

click to vote

ACTA
2006

70views more ACTA 2006»

Throughput analysis in wireless networks with multiple users and multiple channels

13 years 4 months ago

Download www.seas.gwu.edu

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...

claim paper

Read More »

13

click to vote

ACTA
2006

73views more ACTA 2006»

Distances in random digital search trees

13 years 4 months ago

Download lipn.fr

Rafik Aguech, Nabil Lasmar, Hosam M. Mahmoud

claim paper