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
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9▲1 trends
12345679
イェール射撃問題
Yale shooting problem
解集合プログラミング
Answer set programming
フレーム問題
Frame problem
プロダクションシステム
Production system (computer science)
理論計算機科学
Theoretical computer science
アルファベット (計算機科学)
Alphabet (formal languages)
カリー＝ハワード同型対応
Curry–Howard correspondence
グスタフソンの法則
Gustafson's law