Travelled to:1 × Japan
1 × United Kingdom
6 × USA
Collaborated with:M.Nilsson H.Koike S.Fushimi M.Kitsuregawa T.Uchida M.Fujita T.Moto-Oka L.Xu Y.Hidaka J.Tatemura H.Nakamura Y.Kukimoto S.Kono M.Nakayama
Talks about:languag (3) logic (3) parallel (2) tempor (2) system (2) tokio (2) base (2) multidimension (1) supercomput (1) implement (1)
Person: Hidehiko Tanaka
DBLP: Tanaka:Hidehiko
Contributed to:
1997
1991
1990198919881986
1986
1985Wrote 9 papers:
- HCI-SEC-1997-UchidaT #automation #documentation
- An Automatic Document Coloring and Browsing System (TU, HT), pp. 275–278.
- ISLP-1991-HidakaKTT #clustering #commit #execution
- A Static Load Partitioning Method based on Execution Profile for Committed Choice Languages (YH, HK, JT, HT), pp. 470–484.
- CAV-1990-NakamuraKFT #logic #using #verification
- A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio (HN, YK, MF, HT), pp. 76–85.
- NACLP-1989-XuKT #distributed #garbage collection #parallel
- Distributed Garbage Collection for the Parallel Inference Engine PIE64 (LX, HK, HT), pp. 922–941.
- JICSCP-1988-NilssonT88 #haskell #implementation
- A Flat GHC Implementation for Supercomputers (MN, HT), pp. 1337–1350.
- ICLP-1986-FujitaKTM86 #compilation #logic programming #named #programming language #prolog
- Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog (MF, SK, HT, TMO), pp. 695–709.
- ICLP-1986-NilssonT86 #traversal
- Cyclic Tree Traversal (MN, HT), pp. 593–599.
- VLDB-1986-FushimiKT #bibliography #database #parallel #relational
- An Overview of The System Software of A Parallel Relational Database Machine GRACE (SF, MK, HT), pp. 209–219.
- SIGMOD-1985-FushimiKNTM #adaptation #algorithm #clustering #evaluation #multi #performance
- Algorithm and Performance Evaluation of Adaptive Multidimensional Clustering Technique (SF, MK, MN, HT, TMO), pp. 308–318.