69 search results - page 1 / 14 » spin 2007 |
66
Voted
SPIN
2007
Springer
15 years 5 months ago
2007
Springer
63
Voted
SPIN
2007
Springer
15 years 5 months ago
2007
Springer
83
Voted
SPIN
2007
Springer
15 years 5 months ago
2007
Springer
110
Voted
IPPS
2007
IEEE
15 years 5 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-...
GECCO
2007
Springer
15 years 21 days ago
2007
Springer