Sciweavers

13717 search results - page 104 / 2744
» Control Systems
Sort
View
FROCOS
2005
Springer
16 years 12 days ago
Hybrid CSP Solving
Eric Monfroy, Frédéric Saubion, Tony...
SSS
2005
Springer
16 years 10 days ago
Self-stabilization with r-Operators Revisited
Sylvie Delaët, Bertrand Ducourthial, Sé...
SSS
2005
Springer
16 years 10 days ago
Self-stabilization Preserving Compiler
Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv
SSS
2005
Springer
16 years 10 days ago
Towards Automatic Convergence Verification of Self-stabilizing Algorithms
Jens Oehlerking, Abhishek Dhama, Oliver E. Theel