Search Sciweavers | Sciweavers

10304 search results - page 219 / 2061

» Computer science with the sciences: an emphasis in computati...

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 »

182

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 »

123

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

Download www.brics.dk

Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...

claim paper

Read More »

123

click to vote

WG
2001
Springer

69views Theoretical Computer Science» more WG 2001»

Planarity of the 2-Level Cactus Model

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers