kono – Traduction – Dictionnaire Keybot

Spacer TTN Translation Network TTN TTN Login Deutsch English Spacer Help
Langues sources Langues cibles
Keybot 3 Résultats  www.hal.ipc.i.u-tokyo.ac.jp
  Hiroshi Nakamura  
Montrer texteMontrer source en cacheMontrer URL avec texte source
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
Comparer pages textesComparer pages HTMMontrer URL avec texte sourceMontrer URL avec langue cibleDéfinir hal.ipc.i.u-tokyo.ac.jp comme domaine prioritaire
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  
Montrer texteMontrer source en cacheMontrer URL avec texte source
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
Comparer pages textesComparer pages HTMMontrer URL avec texte sourceMontrer URL avec langue cibleDéfinir hal.ipc.i.u-tokyo.ac.jp comme domaine prioritaire
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)
  Hiroshi Nakamura  
Montrer texteMontrer source en cacheMontrer URL avec texte source
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
Comparer pages textesComparer pages HTMMontrer URL avec texte sourceMontrer URL avec langue cibleDéfinir hal.ipc.i.u-tokyo.ac.jp comme domaine prioritaire
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