C3 - Centro de Ciências Computacionais: Recent submissions

  • ST-audit: guideline-based automatic auditing of electronic patient records 

    Billa, Cleo Zanella; Wainer, Jacques; Barsottini, Claudia (2011)
    This work presents the ST-Audit system that audits a patient record for conformance to a particular clinical guideline. The system uses ST-Guide which models a guideline as a set of states and transitions. The audit system ...

  • Analyzing the effects of TID in an embedded system running in a flash-based FPGA 

    Olano, Jimmy Fernando Tarrillo; Azambuja, José Rodrigo Furlanetto de; Kastensmidt, Fernanda Gusmão de Lima; Pereira Junior, Evaldo Carlos Fonseca; Vaz, Rafael Galhardo; Gonçalez, Odair Lelis (2011)
    This work analyzes the behavior of a designed embedded system composed of microprocessor, memories and SpaceWire (SpW) links under Total Ionizing Dose (TID) synthesized into a commercial flash-based FPGA from Actel. Two ...

  • Detecting SEEs in microprocessors through a non-intrusive hybrid technique 

    Azambuja, José Rodrigo Furlanetto de; Lapolli, Ângelo Cardoso; Rosa, Lucas Lemos; Kastensmidt, Fernanda Gusmão de Lima (2011)
    This paper presents a hybrid technique based on software signatures and a hardware module with watchdog and decoder characteristics to detect SEU and SET faults in microprocessors. These types of faults have a major influence ...

  • Exploring the limitations of software-based techniques in SEE fault coverage 

    Azambuja, José Rodrigo Furlanetto de; Pagliarini, Samuel Nascimento; Rosa, Lucas Lemos; Kastensmidt, Fernanda Gusmão de Lima (2011)
    This paper presents a detailed analysis of the efficiency of software-based techniques to mitigate SEU and SET in microprocessors. A set of well-known rules is presented and implemented automatically to transform an ...

  • A fault tolerant approach to detect transient faults in microprocessors based on a non-intrusive reconfigurable hardware 

    Azambuja, José Rodrigo Furlanetto de; Pagliarini, Samuel Nascimento; Pagliarini, Maurício Altieri; Kastensmidt, Fernanda Gusmão de Lima; Ferreira, Michael Hübner Passos; Becker, Jürgen; Foucard, Gilles; Velazco, Raoul (2012)
    This paper presents a non-intrusive hybrid fault detection approach that combines hardware and software techniques to detect transient faults in microprocessors. Such faults have a major influence in microprocessor-based ...

  • Algorithm transformation methods to reduce the overhead of software-based fault tolerance techniques 

    Azambuja, José Rodrigo Furlanetto de; Brown, Gustavo; Kastensmidt, Fernanda Gusmão de Lima; Carro, Luigi (2014)
    This paper introduces a framework that tackles the costs in area and energy consumed by methodologies like spatial or temporal redundancy with a different approach: given an algorithm, we find a transformation in which ...

  • Evaluating selective redundancy in data-flow software-based techniques 

    Chielle, Eduardo; Azambuja, José Rodrigo Furlanetto de; Barth, Raul Sérgio; Almeida, Antonio Felipe Costa de; Kastensmidt, Fernanda Gusmão de Lima (2013)
    This paper presents an analysis of the efficiency of using selective redundancy applied to registers in software-based techniques. The proposed selective redundancy chooses a set of allocated registers to be duplicated in ...

  • Um modelo de autômatos celulares para o espalhamento geográfico de epidemias 

    Emmendorfer, Leonardo Ramos; Rodrigues, Luiz Alberto Diaz (2001)
    A teoria clássica de Epidemiologia, em geral, não considera a dimensão espacial de transmissão da doença e em vez disso, assume que todo indivíduo tem a mesma probabilidade de encontrar os outros. Modelos espaciais são ...

  • HETA: hybrid error-detection technique using assertions 

    Azambuja, José Rodrigo Furlanetto de; Scarpato, Maurício Altieri; Becker, Jürgen; Kastensmidt, Fernanda Gusmão de Lima (2013)
    This paper presents HETA, a hybrid technique based on assertions and a non-intrusive enhanced watchdog module to detect SEE faults in microprocessors. These types of faults have a major influence in the microprocessor’s ...

  • Evaluating neutron induced SEE in SRAM-based FPGA protected by hardware- and software-based fault tolerant techniques 

    Azambuja, José Rodrigo Furlanetto de; Nazar, Gabriel Luca; Rech, Paolo; Carro, Luigi; Kastensmidt, Fernanda Gusmão de Lima; Fairbanks, Thomas; Quinn, Heather (2013)
    This paper presents an approach to detect SEEs in SRAM-based FPGAs by using software-based techniques combined with a nonintrusive hardware module. We implemented a MIPS-based soft-core processor in a Virtex5 FPGA and ...

  • Extended closure model for kaimal's isopleths 

    Krusche, Nisia; Goedert, Joao; Moraes, Osvaldo Luiz Leal de (1994)
    A closure model for the spectral equation of turbulent kinetic energy, in the case of a steady-state and horizontally homogeneous flow in a stably stratified surface boundary layer is developed by use of systematic dimensional ...

  • Characterization of coherent structures in the atmospheric surface layer 

    Krusche, Nisia; Oliveira, Amauri Pereira de (2004)
    The ramplike coherent structures, observed in the temporal series of temperature and humidity in the atmospheric surface layer, are analyzed using the intermittency function and the wavelet transforms, with Haar, D4 and ...

  • Effective linkage learning using low-order statistics and clustering 

    Emmendorfer, Leonardo Ramos; Pozo, Aurora Trinidad Ramirez (2009)
    The adoption of probabilistic models for selected individuals is a powerful approach for evolutionary computation. Probabilistic models based on high-order statistics have been used by estimation of distribution algorithms ...

  • Simulação de nevoeiros no litoral sul do Brasil 

    Gomes, Camila e Silva; Krusche, Nisia; Rocha, Rosmeri Porfírio da (2011)

  • Variabilidade temporal do perfil de dunas na Praia do Cassino, RS, com auxílio de videomonitoramento Argus 

    Guimarães, Pedro Veras; Pereira, Pedro de Souza; Calliari, Lauro Júlio; Krusche, Nisia (2014)
    A dinâmica sedimentar em dunas costeiras é um processo complexo que exige a análise de vários fatores em diferentes escalas temporais. A análise de um banco de dados morfológicos sequenciais de três anos, realizados em um ...

  • Um modelo computacional para a propagação de plantas anuais 

    Emmendorfer, Leonardo Ramos (2006)
    Este trabalho apresenta um modelo computacional para a dinâmica populacional de plantas anuais. O modelo é baseado em autômatos celulares, com uma vizinhança de tamanho e geometria fixas. Simulações são descritas e o ...

  • Desenvolvimento de uma plataforma multidisciplinar para autoria de jogos 3D interativos e educativos 

    Pinto, Ivete Martins; Botelho, Silvia Silva da Costa; Souza, Rodrigo Chaves de; Goulart, Thiago Sonego; Colares, Rafael Gonçalves; Campos, Raphael Leite (2009)
    Este artigo apresenta SABERLÂNDIA, uma plataforma computacional para o desenvolvimento de jogos eletrônicos educacionais que, a partir de contextos e conteúdos fornecidos, propicia a geração automática de jogos de ação. ...

  • Formação de professores no ciberespaço: limites e possibilidades da inserção das tecnologias digitais nas escolas 

    Rodrigues, Sheyla Costa; Laurino, Débora Pereira; Pinto, Ivete Martins (2005)

  • Stochastic object-based graph grammars 

    Mendizabal, Odorico Machado; Dotti, Fernando Luís; Ribeiro, Leila (2007)
    Object-Based Graph Grammar (OBGG) is a formal visual language suited to the specification of asynchronous distributed systems based on message passing. Model-checking of OBGG models is currently supported and a series of ...

  • Monitoring and analysis of performance impact in virtualized environments 

    Popiolek, Pedro Freire; Mendizabal, Odorico Machado (2012)
    Recently, virtualization is becoming increasingly popular due to its wide adoption in cloud computing. This success stems from the fact that the infrastructure scales better and configuration and recovery tasks become ...