Preface to the special issue on Formal Approaches to Parallel and Distributed Systems 2018
Journal of Logical and Algebraic Methods in Programming（2020）
摘要
This special issue contains extended versions of selected papers from the 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2018). The symposium was held in Orléans, France on July 19th, 2020 in conjunction with the 2018 International Conference on High Performance Computing & Simulation (HPCS 2018).
更多查看译文
关键词
Distributed systems,Synchronous and asynchronous communication,Choregraphies,CPU-GPU heterogeneous systems,Parallelism semantics,Synthesis
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要