-
-
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 ...
-
-
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 ...
-
-
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 ...
-
-
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 ...
-
-
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 ...
-
-
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 ...
-
-
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 ...
-
-
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 ...
-
-
Gomes, Camila e Silva; Krusche, Nisia; Rocha, Rosmeri Porfírio da
(2011)
-
-
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 ...
-
-
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 ...
-
-
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. ...
-
-
Rodrigues, Sheyla Costa; Laurino, Débora Pereira; Pinto, Ivete Martins
(2005)
-
-
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 ...
-
-
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 ...
-
-
Jacobi, Eduardo Bacelar; Popiolek, Pedro Freire; Hax, Vinícius Alves; Carvalho, Jônata Tyska; Duarte Filho, Nelson Lopes; Mendizabal, Odorico Machado
(2012)
Atualmente departamentos de TI precisam adaptar- se às mudanças de negócio sem ocasionar custo excessivo ou complexo gerenciamento para as organizações. Porém, melhorias em infraestruturas convencionais e esforços para ...
-
-
Pinto, Débora Cristina Dias; Ribeiro, Luciano Maciel
(2009)
A questão ambiental é hoje, motivo de preocupação mundial. Não obstante a essa realidade, objetivamos apresentar argumentos que ressaltem a importância da preservação do meio ambiente, salientando a relação homem/natureza ...
-
-
Drews Junior, Paulo Lilles Jorge; Botelho, Silvia Silva da Costa
(2009)
The article explores the self-localization and mapping for fleets of multi-autonomous underwater vehicles using visual-based systems. It evaluates the generated mosaics captured by cameras of vehicles. It discusses the ...
-
-
Barros, Rodrigo Coelho; Winck, Ana Trindade; Machado, Karina dos Santos; Basgalupp, Márcio Porto; Carvalho, Andre Carlos Ponce de Leon Ferreira de; Ruiz, Duncan Dubugras Alcoba; Souza, Osmar Norberto de
(2012)
Background: This paper addresses the prediction of the free energy of binding of a drug candidate with enzyme
InhA associated with Mycobacterium tuberculosis. This problem is found within rational drug design, where ...
-
-
Meinhardt, Cristina; Zimpeck, Alexandra Lackmann; Reis, Ricardo Augusto da Luz
(2014)
This work evaluates the impact on ION and IOFF currents of variations in process parameters for a set of predictive FinFET technologies from 20 nm to 7 nm. The main contribution of the present study is to identify relevant ...