Similar to 並行制約プログラミング
Unified Parallel C
Unified Parallel C
X10 (プログラミング言語)
X10 (programming language)XcalableMP
区分化大域アドレス空間
Partitioned global address space
構造化された並行性
Structured concurrency
逐次一貫性
Sequential consistencyプロセッサ一貫性
Processor consistency
並列計算
Parallel computing
分散コンピューティング
Distributed computing
0
0
1
1▼-1 trends
2
2
3
3▼-1 trends
4
4
5
5
6
6
7
7
8
8
9
9
12345679
イェール射撃問題
Yale shooting problem
フレーム問題
Frame problem
プロダクションシステム
Production system (computer science)
理論計算機科学
Theoretical computer science
カリー＝ハワード同型対応
Curry–Howard correspondence
グスタフソンの法則
Gustafson's law
クヌース賞
Knuth Prize
計算木論理
Computation tree logic