Search Sciweavers | Sciweavers

13306 search results - page 130 / 2662

» Theoretical Computer Science

146

click to vote

SPIN
2004
Springer

109views Theoretical Computer Science» more SPIN 2004»

Advanced SPIN Tutorial

16 years 5 days ago

Download spinroot.com

Theo C. Ruys, Gerard J. Holzmann

claim paper

Read More »

106

click to vote

FOCS
2003
IEEE

64views Theoretical Computer Science» more FOCS 2003»

Stability and Efficiency of a Random Local Load Balancing Protocol

16 years 3 days ago

Download www.eecs.harvard.edu

Aris Anagnostopoulos, Adam Kirsch, Eli Upfal

claim paper

Read More »

109

click to vote

FOCS
2003
IEEE

80views Theoretical Computer Science» more FOCS 2003»

Locally Testable Cyclic Codes

16 years 3 days ago

Download www.cs.technion.ac.il

László Babai, Amir Shpilka, Daniel S...

claim paper

Read More »

111

click to vote

FOCS
2003
IEEE

96views Theoretical Computer Science» more FOCS 2003»

Algorithms and Complexity Results for #SAT and Bayesian Inference

16 years 3 days ago

Download www.cs.toronto.edu

Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi

claim paper

Read More »

156

click to vote

FOCS
2003
IEEE

122views Theoretical Computer Science» more FOCS 2003»

A Lower Bound for the Bounded Round Quantum Communication Complexity of Set Disjointness

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers