Hostname: page-component-784d4fb959-pn44h Total loading time: 0 Render date: 2025-07-17T00:20:58.882Z Has data issue: false hasContentIssue false
  • English
  • Français

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

Published online by Cambridge University Press:  16 November 2004

MARTÍN ESCARDÓ ,
MARTIN HOFMANN  and
THOMAS STREICHER
MARTÍN ESCARDÓ
Affiliation:
School of Computer Science, University of Birmingham, Birmingham B15 2TT, UK Email: m.escardo@cs.bham.ac.uk
MARTIN HOFMANN
Affiliation:
LMU München, Institut für Informatik, Oettingenstraße 67, 80538 München, Germany
THOMAS STREICHER
Affiliation:
Fachbereich Mathematik, Technische Universität Darmstadt, Schloßgartenstraße 7, 64289 Darmstadt, Germany
Get access Rights & Permissions [Opens in a new window]

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.

Information

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 14 , Issue 6 , December 2004 , pp. 803 - 814
Copyright
© 2004 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable