Sobre ferramentas para análise automatizada de algoritmos

Detalhes bibliográficos
Autor(a) principal: Souza, Juliana Macario de
Data de Publicação: 2018
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UERJ
Texto Completo: http://www.bdtd.uerj.br/handle/1/7661
Resumo: This work aims to compare tools that produce an automated analysis of algorithms, through experiments with several types of algorithms and data structures. For each one, the results obtained by such tools are evaluated qualitatively. In addition, the objective is to present the methodology and functionalities of the tool EMA (EMpirical Analysis of algorithms). Finally, the results of an empirical analysis methodology called Big-Enough test are presented. This methodology consists of determining the initial value of input size for which analytic complexity is verified empirically. The methodology was applied to several algorithms, whose time complexity functions are of several classes
id UERJ_4ed819b7a18fba62604a07a20ba1c0d1
oai_identifier_str oai:www.bdtd.uerj.br:1/7661
network_acronym_str UERJ
network_name_str Biblioteca Digital de Teses e Dissertações da UERJ
repository_id_str 2903
spelling Oliveira, Fabiano de Souzahttp://lattes.cnpq.br/7554024807062103Pinto, Paulo Eustáquio Duartehttp://lattes.cnpq.br/5413422509570085Barbosa, Valmir Carneirohttp://lattes.cnpq.br/4602221579308599Protti, Fábiohttp://lattes.cnpq.br/00000000000000000http://lattes.cnpq.br/5937818546919904Souza, Juliana Macario de2021-01-05T17:53:31Z2019-03-082018-09-13SOUZA, Juliana Macario de. Sobre ferramentas para análise automatizada de algoritmos. 2018. 109 f. Dissertação (Mestrado em Modelagem matemático-estatístico-computacional) - Universidade do Estado do Rio de Janeiro, Rio de Janeiro, 2018.http://www.bdtd.uerj.br/handle/1/7661This work aims to compare tools that produce an automated analysis of algorithms, through experiments with several types of algorithms and data structures. For each one, the results obtained by such tools are evaluated qualitatively. In addition, the objective is to present the methodology and functionalities of the tool EMA (EMpirical Analysis of algorithms). Finally, the results of an empirical analysis methodology called Big-Enough test are presented. This methodology consists of determining the initial value of input size for which analytic complexity is verified empirically. The methodology was applied to several algorithms, whose time complexity functions are of several classesEste trabalho tem por objetivo comparar ferramentas que produzem análise automatizada de algoritmos, através da realização de experimentos com diversos tipos de algoritmos e estruturas de dados. Para cada um, avaliam-se qualitativamente os resultados obtidos por tais ferramentas. Além disso, tem-se por objetivo apresentar a metodologia e as funcionalidades da ferramenta EMA (EMpirical Analysis of algorithms). Finalmente são apresentados os resultados de uma metodologia de análise empírica chamada teste do Big-Enough. Esta metodologia consiste em determinar o valor inicial de tamanho de entrada para o qual verifica-se empiricamente a complexidade analítica. A metodologia foi aplicada a diversos algoritmos, cujas funções de complexidade de tempo são de variadas classesSubmitted by Boris Flegr (boris@uerj.br) on 2021-01-05T17:53:31Z No. of bitstreams: 1 Juliana Macario de Souza_IME_UERJ_2018.pdf: 2703641 bytes, checksum: 3227a950ceedc673cb28396aa34f666e (MD5)Made available in DSpace on 2021-01-05T17:53:31Z (GMT). No. of bitstreams: 1 Juliana Macario de Souza_IME_UERJ_2018.pdf: 2703641 bytes, checksum: 3227a950ceedc673cb28396aa34f666e (MD5) Previous issue date: 2018-09-13Fundação de Amparo à Pesquisa do Estado do Rio de Janeiroapplication/pdfporUniversidade do Estado do Rio de JaneiroPrograma de Pós-Graduação em Ciências ComputacionaisUERJBRCentro de Tecnologia e Ciências::Instituto de Matemática e EstatísticaAlgorithmsComplexity of AlgorithmsEmpirical Analysis of AlgorithmsAutomatic Analysis of AlgorithmsComplexidade de algoritmosAnálise empírica de algoritmosAnálise automática de algoritmosAlgoritmosCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOSobre ferramentas para análise automatizada de algoritmosAbout tools for automated algorithm analysisinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UERJinstname:Universidade do Estado do Rio de Janeiro (UERJ)instacron:UERJORIGINALJuliana Macario de Souza_IME_UERJ_2018.pdfapplication/pdf2703641http://www.bdtd.uerj.br/bitstream/1/7661/1/Juliana+Macario+de+Souza_IME_UERJ_2018.pdf3227a950ceedc673cb28396aa34f666eMD511/76612024-02-27 14:34:53.549oai:www.bdtd.uerj.br:1/7661Biblioteca Digital de Teses e Dissertaçõeshttp://www.bdtd.uerj.br/PUBhttps://www.bdtd.uerj.br:8443/oai/requestbdtd.suporte@uerj.bropendoar:29032024-02-27T17:34:53Biblioteca Digital de Teses e Dissertações da UERJ - Universidade do Estado do Rio de Janeiro (UERJ)false
dc.title.por.fl_str_mv Sobre ferramentas para análise automatizada de algoritmos
dc.title.alternative.eng.fl_str_mv About tools for automated algorithm analysis
title Sobre ferramentas para análise automatizada de algoritmos
spellingShingle Sobre ferramentas para análise automatizada de algoritmos
Souza, Juliana Macario de
Algorithms
Complexity of Algorithms
Empirical Analysis of Algorithms
Automatic Analysis of Algorithms
Complexidade de algoritmos
Análise empírica de algoritmos
Análise automática de algoritmos
Algoritmos
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
title_short Sobre ferramentas para análise automatizada de algoritmos
title_full Sobre ferramentas para análise automatizada de algoritmos
title_fullStr Sobre ferramentas para análise automatizada de algoritmos
title_full_unstemmed Sobre ferramentas para análise automatizada de algoritmos
title_sort Sobre ferramentas para análise automatizada de algoritmos
author Souza, Juliana Macario de
author_facet Souza, Juliana Macario de
author_role author
dc.contributor.advisor1.fl_str_mv Oliveira, Fabiano de Souza
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/7554024807062103
dc.contributor.referee1.fl_str_mv Pinto, Paulo Eustáquio Duarte
dc.contributor.referee1Lattes.fl_str_mv http://lattes.cnpq.br/5413422509570085
dc.contributor.referee2.fl_str_mv Barbosa, Valmir Carneiro
dc.contributor.referee2Lattes.fl_str_mv http://lattes.cnpq.br/4602221579308599
dc.contributor.referee3.fl_str_mv Protti, Fábio
dc.contributor.referee3Lattes.fl_str_mv http://lattes.cnpq.br/00000000000000000
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/5937818546919904
dc.contributor.author.fl_str_mv Souza, Juliana Macario de
contributor_str_mv Oliveira, Fabiano de Souza
Pinto, Paulo Eustáquio Duarte
Barbosa, Valmir Carneiro
Protti, Fábio
dc.subject.eng.fl_str_mv Algorithms
Complexity of Algorithms
Empirical Analysis of Algorithms
Automatic Analysis of Algorithms
topic Algorithms
Complexity of Algorithms
Empirical Analysis of Algorithms
Automatic Analysis of Algorithms
Complexidade de algoritmos
Análise empírica de algoritmos
Análise automática de algoritmos
Algoritmos
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
dc.subject.por.fl_str_mv Complexidade de algoritmos
Análise empírica de algoritmos
Análise automática de algoritmos
Algoritmos
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
description This work aims to compare tools that produce an automated analysis of algorithms, through experiments with several types of algorithms and data structures. For each one, the results obtained by such tools are evaluated qualitatively. In addition, the objective is to present the methodology and functionalities of the tool EMA (EMpirical Analysis of algorithms). Finally, the results of an empirical analysis methodology called Big-Enough test are presented. This methodology consists of determining the initial value of input size for which analytic complexity is verified empirically. The methodology was applied to several algorithms, whose time complexity functions are of several classes
publishDate 2018
dc.date.issued.fl_str_mv 2018-09-13
dc.date.available.fl_str_mv 2019-03-08
dc.date.accessioned.fl_str_mv 2021-01-05T17:53:31Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv SOUZA, Juliana Macario de. Sobre ferramentas para análise automatizada de algoritmos. 2018. 109 f. Dissertação (Mestrado em Modelagem matemático-estatístico-computacional) - Universidade do Estado do Rio de Janeiro, Rio de Janeiro, 2018.
dc.identifier.uri.fl_str_mv http://www.bdtd.uerj.br/handle/1/7661
identifier_str_mv SOUZA, Juliana Macario de. Sobre ferramentas para análise automatizada de algoritmos. 2018. 109 f. Dissertação (Mestrado em Modelagem matemático-estatístico-computacional) - Universidade do Estado do Rio de Janeiro, Rio de Janeiro, 2018.
url http://www.bdtd.uerj.br/handle/1/7661
dc.language.iso.fl_str_mv por
language por
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.publisher.none.fl_str_mv Universidade do Estado do Rio de Janeiro
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Ciências Computacionais
dc.publisher.initials.fl_str_mv UERJ
dc.publisher.country.fl_str_mv BR
dc.publisher.department.fl_str_mv Centro de Tecnologia e Ciências::Instituto de Matemática e Estatística
publisher.none.fl_str_mv Universidade do Estado do Rio de Janeiro
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UERJ
instname:Universidade do Estado do Rio de Janeiro (UERJ)
instacron:UERJ
instname_str Universidade do Estado do Rio de Janeiro (UERJ)
instacron_str UERJ
institution UERJ
reponame_str Biblioteca Digital de Teses e Dissertações da UERJ
collection Biblioteca Digital de Teses e Dissertações da UERJ
bitstream.url.fl_str_mv http://www.bdtd.uerj.br/bitstream/1/7661/1/Juliana+Macario+de+Souza_IME_UERJ_2018.pdf
bitstream.checksum.fl_str_mv 3227a950ceedc673cb28396aa34f666e
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UERJ - Universidade do Estado do Rio de Janeiro (UERJ)
repository.mail.fl_str_mv bdtd.suporte@uerj.br
_version_ 1792352278656581632

Registros relacionados