Shintaro Meki

Publication Activity (10 Years)

Years Active: 1990-2000
Publications (10 Years): 0

Publications

Shintaro Meki, Yahiko Kambayashi
Acceleration of relational database operations on vector processors. Systems and Computers in Japan 31 (8) (2000)
Yahiko Kambayashi, Hiroki Takakura, Shintaro Meki
Data Structure and Algorithms for New Hardware Technology. FODO (1993)
Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi
Vectorized Model Checking for Computation Tree Logic. CAV (DIMACS/AMS volume) (1990)
Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi
Vectorized Model Checking for Computation Tree Logic. CAV (1990)