The distributed interval geometric machine model

Authors:
Renata H. S. Reiser;Antônio C. R. Costa;Graçaliz P. Dimuro
Affiliations:
Escola de Informática, Universidade Católica de Pelotas, Pelotas, Brazil;,Escola de Informática, Universidade Católica de Pelotas, Pelotas, Brazil;Escola de Informática, Universidade Católica de Pelotas, Pelotas, Brazil
Venue:
PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
Year:
2004

Citing 3
Cited 0

Linear logic

Theoretical Computer Science
Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)

Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)
Some definitional suggestions for automata theory

Journal of Computer and System Sciences

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a distributed version of the Interval Geometric Machine Model, called Distributed Interval Geometric Machine, whose inductive construction allows recursive definitions for interval algorithms involving possibly infinite distributed and synchronous parallel computations performed over array structures. In addition, the programming language $\cal{L}(\mathbb{D}_{\infty})$ is extended to model the semantics of sample distributed algorithms applied to Interval Mathematics.