Show simple item record

dc.contributor.author Reiser, Renata Hax Sander
dc.contributor.author Costa, Antonio Carlos da Rocha
dc.contributor.author Dimuro, Graçaliz Pereira
dc.date.accessioned 2012-11-24T02:27:35Z
dc.date.available 2012-11-24T02:27:35Z
dc.date.issued 2002
dc.identifier.citation 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. pt_BR
dc.identifier.uri http://repositorio.furg.br/handle/1/2824
dc.description.abstract 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. pt_BR
dc.description.abstract 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. pt_BR
dc.language.iso eng pt_BR
dc.rights open access pt_BR
dc.title First steps in the construction of the geometric machine model pt_BR
dc.type article pt_BR


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics