Search Sciweavers | Sciweavers

10392 search results - page 256 / 2079

» Introduction to Computer Science

135

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 »

129

click to vote

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 »

149

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

Download www.fi.muni.cz

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

claim paper

Read More »

152

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 »

179

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