Sciweavers

13306 search results - page 130 / 2662
» Theoretical Computer Science
Sort
View
92
Voted
SPIN
2004
Springer
15 years 8 months ago
Advanced SPIN Tutorial
Theo C. Ruys, Gerard J. Holzmann
67
Voted
FOCS
2003
IEEE
15 years 8 months ago
Stability and Efficiency of a Random Local Load Balancing Protocol
Aris Anagnostopoulos, Adam Kirsch, Eli Upfal
67
Voted
FOCS
2003
IEEE
15 years 8 months ago
Locally Testable Cyclic Codes
László Babai, Amir Shpilka, Daniel S...
66
Voted
FOCS
2003
IEEE
15 years 8 months ago
Algorithms and Complexity Results for #SAT and Bayesian Inference
Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi