Sciweavers

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