69 search results - page 1 / 14 » spin 2007 |
121
Voted
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
112
Voted
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
132
Voted
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
177
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
162
Voted
GECCO
2007
Springer
15 years 6 months ago
2007
Springer