kono – -Translation – Keybot Dictionary

Spacer TTN Translation Network TTN TTN Login Deutsch Français Spacer Help
Source Languages Target Languages
Keybot 3 Results  www.hal.ipc.i.u-tokyo.ac.jp
  Hiroshi Nakamura  
Show textShow cached sourceOpen source URL
2. H.Nakamura, M.Fujita, S.Kono, M.Nakai, and H.Ta naka, “A Data Path Verification System using Temporal Logic Based Language: Tokio”, Proceedings of IFIP WG10.2 Working Conference on the CAD Systems Using AI Techniques (IFIP), pp.127-134, June, 1989
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine hal.ipc.i.u-tokyo.ac.jp as primary domain
21. M. Kondo, H. Okawara, H.Nakamura, and T. Boku, “SCIMA: Software Controlled Integrated Memory Architecture for High Performance Computing”, Proc. of International Conference on Computer Design (ICCD-2000), pp.105-111, Austin, September 2000
  Hiroshi Nakamura  
Show textShow cached sourceOpen source URL
1. H.Nakamura, M.Fujita, S.Kono, and H.Tanaka, “Temporal Logic Based Fast Verification System Using Cover Expressions”, Proceedings of International Conference on Very Large Scale Integration '87 (IFIP), pp.99-111, August, 1987
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine hal.ipc.i.u-tokyo.ac.jp as primary domain
20. M. Kondo, H. Okawara, H.Nakamura, T. Boku, and S. Sakai, “SCIMA: A Novel Processor Architecture for High Performance Computing”, High Performance Computing Asia (HPC-Asia '00), pp.355-360, Beijing, May 2000
  Hiroshi Nakamura  
Show textShow cached sourceOpen source URL
3. H.Nakamura, Masaya Nakai, S.Kono, M.Fujita, and H.Tanaka, “Logic Design Assistance Using Temporal Logic Based Language Tokio”, Proceedings of Logic Programming Conference '89 (Lecture Note in Artificial Intelligence 485, Springer-Verlag), pp.174-183, 1989
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine hal.ipc.i.u-tokyo.ac.jp as primary domain
22. H.Nakamura, M.Kondo, and T.Boku, “Software Controlled Reconfigurable On-Chip Memory for High Performance Computing”, 2nd Workshop on Intelligent Memory Systems (IMS 2000), LNCS 2107, pp.15-32, November, 2000 (Springer-Verlag)