Search Sciweavers | Sciweavers

11395 search results - page 287 / 2279

» Beyond computer science

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

Download www.albertolluch.com

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

claim paper

Read More »

124

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 »

128

Voted

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