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

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

A 2-20 GHz Analog Lag-Correlator for Radio Interferometry

We present the design and testing of a 2-20 GHz continuum band analog lag correlator with 16 frequency channels for astronomical interferometry. The correlator has been designed for future use with a prototype single-baseline interferometer operating at 185-275 GHz. The design uses a broadband Wilkinson divider tree with integral thin-film resistors implemented on an alumina substrate, and custom-made broadband InGaP/GaAs Gilbert Cell multipliers. The prototype correlator has been fully bench-tested, together with the necessary readout electronics for acquisition of the output signals. The results of these measurements show that the response of the correlator is well behaved over the band. An investigation of the noise behaviour also shows that the signal-to-noise of the system is not limited by the correlator performance.Comment: accepted for publication by IEEE Transactions on Instrumentation & Measuremen

Matopiba: caracterização das áreas com grande produção de culturas anuais.

Esta Nota Técnica traz os resultados de um estudo em andamento na Embrapa Gestão Territorial, que tem como um de seus objetivos fornecer informações sobre as características de meio físico predominantes na região do Matopiba. Foram identificados os municípios do Matopiba com grande produção de soja, milho e algodão e, para estes, verificou-se as características predominantes em relação a: bioma; clima; relevo; e solos. Os resultados obtidos colaboram com a caracterização da região do Matopiba e com a delimitação da sua abrangência territorial. Podem, também, ser utilizados para subsidiar a localização de novos estudos no Matopiba

The H.E.S.S. II GRB Program

Gamma-ray bursts (GRBs) are some of the most energetic and exotic events in the Universe, however their behaviour at the highest energies (>10 GeV) is largely unknown. Although the Fermi-LAT space telescope has detected several GRBs in this energy range, it is limited by the relatively small collection area of the instrument. The H.E.S.S. experiment has now entered its second phase by adding a fifth telescope of 600 m$^{2}$ mirror area to the centre of the array. This new telescope increases the energy range of the array, allowing it to probe the sub-100 GeV range while maintaining the large collection area of ground based gamma-ray observatories, essential to probing short-term variability at these energies. We will present a description of the GRB observation scheme used by the H.E.S.S. experiment, summarising the behaviour and performance of the rapid GRB repointing system, the conditions under which potential GRB repointings are made and the data analysis scheme used for these observations.Comment: In Proceedings of the 34th International Cosmic Ray Conference (ICRC2015), The Hague, The Netherland