Sciweavers

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