Verification Methods for Linear Systems on a GPU

Y. Morikura, K. Ozaki, S. Oishi

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)113-114
JournalBook of Abstracts
Publication statusPublished - 2012 Sep 27

Cite this