Follow
Alair Dias Junior
Alair Dias Junior
Senior Software Engineer, AMD
Verified email at alair.me - Homepage
Title
Cited by
Cited by
Year
Ultra-low power design of wearable cardiac monitoring systems
R Braojos, H Mamaghanian, AD Junior, G Ansaloni, D Atienza, FJ Rincón, ...
Proceedings of the 51st Annual Design Automation Conference, 1-6, 2014
392014
Estimation of blood pressure and pulse transit time using your smartphone
AD Junior, S Murali, F Rincon, D Atienza
2015 Euromicro Conference on Digital System Design, 173-180, 2015
202015
Code-coverage based test vector generation for systemc designs
AD Junior, DJC da Silva
IEEE Computer Society Annual Symposium on VLSI (ISVLSI'07), 198-206, 2007
202007
Methods for reliable estimation of pulse transit time and blood pressure variations using smartphone sensors
AD Junior, S Murali, F Rincon, D Atienza
Microprocessors and Microsystems 46, 84-95, 2016
172016
Using guiding heuristics to improve the dynamic checking of temporal properties in data dominated high-level designs
AD Júnior, DC da Silva Júnior
2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 20-25, 2013
32013
A guiding heuristic for the semi-formal verification of high-level designs
AD Junior, DC da Silva Junior
2012 13th Latin American Test Workshop (LATW), 1-6, 2012
22012
Method and device for non-invasive blood pressure measurement
AD Júnior, S Murali, FJR Vallejos, DA Alonso
US Patent 10,357,164, 2019
12019
Aumentando a eficiência da verificação dinâmica de propriedades em sistemas descritos em alto nível de abstração por meio da utilização de funções de classificação heurística …
AD Júnior
Universidade Federal de Minas Gerais, 2012
2012
Análise de cobertura e geração de vetores de teste para módulos descritos em Systemc
AD Junior
Universidade Federal de Minas Gerais, 2008
2008
The system can't perform the operation now. Try again later.
Articles 1–9