Hierarchical simulation-based verification of Anton, a special-purpose parallel machine.

Autor: Grossman, J.P., Salmon, J.K., Ho, C.R., Ierardi, D.J., Towles, B., Batson, B., Spengler, J., Wang, S.C., Mueller, R., Theobald, M., Young, C., Gagliardo, J., Deneroff, M.M., Dror, R.O., Shaw, D.E.
Zdroj: 2008 IEEE International Conference on Computer Design; 2008, p340-347, 8p
Databáze: Complementary Index