1 resultado para body-size change
em Universidade Complutense de Madrid
Filtro por publicador
- Aberdeen University (1)
- Abertay Research Collections - Abertay University’s repository (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (5)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (1)
- Aquatic Commons (28)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (4)
- Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (1)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (6)
- Aston University Research Archive (2)
- Avian Conservation and Ecology - Eletronic Cientific Hournal - Écologie et conservation des oiseaux: (2)
- Biblioteca de Teses e Dissertações da USP (3)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (21)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (7)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (4)
- Biodiversity Heritage Library, United States (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (27)
- Boston University Digital Common (1)
- Brock University, Canada (8)
- Bucknell University Digital Commons - Pensilvania - USA (2)
- CaltechTHESIS (1)
- Cambridge University Engineering Department Publications Database (1)
- CentAUR: Central Archive University of Reading - UK (51)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (33)
- Coffee Science - Universidade Federal de Lavras (2)
- CORA - Cork Open Research Archive - University College Cork - Ireland (2)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (1)
- Deakin Research Online - Australia (171)
- Digital Commons - Michigan Tech (1)
- Digital Commons @ Winthrop University (1)
- Digital Commons at Florida International University (16)
- DigitalCommons - The University of Maine Research (2)
- DigitalCommons@The Texas Medical Center (10)
- DigitalCommons@University of Nebraska - Lincoln (3)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (17)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (8)
- Helda - Digital Repository of University of Helsinki (14)
- Indian Institute of Science - Bangalore - Índia (13)
- Institutional Repository of Leibniz University Hannover (1)
- Instituto Gulbenkian de Ciência (3)
- Instituto Politécnico do Porto, Portugal (1)
- Instituto Superior de Psicologia Aplicada - Lisboa (1)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (1)
- Memorial University Research Repository (2)
- National Center for Biotechnology Information - NCBI (15)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (23)
- Publishing Network for Geoscientific & Environmental Data (41)
- QSpace: Queen's University - Canada (3)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (49)
- Queensland University of Technology - ePrints Archive (38)
- Repositório Científico da Universidade de Évora - Portugal (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (1)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (3)
- REPOSITORIO DIGITAL IMARPE - INSTITUTO DEL MAR DEL PERÚ, Peru (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (3)
- Repositório Institucional da Universidade de Brasília (1)
- Repositório Institucional da Universidade Estadual de São Paulo - UNESP (2)
- Repositório Institucional da Universidade Federal do Rio Grande - FURG (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (165)
- SAPIENTIA - Universidade do Algarve - Portugal (2)
- Universidad del Rosario, Colombia (9)
- Universidad Politécnica de Madrid (2)
- Universidade Complutense de Madrid (1)
- Universidade de Lisboa - Repositório Aberto (2)
- Universidade de Madeira (1)
- Universidade Estadual Paulista "Júlio de Mesquita Filho" (UNESP) (1)
- Universidade Federal do Pará (9)
- Universidade Federal do Rio Grande do Norte (UFRN) (10)
- Universitat de Girona, Spain (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (3)
- Université de Lausanne, Switzerland (6)
- Université de Montréal, Canada (5)
- University of Connecticut - USA (1)
- University of Michigan (11)
- University of Queensland eSpace - Australia (43)
- University of Washington (2)
- WestminsterResearch - UK (1)
Resumo:
De entre una serie de métodos estudiados acerca de la terminación de algoritmos, tales como Size-Change Termination o Isabelle, elegimos el método de RANK como instrumento para desarrollar nuestro propio programa de detección de terminación sobre el lenguaje de la IR. Esta decisión se basa en el coste polinómico de este método (frente a costes en PSPACE como el Size-Change Termination)y la posibilidad de obtener una herramienta asociada al mismo que además nos da la posibilidad de conocer un tiempo de ejecución aproximado. La herramienta asociada a RANK es compleja y va de la mano de una segunda herramienta (ASPIC). Hemos estudiado varios ejemplos, tales como el Mergesort o el Quicksort, para explicar la utilización de estas dos herramientas y a su vez ponernos en situación de los diferentes problemas que nos podemos encontrar a la hora de estudiar un programa. Partiendo del proceso que hemos usado para construir los automátas de los ejemplos anteriores, hemos diseñado e implementado en Java un algoritmo para transformar programas en el lenguaje de la IR al formato de entrada de RANK. Los resultados han sido satisfactorios, puesto que con los autómatas generados somos capaces de detectar de forma automatizada la terminación de, entre otros, los algoritmos recursivos antes mencionados.