Similar to 並行論理プログラミング
Parallel Virtual Machine
Parallel Virtual MachineParallella
Program Composition Notation
Program Composition NotationUnified Parallel C
Unified Parallel CX10 (プログラミング言語)
X10 (programming language)XcalableMP
区分化大域アドレス空間
Partitioned global address space構造化された並行性
Structured concurrency逐次一貫性
Sequential consistencyプロセッサ一貫性
Processor consistency並列計算
Parallel computing分散コンピューティング
Distributed computing0
01
1▼-1 trends2
23
34
45
56
67
78
89
912345679
イェール射撃問題
Yale shooting problemフレーム問題
Frame problemプロダクションシステム
Production system (computer science)理論計算機科学
Theoretical computer scienceカリー=ハワード同型対応
Curry–Howard correspondence