ACTA 2006 | Sciweavers

35

click to vote

ACTA
2006

78views more ACTA 2006»

Abstractions of data types

13 years 11 months ago

Download www.cs.cmu.edu

Ferucio Laurentiu Tiplea, Constantin Enea

claim paper

Read More »

40

click to vote

ACTA
2006

104views more ACTA 2006»

Safe projections of binary data sets

13 years 11 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 »

35

click to vote

ACTA
2006

154views more ACTA 2006»

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

13 years 11 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 »

31

click to vote

ACTA
2006

108views more ACTA 2006»

Refinement verification of the lazy caching algorithm

13 years 11 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 »

29

click to vote

ACTA
2006

67views more ACTA 2006»

Periods in Extensions of Words

13 years 11 months ago

Download www.fmi.uni-stuttgart.de

Tero Harju, Dirk Nowotka

claim paper

Read More »

39

click to vote

ACTA
2006

56views more ACTA 2006»

Vector assignment schemes for asymmetric settings

13 years 11 months ago

Download www.openu.ac.il

Leah Epstein, Tamir Tassa

claim paper

Read More »

30

click to vote

ACTA
2006

74views more ACTA 2006»

Linearly bounded infinite graphs

13 years 11 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 »

33

click to vote

ACTA
2006

70views more ACTA 2006»

Throughput analysis in wireless networks with multiple users and multiple channels

13 years 11 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 »

33

click to vote

ACTA
2006

73views more ACTA 2006»

Distances in random digital search trees

13 years 11 months ago

Download lipn.fr

Rafik Aguech, Nabil Lasmar, Hosam M. Mahmoud

claim paper