Many-core compiler fuzzing

We address the compiler correctness problem for many-core systems through novel applications of fuzz testing to OpenCL compilers. Focusing on two methods from prior work, random differential testing and testing via equivalence modulo inputs (EMI), we present several strategies for random generation of deterministic, communicating OpenCL kernels, and an injection mechanism that allows EMI testing to be applied to kernels that otherwise exhibit little or no dynamically-dead code. We use these methods to conduct a large, controlled testing campaign with respect to 21 OpenCL (device, compiler) configurations, covering a range of CPU, GPU, accelerator, FPGA and emulator implementations. Our study provides independent validation of claims in prior work related to the effectiveness of random differential testing and EMI testing, proposes novel methods for lifting these techniques to the many-core setting and reveals a significant number of OpenCL compiler bugs in commercial implementations

Análise de dados altimétricos obtidos por carta topográfica SRTM, Aster GDEM e Topodata para a região do município de Canela, RS.

Modelos digitais de superfície terrestre são utilizados para realizar diversas análises relacionadas à modelagem ambiental. Analisar diferentes recursos disponíveis, como SRTM, ASTER GDEM e TOPODATA, faz-se necessário, uma vez que esses dados são obtidos e disponibilizados gratuitamente. Como forma de identificar os melhores recursos, este estudo obteve os resultados e os erros gerados pela manipulação dos modelos digitais de elevação (MDE) do Município de Canela, no Rio Grande do Sul, obtidos por comparação de carta topográfica 1:50.000 com dados do SRTM, ASTER GDEM e TOPODATA, a fim de avaliar a confiabilidade dos dados e determinar sua discrepância. Para a análise da região do Município de Canela, concluímos que os dados SRTM apresentaram menor variação do erro em comparação com ASTER GDEM e TOPODATA, considerando como referência dados altimétricos na escala 1:50.000

Análise espacial da dinâmica agropecuária por meio da determinação de centros de massa e vetores espaço-temporais.

O trabalho apresenta uma análise geoespacial, com ênfase na dinâmica espaço-temporal da produção da soja. Para tanto, optou-se por uma abordagem conceitual teórica acompanhada de um estudo de caso para verificar a aplicação da metodologia desenvolvida pela Embrapa Gestão Territorial. Por meio da determinação dos centros de massa, de produção da soja, foram gerados os vetores temporais, que caracterizam a direção do crescimento da produção de soja. É apresentada a construção dos centros de massa e do vetor que determina o deslocamento da produção, no Brasil, de soja no período de 1990 a 2012. Dentre as possibilidades da aplicação de técnicas de geoprocessamento destaca-se a utilização de software livre, especialmente os de código aberto (opensource) como o gvSIG

Priorização de locais para implantação ou intensificação da vigilância fitossanitária no Brasil.

Esta nota traz a visualização dos postos de controle do VIGIAGRO, com as principais regiões produtoras das culturas ameaçadas por pragas quarentenárias, juntamente com as possíveis vias de acesso de pragas quarentenárias no território brasileiro, permitindo a identificação de deficiências na localização dos postos de controle e possibilita a priorização de locais para a implantação ou intensificação da vigilância fitossanitária

Definição de regiões prioritárias para aumento da produção de leite no Brasil.

Foram comparadas duas estratégias de identificação de municípios prioritários para ações de transferência de tecnologia para o aumento da produtividade de leite. Em ambas é obtida a meta de aumento de 40%, prevista no Programa Mais Leite. Os resultados da análise permitem aos tomadores de decisão de cada uma das Unidades da Federação optar prioritariamente pela estratégia de aumento na produtividade média de leite mais conveniente

Municípios, de cada Unidade da Federação, indicados como prioritários para ações de transferência de tecnologia que visem o aumento da produtividade média de leite em municípios com baixa produtividade: estratégia 2.

O mapa apresenta a distribuição dos municípios indicados como prioritários para ações de transferência de tecnologia que visem o aumento da produtividade média de leite. Ele faz parte de uma publicação elaborada pela Embrapa Gestão Territorial, na qual foram comparadas duas estratégias de identificação de municípios prioritários para ações de transferência de tecnologia para o aumento da produtividade de leite em 40%, conforme meta prevista no Programa Mais Leite.bitstream/item/101288/1/20140422-MAPA-NotaTecnicaSGTE-05-estrategia2.pd

Regiões prioritárias para implantação de ações de transferência de tecnologia visando o aumento da produção de trigo no Brasil.

Análise realizada para identificar regiões prioritárias para a adoção de ações de transferência de tecnologia, de modo a aumentar o rendimento do trigo nas diferentes regiões de adaptação e, com isso, diminuir o incremento de área de cultivo necessário para o atendimento ao consumo nacional

Produção potencial de trigo no Brasil.

De modo a permitir o planejamento de investimentos e ações para aumentar a produção nacional de trigo e, com isso, diminuir a dependência de importação do suprimento, foi elaborado esse estudo que possibilitou estimar o potencial de produção de trigo no Brasil e identificar quais regiões possuem maior potencial para o aumento da produção nacional