将连接演算映射到异构硬件
Mapping the Join Calculus to Heterogeneous Hardware
摘要：
由于现代架构引入了额外的异构性和并行性，我们寻找方法来处理这个问题，而不涉及专门的软件到每个平台。在本文中，我们采取了连接演算，并发计算的一个优雅的模型，并展示了它如何可以映射到一个架构的笛卡尔积风格的建设，从而利用演算的固有的非确定性编码的位置选择。这将放置和调度的概念统一到单个任务中。
英文摘要：
As modern architectures introduce additional heterogeneity and parallelism, we look for ways to deal with this that do not involve specialising software to every platform. In this paper, we take the Join Calculus, an elegant model for concurrent computation, and show how it can be mapped to an architecture by a Cartesian-product-style construction, thereby making use of the calculus' inherent non-determinism to encode placement choices. This unifies the concepts of placement and scheduling into a single task.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
