Search the dblp DataBase

Publications of Author

1. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
   Swapping Arguments and Results of Recursive Functions. [Citation Graph (0, 0)][DBLP]
   MPC, 2006, pp:379-396 [Conf]
   
2. Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
   Automatic inversion generates divide-and-conquer parallel programs. [Citation Graph (0, 0)][DBLP]
   PLDI, 2007, pp:146-155 [Conf]
   
3. 
   A Short Cut to Optimal Sequences. [Citation Graph (, )][DBLP]
   
   
4. 
   Automatic Parallelization of Recursive Functions Using Quantifier Elimination. [Citation Graph (, )][DBLP]
   
   
5. 
   Write it recursively: a generic framework for optimal path queries. [Citation Graph (, )][DBLP]
   
   
6. 
   The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. [Citation Graph (, )][DBLP]