2905 search results - page 31 / 581 » Formal Memetic Algorithms |
102
Voted
GI
2001
Springer
15 years 5 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
81
Voted
WETICE
1997
IEEE
15 years 5 months ago
1997
IEEE
80
Voted
ICCAD
1994
IEEE
15 years 4 months ago
1994
IEEE
88
Voted
AAMAS
2008
Springer
15 years 27 days ago
2008
Springer
79
Voted
ASIAN
1999
Springer
15 years 5 months ago
1999
Springer