Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2010
Laarman, A.W. and van de Pol, J.C. and Weber, Michael
(2010)
Boosting Multi-Core Reachability Performance with Shared Hash Tables.
In: Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design, 20 Oct - 23 Oct 2010, Lugano, Switzerland.
pp. 247-256.
IEEE Computer Society.
ISBN 978-1-4577-0734-6
Laarman, A.W. and van de Pol, J.C. and Weber, Michael
(2010)
Boosting Multi-Core Reachability Performance with Shared Hash Tables.
Technical Report arXiv:1004.2772,
ArXiv, Ithaca, NY.
This list was generated on Thu May 24 08:10:44 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||