スポンサーリンク

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

スポンサーリンク