The Stochastic Geometric Machine Model

Authors

  • R.H.S. Reiser
  • G.P. Dimuro
  • A.C.R. Costa

DOI:

https://doi.org/10.5540/tema.2004.05.02.0307

Abstract

This paper introduces the stochastic version of the Geometric Machine Model for the modelling of sequential, alternative, parallel (synchronous) and nondeterministic computations with stochastic numbers stored in a (possibly infinite) shared memory. The programming language L(D! 1), induced by the Coherence Space of Processes D! 1, can be applied to sequential and parallel products in order to provide recursive definitions for such processes, together with a domain-theoretic semantics of the Stochastic Arithmetic. We analyze both the spacial (ordinal) recursion, related to spacial modelling of the stochastic memory, and the temporal (structural) recursion, given by the inclusion relation modelling partial objects in the ordered structure of process construction.

References

[1] G.P. Dimuro, A.C.R. Costa and D.M. Claudio, A Coherence Space of Rational Intervals for a Construction of IR, Reliable Computing, 6, No. 2 (2000), 139-178.

J. -Y. Girard, Linear Logic, Theoretical Computer Science, 1 (1987), 187-212.

S. Markov, On the Algebraic Properties of Intervals and Some Applications, Reliable Computing, 7, No. 2 (2001), 113-127.

S. Markov and R. Alt, Stochastic Arithmetic: Addition and Multiplication by Scalars, Applied and Numerical Mathematics, 50 (2004), 475-488.

R.E. Moore, “Methods and Applications of Interval Analysis”, SIAM, 1979.

R.H.S. Reiser, A.C.R. Costa and G.P. Dimuro, First steps in the construction of the Geometric Machine, em “Seleta do XXIV CNMAC” (E.X.L. de Andrade, J.M. Balthazar, S.M. Gomes, G.N. Silva and A. Sri Ranga, eds.), Tendências em Matemática Aplicada e Computacional, Vol. 3, pp. 183-192, SBMAC, 2002.

R.H.S. Reiser, A.C.R. Costa and G.P. Dimuro, A programming language for the Interval GeometricMachine, Electronic Notes in Theoretical Computer Science, 84 (2003), 1-12.

R.H.S. Reiser, G. P. Dimuro and AC. R. Costa, The Interval Geometric Machine Model, Numerical Algorithms, 37, No. 4 (2004), 357-366.

D. Scott, Some definitional suggestions for automata theory, Journal of Computer and System Sciences, 1, No. 1 (1967), 187-212.

V. Stoltenberg-Hansen, I. Lindstr¨om and E. R. Griffor, “Mathematical Theory of Domains”, Cambridge University Press, Cambridge, 1994.

Downloads

Published

2004-06-01

How to Cite

Reiser, R., Dimuro, G., & Costa, A. (2004). The Stochastic Geometric Machine Model. Trends in Computational and Applied Mathematics, 5(2), 307–316. https://doi.org/10.5540/tema.2004.05.02.0307

Issue

Vol. 5 No. 2 (2004)

Section

Original Article

License

Copyright

Authors of articles published in the journal Trends in Computational and Applied Mathematics retain the copyright of their work. The journal uses Creative Commons Attribution (CC-BY) in published articles. The authors grant the TCAM journal the right to first publish the article.

Intellectual Property and Terms of Use

The content of the articles is the exclusive responsibility of the authors. The journal uses Creative Commons Attribution (CC-BY) in published articles. This license allows published articles to be reused without permission for any purpose as long as the original work is correctly cited.

The journal encourages Authors to self-archive their accepted manuscripts, publishing them on personal blogs, institutional repositories, and social media, as long as the full citation is included in the journal's website version.