Concepedia

Hajime Shimizu

HS

Statistics

Publications

4

Citations

100

H-Index

4

Active since

1985

Affiliations

Oki Electric Industry (Japan)(Current)

Hajime Shimizu is an author at Oki Electric Industry (Japan) specializing in engineering, computer science, and parallel programming.

Top concepts

EngineeringComputer ScienceParallel ComputingParallel ProgrammingFormal MethodsAutomated ReasoningFormal VerificationComputer ArchitectureMachine LearningProgram Analysis

Publications per year

1985–1987

4

Publications

4

Data-flow based execution mechanisms of Parallel and Concurrent Prolog

Noriyoshi Ito, Hajime Shimizu, Masasuke Kishi et al. · New Generation Computing · 1985 · 40 citations

Engineering, Program Analysis, Automated Reasoning +9

Architecture of a Reduction-Based Parallel Inference Machine: PIM-R

Rikio Onai, Moritoshi Aso, Hajime Shimizu et al. · New Generation Computing · 1985 · 22 citations

Engineering, Machine Learning, Parallel Processing +4

KL1 Execution Model for PIM Cluster with Shared Memory.

Masatoshi Sato, Hajime Shimizu, Akira Matsumoto et al. · International Conference on Lightning Protection · 1987 · 19 citations

Cluster Computing, Engineering, Shared Memory +7

Analysis of sequential PROLOG programs

Rikio Onai, Hajime Shimizu, Kanae Masuda et al. · The Journal of Logic Programming · 1986 · 19 citations

Computational Logic, Declarative Programming, Engineering +6

1–4 of 4