|
|||||
|
|
Reasoning about systolic algorithms |
|
| Affiliation: | Department of Computer Science, The Pennsylvania State University, University Park, Pennsylvania 16802, USA;AT & T Bell Labs, Holmdel, New Jersey 07733, USA;School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |