Search Sciweavers | Sciweavers

10271 search results - page 207 / 2055

» Computer Science

click to vote

MFCS
2001
Springer

84views Theoretical Computer Science» more MFCS 2001»

Algorithmic Information Theory and Cellular Automata Dynamics

15 years 7 months ago

Download igm.univ-mlv.fr

Julien Cervelle, Bruno Durand, Enrico Formenti

claim paper

Read More »

click to vote

RTA
2001
Springer

103views Theoretical Computer Science» more RTA 2001»

Relating Accumulative and Non-accumulative Functional Programs

15 years 7 months ago

Download repository.readscheme.org

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

claim paper

Read More »

110

click to vote

SOFSEM
2001
Springer

85views Theoretical Computer Science» more SOFSEM 2001»

How to Employ Reverse Search in Distributed Single Source Shortest Paths

15 years 7 months ago

Download www.fi.muni.cz

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

claim paper

Read More »

122

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 7 months ago

Download www.mat.uniroma2.it

Adriano Di Pasquale, Enrico Nardelli

claim paper

Read More »

135

click to vote

SPIN
2001
Springer

144views Theoretical Computer Science» more SPIN 2001»

Directed Explicit Model Checking with HSF-SPIN

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers