Search Sciweavers | Sciweavers

11345 search results - page 301 / 2269

» Foundations of Computer Science

141

click to vote

MFCS
2001
Springer

84views Theoretical Computer Science» more MFCS 2001»

Algorithmic Information Theory and Cellular Automata Dynamics

15 years 11 months ago

Download igm.univ-mlv.fr

Julien Cervelle, Bruno Durand, Enrico Formenti

claim paper

Read More »

136

Voted

RTA
2001
Springer

103views Theoretical Computer Science» more RTA 2001»

Relating Accumulative and Non-accumulative Functional Programs

15 years 11 months ago

Download repository.readscheme.org

Armin Kühnemann, Robert Glück, Kazuhiko ...

claim paper

Read More »

154

Voted

SOFSEM
2001
Springer

85views Theoretical Computer Science» more SOFSEM 2001»

How to Employ Reverse Search in Distributed Single Source Shortest Paths

15 years 11 months ago

Download www.fi.muni.cz

Lubos Brim, Ivana Cerná, Pavel Krcál...

claim paper

Read More »

153

click to vote

SOFSEM
2001
Springer

108views Theoretical Computer Science» more SOFSEM 2001»

ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs

15 years 11 months ago

Download www.mat.uniroma2.it

Adriano Di Pasquale, Enrico Nardelli

claim paper

Read More »

185

click to vote

SPIN
2001
Springer

144views Theoretical Computer Science» more SPIN 2001»

Directed Explicit Model Checking with HSF-SPIN

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers