兼岩 憲 | School of Information Science, Japan Advanced Institute of Science and Te
スポンサーリンク
概要
School of Information Science, Japan Advanced Institute of Science and Te | 論文
- Component-based algebraic specification and verification in CafeOBJ
- Hierarchical 3D-torus interconnection network for massively parallel comp