Shintaro Meki
Kyoto University(JP)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Algorithms and Data Compression, Logic, programming, and type systems, Formal Methods in Verification, Advanced Database Systems and Queries
Most-Cited Works
- → Acceleration of relational database operations on vector processors(2000)10 cited
- → Vectorized model checking for computation tree logic(2005)2 cited
- Studies on Main Memory Database Systems for Vector Processors(1999)
- → Data structure and algorithms for new hardware technology(1993)