Search Sciweavers | Sciweavers

10447 search results - page 248 / 2090

» The Philosophy of Computer Science

143

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 »

166

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 »

166

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 »

201

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

Download www.albertolluch.com

Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Le...

claim paper

Read More »

134

click to vote

STACS
2001
Springer

84views Theoretical Computer Science» more STACS 2001»

2-Nested Simulation Is Not Finitely Equationally Axiomatizable

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers