OGATA Kazuhiro | the Graduate School of Information Science, JAIST
スポンサーリンク
概要
the Graduate School of Information Science, JAIST | 論文
- Parallel Molecular Dynamics in a Parallelizing SML Compiler(Special Issue on Parallel and Distributed Computing, Applications and technologies)
- Parallel Molecular Dynamics in a Parallelizing SML Compiler
- Specification and verification of a single-track railroad signaling in CafeOBJ