The stochastic geometric machine model

Detalhes bibliográficos
Autor(a) principal: Reiser, Renata Hax Sander
Data de Publicação: 2004
Outros Autores: Dimuro, Graçaliz Pereira, Costa, Antonio Carlos da Rocha
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da FURG (RI FURG)
Texto Completo: http://repositorio.furg.br/handle/1/6417
Resumo: 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.
id FURG_d79de3b981c1d0555c242d860d2b89d3
oai_identifier_str oai:repositorio.furg.br:1/6417
network_acronym_str FURG
network_name_str Repositório Institucional da FURG (RI FURG)
repository_id_str
spelling The stochastic geometric machine modelThis 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.2016-08-30T17:13:49Z2016-08-30T17:13:49Z2004info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfREISER, Renata Hax Sander; DIMURO, Graçaliz Pereira; COSTA, Antonio Carlos da Rocha. The stochastic geometric machine model. TEMA. Tend. Mat. Apl. Comput., v. 5, n. 2, p. 307-316, 2004. Disponível em: <http://www.sbmac.org.br/tema/seletas/docs/v5_2/00-Reiser.pdf.>. Acesso em: 12 jan. 2015.2179-8451http://repositorio.furg.br/handle/1/6417engReiser, Renata Hax SanderDimuro, Graçaliz PereiraCosta, Antonio Carlos da Rochainfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da FURG (RI FURG)instname:Universidade Federal do Rio Grande (FURG)instacron:FURG2016-08-30T17:13:49Zoai:repositorio.furg.br:1/6417Repositório InstitucionalPUBhttps://repositorio.furg.br/oai/request || http://200.19.254.174/oai/requestopendoar:2016-08-30T17:13:49Repositório Institucional da FURG (RI FURG) - Universidade Federal do Rio Grande (FURG)false
dc.title.none.fl_str_mv The stochastic geometric machine model
title The stochastic geometric machine model
spellingShingle The stochastic geometric machine model
Reiser, Renata Hax Sander
title_short The stochastic geometric machine model
title_full The stochastic geometric machine model
title_fullStr The stochastic geometric machine model
title_full_unstemmed The stochastic geometric machine model
title_sort The stochastic geometric machine model
author Reiser, Renata Hax Sander
author_facet Reiser, Renata Hax Sander
Dimuro, Graçaliz Pereira
Costa, Antonio Carlos da Rocha
author_role author
author2 Dimuro, Graçaliz Pereira
Costa, Antonio Carlos da Rocha
author2_role author
author
dc.contributor.author.fl_str_mv Reiser, Renata Hax Sander
Dimuro, Graçaliz Pereira
Costa, Antonio Carlos da Rocha
description 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.
publishDate 2004
dc.date.none.fl_str_mv 2004
2016-08-30T17:13:49Z
2016-08-30T17:13:49Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv REISER, Renata Hax Sander; DIMURO, Graçaliz Pereira; COSTA, Antonio Carlos da Rocha. The stochastic geometric machine model. TEMA. Tend. Mat. Apl. Comput., v. 5, n. 2, p. 307-316, 2004. Disponível em: <http://www.sbmac.org.br/tema/seletas/docs/v5_2/00-Reiser.pdf.>. Acesso em: 12 jan. 2015.
2179-8451
http://repositorio.furg.br/handle/1/6417
identifier_str_mv REISER, Renata Hax Sander; DIMURO, Graçaliz Pereira; COSTA, Antonio Carlos da Rocha. The stochastic geometric machine model. TEMA. Tend. Mat. Apl. Comput., v. 5, n. 2, p. 307-316, 2004. Disponível em: <http://www.sbmac.org.br/tema/seletas/docs/v5_2/00-Reiser.pdf.>. Acesso em: 12 jan. 2015.
2179-8451
url http://repositorio.furg.br/handle/1/6417
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da FURG (RI FURG)
instname:Universidade Federal do Rio Grande (FURG)
instacron:FURG
instname_str Universidade Federal do Rio Grande (FURG)
instacron_str FURG
institution FURG
reponame_str Repositório Institucional da FURG (RI FURG)
collection Repositório Institucional da FURG (RI FURG)
repository.name.fl_str_mv Repositório Institucional da FURG (RI FURG) - Universidade Federal do Rio Grande (FURG)
repository.mail.fl_str_mv
_version_ 1807384379331182592

Registros relacionados