Sciweavers

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