1 resultado para apl
em Repositório Institucional da Universidade Federal do Rio Grande - FURG
Filtro por publicador
- Academic Archive On-line (Jönköping University; Sweden) (1)
- Academic Research Repository at Institute of Developing Economies (1)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Aston University Research Archive (3)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (15)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (2)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (19)
- Cambridge University Engineering Department Publications Database (1)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (3)
- Cochin University of Science & Technology (CUSAT), India (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (5)
- CORA - Cork Open Research Archive - University College Cork - Ireland (1)
- Dalarna University College Electronic Archive (2)
- Deakin Research Online - Australia (1)
- Digital Peer Publishing (1)
- DigitalCommons@The Texas Medical Center (1)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (1)
- Escola Superior de Educação de Paula Frassinetti (1)
- Greenwich Academic Literature Archive - UK (1)
- Helda - Digital Repository of University of Helsinki (2)
- Indian Institute of Science - Bangalore - Índia (91)
- Institutional Repository of Leibniz University Hannover (3)
- Instituto Politécnico de Viseu (1)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (2)
- Ministerio de Cultura, Spain (5)
- National Center for Biotechnology Information - NCBI (13)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (2)
- Portal de Revistas Científicas Complutenses - Espanha (1)
- Publishing Network for Geoscientific & Environmental Data (7)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (13)
- Queensland University of Technology - ePrints Archive (9)
- RDBU - Repositório Digital da Biblioteca da Unisinos (3)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (1)
- Repositorio Académico de la Universidad Nacional de Costa Rica (1)
- Repositório Alice (Acesso Livre à Informação Científica da Embrapa / Repository Open Access to Scientific Information from Embrapa) (3)
- Repositório digital da Fundação Getúlio Vargas - FGV (14)
- Repositório Digital da Universidade Municipal de São Caetano do Sul - USCS (10)
- Repositório do Centro Hospitalar de Lisboa Central, EPE - Centro Hospitalar de Lisboa Central, EPE, Portugal (1)
- Repositório Institucional da Universidade Federal do Rio Grande - FURG (1)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (3)
- Repositório Institucional da Universidade Tecnológica Federal do Paraná (RIUT) (1)
- Repositorio Institucional de la Universidad Nacional Agraria (2)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (35)
- SAPIENTIA - Universidade do Algarve - Portugal (4)
- Universidad del Rosario, Colombia (270)
- Universidad Politécnica de Madrid (25)
- Universidade Federal do Pará (3)
- Universidade Federal do Rio Grande do Norte (UFRN) (9)
- Universidade Metodista de São Paulo (1)
- Universitat de Girona, Spain (2)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
- Université de Lausanne, Switzerland (1)
- Université de Montréal (1)
- Université de Montréal, Canada (4)
- University of Michigan (3)
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.