Gerador de Testes para Verificação Funcional de Memória Compartilhada Baseado em Deep Q-learning Networks

TCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Engenharia Eletrônica.Este trabalho propõem um módulo diretor para geração de testes pseudo-aleatórios utilizados para verificação funcional de memória compartilhada coerente baseado em técnicas de Aprendizado por Reforço, mais especificamente, no algoritmo de Deep Q-Learning Networks (DQN). Através de uma proposição de ações baseada no comportamento de outro gerador reportado na literatura que representa o estado da arte no tema e otimizações ao algoritmo DQN original também reportadas internacionalmente, foi atingido um resultado satisfatório nos experimentos realizados. Para projetos de 32 cores, a cobertura acumulada ao final dos testes realizados foi maior do que a atingida pelos seus pares. Além disso, a partir de uma alteração no processo de treinamento da Rede Neural, foi possível fazer com que o agente aprendesse uma política de tomada de decisão muito similar ao comportamento que outro gerador reportado tem por construção.This work proposes a director module for pseudo random test generation used for functional verification of coherent shared memory based on Reinforcement Learning techniques, more specifically, on the Deep Q-Learning Networks (DQN) algorithm. Through the proposition of actions based on the behavior of another generator reported on the literature that represents the state of art on the subject and the use of optimizations to the original DQN algorithm also reported internationally, it was attained a satisfactory result on the realized experiments. For designs of 32 cores, the final cumulative coverage of the generated tests was bigger that the ones obtained by its peers. Besides that, through an alteration proposed on the training procedure for the Neural Network, it was made possible to the agent to learn a decision making policy that resembles the behavior that other reported generator has by construction

Using MapReduce Streaming for Distributed Life Simulation on the Cloud

Distributed software simulations are indispensable in the study of large-scale life models but often require the use of technically complex lower-level distributed computing frameworks, such as MPI. We propose to overcome the complexity challenge by applying the emerging MapReduce (MR) model to distributed life simulations and by running such simulations on the cloud. Technically, we design optimized MR streaming algorithms for discrete and continuous versions of Conway’s life according to a general MR streaming pattern. We chose life because it is simple enough as a testbed for MR’s applicability to a-life simulations and general enough to make our results applicable to various lattice-based a-life models. We implement and empirically evaluate our algorithms’ performance on Amazon’s Elastic MR cloud. Our experiments demonstrate that a single MR optimization technique called strip partitioning can reduce the execution time of continuous life simulations by 64%. To the best of our knowledge, we are the first to propose and evaluate MR streaming algorithms for lattice-based simulations. Our algorithms can serve as prototypes in the development of novel MR simulation algorithms for large-scale lattice-based a-life models.https://digitalcommons.chapman.edu/scs_books/1014/thumbnail.jp

Proceedings of the Scientific-Practical Conference "Research and Development - 2016"

talent management; sensor arrays; automatic speech recognition; dry separation technology; oil production; oil waste; laser technolog

Across Space and Time. Papers from the 41st Conference on Computer Applications and Quantitative Methods in Archaeology, Perth, 25-28 March 2013

This volume presents a selection of the best papers presented at the forty-first annual Conference on Computer Applications and Quantitative Methods in Archaeology. The theme for the conference was "Across Space and Time", and the papers explore a multitude of topics related to that concept, including databases, the semantic Web, geographical information systems, data collection and management, and more

Proceedings of the Scientific-Practical Conference "Research and Development - 2016"

talent management; sensor arrays; automatic speech recognition; dry separation technology; oil production; oil waste; laser technolog

Across Space and Time Papers from the 41st Conference on Computer Applications and Quantitative Methods in Archaeology, Perth, 25-28 March 2013

The present volume includes 50 selected peer-reviewed papers presented at the 41st Computer Applications and Quantitative Methods in Archaeology Across Space and Time (CAA2013) conference held in Perth (Western Australia) in March 2013 at the University Club of Western Australia and hosted by the recently established CAA Australia National Chapter. It also hosts a paper presented at the 40th Computer Applications and Quantitative Methods in Archaeology (CAA2012) conference held in Southampton