default search action
"Addressing verification challenges of heterogeneous systems based on IBM ..."
Klaus-Dieter Schubert et al. (2018)
- Klaus-Dieter Schubert, Syed Saif Abrar, Duane Averill, Ellen Bauman, Aaron C. Brown, Ron Cash, Debapriya Chatterjee, John Gullickson, Mark Nelson, Kevin A. Pasnik, Krishnan Sugavanam:
Addressing verification challenges of heterogeneous systems based on IBM POWER9. IBM J. Res. Dev. 62(4/5): 11:1-11:12 (2018)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.