On the non-sequential nature of the interval-domain model of real-number computation

Research output: Contribution to journalArticle

Authors

Colleges, School and Institutes

Abstract

We show that real-number computations in the interval-domain environment are 'inherently parallel' in a precise mathematical sense. We do this by reducing computations of the weak parallel-or operation on the Sierpinski domain to computations of the addition operation on the interval domain.

Details

Original languageEnglish
Pages (from-to)803-814
Number of pages12
JournalMathematical Structures in Computer Science
Volume14
Issue number6
Publication statusPublished - 1 Jan 2004