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/4894
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
id FURG_32821c0985406bbd53bbc6e950539028
oai_identifier_str oai:repositorio.furg.br:1/4894
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 processApresenta-se a versão estocástica da Máquina Geométrica, capaz de interpretar computações sequenciais, paralelas (síncronas) e não determinísticas,considerando uma memória compartilhada (posssivelmente infinita). A linguagem de programação L(D →∞), induzida pelo espaço coerente de processos D →∞, pode ser aplicada sobre produtos sequenciais e paralelos, para prover definições recursivas de processos estocásticos e uma semântica denotacional para a Aritmética Estocástica. São analisadas a recursão espacial (ou ordinal) relacionada com a modelagem espacial da memória, e a recursão temporal (ou estrutural) obtida pela relação de inclusão modelando objetos parciais na estrutura do modelo. O estudo da complexidade de algumas operações e algoritmos aritméticos estocásticos mostrou a adequação da representação escolhida para os números estocásticos, assim como as vantagens da estruturação paralela de programas de aritmética estocástica.2015-05-22T18:32:57Z2015-05-22T18:32:57Z2004info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfREISER, Renata Hax Sander; DIMURO, Graçaliz Pereira; COSTA, Antônio Carlos da Rocha. The stochastic geometric machine model. TEMA - Tendências em Matemática Aplicada e Computacional, v. 5, n. 2, p. 307-316, 2004. Disponível em: <http://tema.sbmac.org.br/tema/article/view/329>. Acesso em: 15 maio 2015.2179-8451http://repositorio.furg.br/handle/1/489410.5540/tema.2004.05.02.0307engReiser, 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:FURG2019-11-14T00:46:53Zoai:repositorio.furg.br:1/4894Repositório InstitucionalPUBhttps://repositorio.furg.br/oai/request || http://200.19.254.174/oai/requestopendoar:2019-11-14T00:46:53Repositó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
publishDate 2004
dc.date.none.fl_str_mv 2004
2015-05-22T18:32:57Z
2015-05-22T18:32:57Z
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, Antônio Carlos da Rocha. The stochastic geometric machine model. TEMA - Tendências em Matemática Aplicada e Computacional, v. 5, n. 2, p. 307-316, 2004. Disponível em: <http://tema.sbmac.org.br/tema/article/view/329>. Acesso em: 15 maio 2015.
2179-8451
http://repositorio.furg.br/handle/1/4894
10.5540/tema.2004.05.02.0307
identifier_str_mv REISER, Renata Hax Sander; DIMURO, Graçaliz Pereira; COSTA, Antônio Carlos da Rocha. The stochastic geometric machine model. TEMA - Tendências em Matemática Aplicada e Computacional, v. 5, n. 2, p. 307-316, 2004. Disponível em: <http://tema.sbmac.org.br/tema/article/view/329>. Acesso em: 15 maio 2015.
2179-8451
10.5540/tema.2004.05.02.0307
url http://repositorio.furg.br/handle/1/4894
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_ 1813187269366906880

Registros relacionados