2000 | ||
---|---|---|
3 | EE | Shintaro Meki, Yahiko Kambayashi: Acceleration of relational database operations on vector processors. Systems and Computers in Japan 31(8): 79-88 (2000) |
1993 | ||
2 | Yahiko Kambayashi, Hiroki Takakura, Shintaro Meki: Data Structure and Algorithms for New Hardware Technology. FODO 1993: 164-196 | |
1990 | ||
1 | Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi: Vectorized Model Checking for Computation Tree Logic. CAV 1990: 44-53 |
1 | Kiyoharu Hamaguchi | [1] |
2 | Hiromi Hiraishi | [1] |
3 | Yahiko Kambayashi | [2] [3] |
4 | Hiroki Takakura | [2] |