کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4951432 | 1364355 | 2016 | 7 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Diversity and adjudication
ترجمه فارسی عنوان
تنوع و قضاوت
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
This paper takes an axiomatic and calculational view of diversity (or “N-version programming”), where multiple implementations of the same specification are executed in parallel to increase dependability. The central notion is “adjudication”: once we have multiple, potential different, outcomes, how do we come to a single result? Adjudication operators are explicitly defined and some general properties for these explored.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 85, Issue 5, Part 2, August 2016, Pages 860-866
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 85, Issue 5, Part 2, August 2016, Pages 860-866
نویسندگان
Eerke A. Boiten,