-
-
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 ...
-
-
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 ...
-
-
Rapaccini, Mario; Porcelli, Isabella; Espíndola, Danúbia Bueno; Pereira, Carlos Eduardo
(Taylor & Francis, 2014)
The adoption of Augmented Reality (AR) technologies can make the provision of
field services to industrial equipment more effective. In these situations, the cost of
deploying skilled technicians in geographically dispersed ...
-
-
Franco, Márcia Häfele Islabão; Costa, Antonio Carlos da Rocha; Coelho, Helder
(2010)
In this paper, we adopt Piaget’s theory of social exchanges, in which an interaction is an exchange of services between agents, such that agents assign subjective, qualitative
values —called exchange values— to the actions ...
-
-
Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da Rocha; Rodrigues, Francisco de Paula Marques
(2000)
Este trabalho tem por objetivo relatar os resultados preliminares de uma experiência de integração curricular, em andamento na Escola de Informática da UCPel, na área de fundamentos matemáticos da Ciência da Computação. A ...
-
-
Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da Rocha; Rodrigues, Francisco de Paula Marques
(2000)
Este trabalho tem por objetivo relatar os resultados preliminares de uma experiência de integração curricular, em andamento na Escola de Informática da UCPel, na área de fundamentos matemáticos da Ciência da Computação. A ...
-
-
Casanova, Carlos Alberto Medeiros; Balzaretti, Naira Maria; Voronin, Georgiy; Jornada, João Alziro Herz da
(Elsevier, 1999)
In this work polycrystalline cubic boron nitride compacts (PcBN), prepared with and without binder, were sintered at 8 GPa and 1850°C using different processing times. X-ray diffraction and Raman spectroscopy were used to ...
-
-
Olinto, Cláudio Rodrigues; Indrusiak, Maria Luiza Sperb; Endres, Luiz Augusto Magalhães; Möller, Sergio Viçosa
(2009)
This paper presents the experimental study of the flow instabilities in the first rows of tube banks. The
study is performed using hot wire anemometry technique in an aerodynamic channel as well as flow
visualizations ...
-
-
Ribeiro, Luciano Maciel; Satt Júnior, Sergio
(2012)
O objetivo desse artigo é revisar os conceitos Exploration e Exploitation publicados por
March (1991), através da identificação dos atributos relacionados com esses conceitos, identificar as possíveis vantagens competitivas ...
-
-
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 ...
-
-
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 ...
-
-
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 ...
-
-
Gastaldini, Cristiane Cauduro; Azzolin, Rodrigo Zelir; Vieira, Rodrigo Padilha; Gründling, Hilton Abílio
(Intech, 2011)
-
-
Barwaldt, Regina; Santarosa, Lucila Maria Costi; Passerino, Liliana Maria
(2008)
O artigo apresenta uma alternativa como forma de viabilizar a inclusão digital, social e
educacional dos cegos através das TIC’s em ambientes virtuais de aprendizagem,
permitindo canais diferenciados de interação social. ...
-
-
Reiser, Renata Hax Sander; Costa, Antonio Carlos da Rocha; Dimuro, Graçaliz Pereira
(2002)
This work introduces the Geometric Machine (GM) – a computational model for the construction and representation of concurrent and non-deterministic processes, preformed in a synchronized way, with infinite memory whose ...
-
-
Grando, Neusa; Centeno, Tania Mezzadri; Botelho, Silvia Silva da Costa; Fontoura, Felipe Michels
(2010)
Electricity demand forecasts are required by companies who need to predict their
customers’ demand, and by those wishing to trade electricity as a commodity on
financial markets. It is hard to find the right prediction ...
-
-
Rodrigues, Sheyla Costa; Laurino, Débora Pereira; Pinto, Ivete Martins
(2005)
-
-
Machado, Karina dos Santos; Schroeder, Evelyn Koeche; Ruiz, Duncan Dubugras Alcoba; Cohen, Elisangela Machado Leal; Souza, Osmar Norberto de
(2011)
Background: In silico molecular docking is an essential step in modern drug discovery when driven by a well
defined macromolecular target. Hence, the process is called structure-based or rational drug design (RDD). In ...
-
-
Freitas, Luciane Albernaz de Araujo; Freitas, André Luis Castro de
(Centro Paulo Freire - Estudos e pesquisas, 2013)
Considerando que Hegel tenha elaborado sua concepção de dialética tendo com ponto de partida o movimento compreende-se que o fez a partir de seus pressupostos idealistas, levando ao aprisionamento da existência a consciência ...
-
-
Kreinovich, Vladik; Kosheleva, Olga; Starks, Scott Allen; Tupelly, Kavitha; Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da Rocha; Villaverde, Karen
(2007)
When physical quantities xi are numbers, then the corresponding measurement accuracy can be usually represented in interval terms, and interval computations can be used to estimate the resulting uncertainty in y = f ...