15792 search results - page 243 / 3159 » Computational Abstraction Steps |
147
click to vote
ICDCN
2009
Springer
16 years 2 months ago
2009
Springer
We present the first wait-free and self-stabilizing implementation of a single-writer/single-reader regular register by single-writer/single-reader safe registers. The constructio...
184
click to vote
FCT
2001
Springer
15 years 11 months ago
2001
Springer
We show that some natural refinements of the Straubing and Brzozowski hierarchies correspond (via the so called leaf-languages) step by step to similar refinements of the polynom...
170
click to vote
DCC
1999
IEEE
15 years 11 months ago
1999
IEEE
We report on the performance evaluation of greedy parsing with a single step lookahead, denoted as flexible parsing. We also introduce a new fingerprint based data structure which...
148
click to vote
FOCS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, we analyze the behavior of communication networks in which packets are generated dynamically at the nodes and routed in discrete time steps across the edges. We foc...
187
click to vote
RELMICS
1997
Springer
15 years 11 months ago
1997
Springer
In this paper we extend an earlierapproach to graphicalrelationcalculitowards relational matching, thus allowing proofs with fewer auxiliary steps and concentrating more on the es...