Buscar
Mostrando ítems 1-10 de 2029
A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling
(SPRINGER, 2011)
Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their ...
Variations in the coverage of biological soil crusts along an aridity gradient in the central-west Argentina
(Gauthier-Villars/Editions Elsevier, 2020-11)
Biological soil crusts (biocrusts) play a fundamental role in arid and semiarid areas of South America. Nevertheless, little attention has been paid to the distribution and coverage of them, and studies about biocrusts are ...
Who is to Blame? Analysis of Government and News Media Frames During the 2014 Earthquake in Chile
(Routledge Journals, Taylor & Francis LTD, 2021)
This study relies on Entman's definition of frames and framing functions to analyze how the Chilean government and news media framed a natural disaster occurring in Chile in 2014. Using structural topic modeling, 705 news ...
O testemunho de urgência nas coberturas de tragédia: funções autorizadas pelo telejornalismo
(Universidade Federal de Santa MariaBrasilComunicaçãoUFSMPrograma de Pós-Graduação em ComunicaçãoCentro de Ciências Sociais e Humanas, 2022-11-09)
This doctoral dissertation seeks to understand what the summons and the uses of testimony in
the emergency reveal concerning the specifics of the coverage of tragedies in television
journalism, based on three events: the ...
A compact functional verification flow for a RISC-V 321 based core
(IEEE, 2020)
The structure of a functional verification flow used for the design of a RISC-V core is presented. The paper offers a guide on the test-planning used and details of the flow architecture, showing how to integrate the ...
A binomial software reliability model based on coverage of structural testing criteria
(SpringerDordrechtHolanda, 2008)
Mathematica tools for uncertainty analysis
(IOP PublishingBrasilNúcleo Interdisciplinar de Dinâmica dos Fluidos, 2019)