Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Alair Dias Junior"'
Autor:
Alair Dias Junior
Publikováno v:
Biblioteca Digital de Teses e Dissertações da UFMGUniversidade Federal de Minas GeraisUFMG.
Over the last decade, the integrated circuit (IC) production ow has gradually shifted from design centric to verification centric, as the design methodologies, tools and techniques evolved. It is a well known fact that on the modern IC design cycle m
Externí odkaz:
http://hdl.handle.net/1843/BUOS-95GRM9
Autor:
Alair Dias Junior
Publikováno v:
Biblioteca Digital de Teses e Dissertações da UFMGUniversidade Federal de Minas GeraisUFMG.
The growing complexity of VLSI systems and the necessity to reduce the development time push the design cycle to its limits. Assuring the correct behavior of these designs is a major problem as the number of states to verify explodes. Today, verifica
Externí odkaz:
http://hdl.handle.net/1843/BUOS-8C8HVK
Publikováno v:
Microprocessors and Microsystems. 46:84-95
Hypertension is known to affect around one third of adults globally and early diagnosis is essential to reduce the effects of this affliction. Todays Blood Pressure (BP) monitoring cuffs are obtrusive and inconvenient for performing regular measureme
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e1f1180f3044fb3104a9864193e05bcf
https://doi.org/10.1016/j.micpro.2016.06.001
https://doi.org/10.1016/j.micpro.2016.06.001
Publikováno v:
Anais do 14º Simpósio Brasileiro de Automação Inteligente.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::551d5d057ed8a6b83aad80a2c87856cc
https://doi.org/10.17648/sbai-2019-111413
https://doi.org/10.17648/sbai-2019-111413
Publikováno v:
DSD
It is widely recognized today that there is an alarming rise of lifestyle-induced chronic diseases (e.g., type II diabetes) in our society. Therefore, a strong need exists for cost-effective and non-invasive devices that can measure blood pressure (B
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::70fd4952981b17ca8b96aa47605c23d4
https://doi.org/10.1109/dsd.2015.90
https://doi.org/10.1109/dsd.2015.90
Publikováno v:
ISVLSI
Functional verification of data dominated high-level designs is a major concern in modern integrated circuit production flow. On the one hand, the size and complexity of the input state-space prevent conventional validation strategies to check the be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c67bb36b07510a5acb9d8cf2448d210c
https://doi.org/10.1109/isvlsi.2013.6654617
https://doi.org/10.1109/isvlsi.2013.6654617
Publikováno v:
LATW
Functional verification of complex designs is still a major bottleneck in the VLSI design cycle. Despite the recent advancements in formal methods, the use of formal verification at the higher levels of abstraction is not yet well established. At the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::95a5b6e341f8c6df44d04916c44ee4a3
https://doi.org/10.1109/latw.2012.6261235
https://doi.org/10.1109/latw.2012.6261235
Autor:
Iuri Silva Castro
Publikováno v:
Repositório Institucional da UFMG
Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior A mudança no paradigma computacional atual para um modelo de estrutura virtual descentralizada, conhecido como computação em nuvem, e a utilização da Internet das Coisas (Io
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::1cdf872f4b4612799c656e5d1b58498d
Autor:
Rogério Santos Pozza
Publikováno v:
Repositório Institucional da UFMG
Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico FAPEMIG - Fundação de Amparo à Pesquisa do Estado de Minas Gerais CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior A pesquisa em redes corporais sem fio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::a8e165d34d19062e62971e8e85da0737
Publikováno v:
Repositório Institucional da UFMG
Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
Os Controladores Lógicos Programáveis (CLP) foram introduzidos na década de 1960 para realizar a modernização e manutenção do controle, sequenciamento e lógica de intertravamento das plantas industriais e, desde então, tornaram-se indispens
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::8f8fca7af758af8bf6abe5c4e6aa630b