Mapping the Join Calculus to Heterogeneous Hardware

نویسندگان

  • Peter Calvert
  • Alan Mycroft
چکیده

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.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012