Akimasa Morihata

发表

MATHEMATICAL ENGINEERING TECHNICAL REPORTS Calculus of Minimals: Deriving Dynamic-Programming Algorithms based on Preservation of Monotonicity

Zhenjiang Hu, M. Takeichi, Kiminori Matsuzaki, 2007 .

Approximate by thinning: Deriving fully polynomial-time approximation schemes

Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata, 2015, Sci. Comput. Program..

Write it recursively: a generic framework for optimal path queries

Akimasa Morihata, Masato Takeichi, Kiminori Matsuzaki, 2008, ICFP.

Automatic inversion generates divide-and-conquer parallel programs

Akimasa Morihata, Masato Takeichi, Zhenjiang Hu, 2007, PLDI '07.

MATHEMATICAL ENGINEERING TECHNICAL REPORTS Solving Maximum Weighted-sum Problems for Free

Akimasa Morihata, Akimasa Morihata, 2009 .

Dynamic Programming via Thinning and Incrementalization

Akimasa Morihata, Atsushi Ohori, Masato Koishi, 2014, FLOPS.

Fregel: a functional domain-specific language for vertex-centric large-scale graph processing

Zhenjiang Hu, Kiminori Matsuzaki, H. Iwasaki, 2022, Journal of Functional Programming.

Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers

Akimasa Morihata, Zhenjiang Hu, Kiminori Matsuzaki, 2018, FLOPS.

IO Swapping Leads You There And Back Again (Extended Abstract)

Akimasa Morihata, Masato Takeichi, Zhenjiang Hu, 2005 .

Reversing Iterations: IO Swapping Leads You There And Back Again

Akimasa Morihata, Masato Takeichi, Zhenjiang Hu, 2005 .

MATHEMATICAL ENGINEERING TECHNICAL REPORTS Reversing Iterations: IO Swapping Leads You There And Back Again

Akimasa Morihata, Masato Takeichi, Zhenjiang Hu, 2005 .

Generalising and dualising the third list-homomorphism theorem: functional pearl

Shin-Cheng Mu, Akimasa Morihata, Akimasa Morihata, 2011, ICFP.

The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer

Akimasa Morihata, Masato Takeichi, Zhenjiang Hu, 2009, POPL '09.

Parallel Tree Contraction with Fewer Types of Primitive Contraction Operations and Its Application to Trees of Unbounded Degree

Akimasa Morihata, Kiminori Matsuzaki, Kiminori Matsuzaki, 2014 .

A Practical Tree Contraction Algorithm for Parallel Skeletons on Trees of Unbounded Degree

Akimasa Morihata, Kiminori Matsuzaki, Kiminori Matsuzaki, 2011, ICCS.

A Short Cut to Optimal Sequences

Akimasa Morihata, Akimasa Morihata, 2009, New Generation Computing.