Search Sciweavers | Sciweavers

13306 search results - page 155 / 2662

» Theoretical Computer Science

129

click to vote

SPIN
2001
Springer

144views Theoretical Computer Science» more SPIN 2001»

Directed Explicit Model Checking with HSF-SPIN

15 years 6 months ago

Download www.albertolluch.com

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

claim paper

Read More »

click to vote

FOCS
2000
IEEE

82views Theoretical Computer Science» more FOCS 2000»

New Data Structures for Orthogonal Range Searching

15 years 6 months ago

Download www.it-c.dk

Stephen Alstrup, Gerth Stølting Brodal, The...

claim paper

Read More »

click to vote

FOCS
2000
IEEE

86views Theoretical Computer Science» more FOCS 2000»

Entropy Waves, the Zig-Zag Graph Product, and New Constant-Degree Expanders and Extractors

15 years 6 months ago

Download www.math.ias.edu

Omer Reingold, Salil P. Vadhan, Avi Wigderson

claim paper

Read More »

click to vote

FOCS
1999
IEEE

82views Theoretical Computer Science» more FOCS 1999»

Fairness in Routing and Load Balancing

15 years 6 months ago

Download www.ee.unlv.edu

Jon M. Kleinberg, Yuval Rabani, Éva Tardos

claim paper

Read More »

114

click to vote

ERSHOV
1999
Springer

100views Theoretical Computer Science» more ERSHOV 1999»

Using Experiments to Build a Body of Knowledge

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers