کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
422485 | 685095 | 2007 | 6 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On the Non-sequential Nature of Domain Models of Real-number Computation
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
Escardó, Hofmann and Streicher showed that real-number computations in the interval-domain environment are inherently parallel, in the sense that they imply the presence of weak parallel-or. Part of the argument involves showing that the addition operation is not Vuillemin sequential. We generalize this to all continuous domain environments for the real line. The key property of the real line that leads to this phenomenon is its connectedness. We show that any continuous domain environment for any connected topological space exhibits a similar parallel effect.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 173, 2 April 2007, Pages 41-46
Journal: Electronic Notes in Theoretical Computer Science - Volume 173, 2 April 2007, Pages 41-46