کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10330113 | 685743 | 2005 | 7 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting](/preview/png/10330113.png)
چکیده انگلیسی
The BSMLlib library is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml. It is based on an extension of the λ-calculus by parallel operations on a data structure named parallel vector, which is given by intention. In order to have an execution that follows the BSP model, and to have a simple cost model, nesting of parallel vectors is not allowed. The novelty of this paper is a type system which prevents such nesting. This system is correct w.r.t. the dynamic semantics.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Future Generation Computer Systems - Volume 21, Issue 5, May 2005, Pages 665-671
Journal: Future Generation Computer Systems - Volume 21, Issue 5, May 2005, Pages 665-671
نویسندگان
F. Gava, F. Loulergue,