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.
منابع مشابه
Map-merging in Multi-robot Simultaneous Localization and Mapping Process Using Two Heterogeneous Ground Robots
In this article, a fast and reliable map-merging algorithm is proposed to produce a global two dimensional map of an indoor environment in a multi-robot simultaneous localization and mapping (SLAM) process. In SLAM process, to find its way in this environment, a robot should be able to determine its position relative to a map formed from its observations. To solve this complex problem, simultan...
متن کاملGPU-accelerated join-order optimization
Join-order optimization is an important task during query processing in DBMSs. The execution time of different join orders can vary by several orders of magnitude. Hence, efficient join orders are essential to ensure the efficiency of query processing. Established techniques for join-order optimization pose a challenge for current hardware architectures, because they are mainly sequential algor...
متن کاملکاربرد دادههای رقومی سنجنده TM در تهیه نقشه کاربری اراضی حوضه آبخیز رودخانه بازفت
Satellite data use is finding global applications because they provide repeated cover, broad information, high electromagnetic spectral resolution, and software-hardware compatibilities. This study aims to evaluate of the Landsat TM data capabilities in land-use mapping of Bazoft River basin (Chahar Mahale Bakhtiary Province). Six spectral bands of the Landsate TM were employed to produce land-...
متن کاملکاربرد دادههای رقومی سنجنده TM در تهیه نقشه کاربری اراضی حوضه آبخیز رودخانه بازفت
Satellite data use is finding global applications because they provide repeated cover, broad information, high electromagnetic spectral resolution, and software-hardware compatibilities. This study aims to evaluate of the Landsat TM data capabilities in land-use mapping of Bazoft River basin (Chahar Mahale Bakhtiary Province). Six spectral bands of the Landsate TM were employed to produce land-...
متن کاملStream Join Processing on Heterogeneous Processors
The window-based stream join is an important operator in all data streaming systems. It has often high resource requirements so that many efficient sequential as well as parallel versions of it were proposed in the literature. The parallel stream join operators recently gain increasing interest because hardware is getting more and more parallel. Most of these operators, however, are only optimi...
متن کامل