| Item type |
Symposium(1) |
| 公開日 |
2019-08-21 |
| タイトル |
|
|
タイトル |
SAT Based Formulation of Automatic Generation of Parallel Computing from Specification |
| タイトル |
|
|
言語 |
en |
|
タイトル |
SAT Based Formulation of Automatic Generation of Parallel Computing from Specification |
| 言語 |
|
|
言語 |
eng |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
回路設計・評価 |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_5794 |
|
資源タイプ |
conference paper |
| 著者所属 |
|
|
|
University of Tokyo |
| 著者所属 |
|
|
|
University of Tokyo |
| 著者所属 |
|
|
|
University of Tokyo |
| 著者所属 |
|
|
|
University of Tokyo |
| 著者所属(英) |
|
|
|
en |
|
|
University of Tokyo |
| 著者所属(英) |
|
|
|
en |
|
|
University of Tokyo |
| 著者所属(英) |
|
|
|
en |
|
|
University of Tokyo |
| 著者所属(英) |
|
|
|
en |
|
|
University of Tokyo |
| 著者名 |
Gao, Ruitao
Amir, Masoud Gharehbaghi
Tomohiro, Maruoka
Masahiro, Fujita
|
| 著者名(英) |
Gao, Ruitao
Amir, Masoud Gharehbaghi
Tomohiro, Maruoka
Masahiro, Fujita
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
In recent years, methods using deep learning have been widely used in various fields. And It is known that a large portion of computation time in deep neural network is taken by matrix multiplication. There is close connection between neural network and matrix multiplication. In this paper, parallel computing solution for matrix-vector multiplication on certain ring-connected cores is automatically generated. The basic method is to formulate matrix-vector multiplication on ring-connected architecture as a SAT problem and use SAT solver to get the mapping solution. According to the experiment results, parallel computing solution of 16x16 matrix can be generated in short time. Moreover, solutions for sparse matrix multiplication can be generated. |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
In recent years, methods using deep learning have been widely used in various fields. And It is known that a large portion of computation time in deep neural network is taken by matrix multiplication. There is close connection between neural network and matrix multiplication. In this paper, parallel computing solution for matrix-vector multiplication on certain ring-connected cores is automatically generated. The basic method is to formulate matrix-vector multiplication on ring-connected architecture as a SAT problem and use SAT solver to get the mapping solution. According to the experiment results, parallel computing solution of 16x16 matrix can be generated in short time. Moreover, solutions for sparse matrix multiplication can be generated. |
| 書誌情報 |
DAシンポジウム2019論文集
巻 2019,
p. 119-124,
発行日 2019-08-21
|
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-DAS2019024.pdf (1.5 MB)
