69 search results - page 1 / 14 » spin 2007 |
89
Voted
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
88
Voted
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
103
Voted
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
143
click to vote
IPPS
2007
IEEE
15 years 8 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-...
121
Voted
GECCO
2007
Springer
15 years 3 months ago
2007
Springer