First steps in the construction of the geometric machine model

Detalhes bibliográficos
Autor(a) principal: Reiser, Renata Hax Sander
Data de Publicação: 2002
Outros Autores: Costa, Antonio Carlos da Rocha, Dimuro, Graçaliz Pereira
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/2824
Resumo: This work introduces the Geometric Machine (GM) – a computational model for the construction and representation of concurrent and non-deterministic processes, preformed in a synchronized way, with infinite memory whose positionsare labelled by the points of a geometric space. The ordered structure of the GM model is based on Girard’s Coherence Spaces. Starting with a coherence space of elementary processes, the inductive domain-theoretic structure of this model is step-wise and systematically constructed and the procedure completion ensures the existence of temporally and spatially infinite computations. A particular aim of our work is to apply this coherence-space-based interpretation to the semantic modelling parallelism and distributed computation over array structures.
id FURG_df00eed8389aaf02a41c6fd77dbb16cc
oai_identifier_str oai:repositorio.furg.br:1/2824
network_acronym_str FURG
network_name_str Repositório Institucional da FURG (RI FURG)
repository_id_str
spelling First steps in the construction of the geometric machine modelThis work introduces the Geometric Machine (GM) – a computational model for the construction and representation of concurrent and non-deterministic processes, preformed in a synchronized way, with infinite memory whose positionsare labelled by the points of a geometric space. The ordered structure of the GM model is based on Girard’s Coherence Spaces. Starting with a coherence space of elementary processes, the inductive domain-theoretic structure of this model is step-wise and systematically constructed and the procedure completion ensures the existence of temporally and spatially infinite computations. A particular aim of our work is to apply this coherence-space-based interpretation to the semantic modelling parallelism and distributed computation over array structures.Este trabalho introduz a Máquina Geométrica (MG) - um modelo computacional para construção e representação de processos concorrentes e não determinísticos, executados de forma sincronizada, com memória infinita cujas posições são rotuladas por pontos de um espaço geométrico. A estrutura ordenada do modelo MG ´e formalizada como um Espaço Coerente de Girard. A partir do espaço coerente de processos elementares, a estrutura indutiva deste domínio é sistematicamente construıda em etapas e o procedimento de completaçãao assegura a existencia de computações temporal e espacialmente infinitas. Um especial objetivo deste trabalho ´e aplicar esta representa¸c˜ao baseada em espaçcos coerentes na modelagem semantica de computações paralelas e distribuıdas, definidas sobre estruturas matriciais.2012-11-24T02:27:35Z2012-11-24T02:27:35Z2002info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfREIZER, Renata Hax Sander; COSTA, Antônio Carlos da Rocha; DIMURO, Graçaliz Pereira. First steps in the construction of the geometric machine model. Tendências em Matemática Aplicada e Computacional, v. 3, n.1, p. 183-192, 2002. Disponível em: <http://www.sbmac.org.br/tema/seletas/docs/v3_1/0reiser.pdf>. Acesso em: 17 nov. 2012.http://repositorio.furg.br/handle/1/2824engReiser, Renata Hax SanderCosta, Antonio Carlos da RochaDimuro, Graçaliz Pereirainfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da FURG (RI FURG)instname:Universidade Federal do Rio Grande (FURG)instacron:FURG2014-09-08T11:58:37Zoai:repositorio.furg.br:1/2824Repositório InstitucionalPUBhttps://repositorio.furg.br/oai/request || http://200.19.254.174/oai/requestopendoar:2014-09-08T11:58:37Repositório Institucional da FURG (RI FURG) - Universidade Federal do Rio Grande (FURG)false
dc.title.none.fl_str_mv First steps in the construction of the geometric machine model
title First steps in the construction of the geometric machine model
spellingShingle First steps in the construction of the geometric machine model
Reiser, Renata Hax Sander
title_short First steps in the construction of the geometric machine model
title_full First steps in the construction of the geometric machine model
title_fullStr First steps in the construction of the geometric machine model
title_full_unstemmed First steps in the construction of the geometric machine model
title_sort First steps in the construction of the geometric machine model
author Reiser, Renata Hax Sander
author_facet Reiser, Renata Hax Sander
Costa, Antonio Carlos da Rocha
Dimuro, Graçaliz Pereira
author_role author
author2 Costa, Antonio Carlos da Rocha
Dimuro, Graçaliz Pereira
author2_role author
author
dc.contributor.author.fl_str_mv Reiser, Renata Hax Sander
Costa, Antonio Carlos da Rocha
Dimuro, Graçaliz Pereira
description This work introduces the Geometric Machine (GM) – a computational model for the construction and representation of concurrent and non-deterministic processes, preformed in a synchronized way, with infinite memory whose positionsare labelled by the points of a geometric space. The ordered structure of the GM model is based on Girard’s Coherence Spaces. Starting with a coherence space of elementary processes, the inductive domain-theoretic structure of this model is step-wise and systematically constructed and the procedure completion ensures the existence of temporally and spatially infinite computations. A particular aim of our work is to apply this coherence-space-based interpretation to the semantic modelling parallelism and distributed computation over array structures.
publishDate 2002
dc.date.none.fl_str_mv 2002
2012-11-24T02:27:35Z
2012-11-24T02:27:35Z
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 REIZER, Renata Hax Sander; COSTA, Antônio Carlos da Rocha; DIMURO, Graçaliz Pereira. First steps in the construction of the geometric machine model. Tendências em Matemática Aplicada e Computacional, v. 3, n.1, p. 183-192, 2002. Disponível em: <http://www.sbmac.org.br/tema/seletas/docs/v3_1/0reiser.pdf>. Acesso em: 17 nov. 2012.
http://repositorio.furg.br/handle/1/2824
identifier_str_mv REIZER, Renata Hax Sander; COSTA, Antônio Carlos da Rocha; DIMURO, Graçaliz Pereira. First steps in the construction of the geometric machine model. Tendências em Matemática Aplicada e Computacional, v. 3, n.1, p. 183-192, 2002. Disponível em: <http://www.sbmac.org.br/tema/seletas/docs/v3_1/0reiser.pdf>. Acesso em: 17 nov. 2012.
url http://repositorio.furg.br/handle/1/2824
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_ 1813187256048943104

Registros relacionados