The following pages link to Akimasa Morihata (Q1648880):
Displayed 17 items.
- Optimizing declarative parallel distributed graph processing by using constraint solvers (Q1648883) (← links)
- A short cut to optimal sequences (Q1758658) (← links)
- The Essence of Ruby (Q2789039) (← links)
- Syntax-Directed Divide-and-Conquer Data-Flow Analysis (Q2789063) (← links)
- Incremental Computing with Abstract Data Structures (Q2798280) (← links)
- Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems (Q2900265) (← links)
- Automatic Parallelization of Recursive Functions Using Quantifier Elimination (Q3558346) (← links)
- Swapping Arguments and Results of Recursive Functions (Q3618833) (← links)
- Lambda calculus with algebraic simplification for reduction parallelisation: Extended study (Q5016210) (← links)
- Fregel: a functional domain-specific language for vertex-centric large-scale graph processing (Q5063249) (← links)
- Dynamic Programming via Thinning and Incrementalization (Q5170711) (← links)
- Balanced trees inhabiting functional parallel programming (Q5176968) (← links)
- Generalising and dualising the third list-homomorphism theorem (Q5176989) (← links)
- Write it recursively (Q5178762) (← links)
- A short cut to parallelization theorems (Q5244804) (← links)
- The third homomorphism theorem on trees (Q5261516) (← links)
- Manipulating accumulative functions by swapping call-time and return-time computations (Q5398337) (← links)