Tag: concurrency
Showing 2 posts
-
Publications 2021.06.15
Publications 2021.06.15
An Extensionally Equivalence-ensured Language for Task Parallel Processing with Backtracking-based Load Balancing An Extensionally Equivalence-ensured Language for Task Parallel Processing with Backtracking-based Load Balancing
Tatsuya Abe and Tasuku Hiraishi. An Extensionally Equivalence-ensured Language for Task Parallel Processing wi...work stealingload balancingtask parallel processingterminationconfluencerewritingconcurrencyoperational semanticsdomain-specific language
-
Publications 2019.10.23
Publications 2019.10.23
A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language
Tatsuya Abe. A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language. In Pro...parallel processingconcurrencytype systemoperational semanticshigh performance computingprogram verification