Claudionor Coelho
Claudionor Coelho
Palo Alto Networks
Verified email at
Cited by
Cited by
Survey on wireless sensor network devices
MAM Vieira, CN Coelho, DC da Silva, JM da Mata
EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory …, 2003
Synthesis and simulation of digital systems containing interacting hardware and software components
RK Gupta, CN Coelho Jr, G De Micheli
DAC 92, 225-230, 1992
Advanced formal verification
R Drechsler
Kluwer Academic Publishers, 2004
A general data fusion architecture
H Carvalho, W Heinzelman, A Murphy, C Coelho
Int. Conf. on Info. Fusion, 1465-1472, 2003
Interface optimization for concurrent systems under timing constraints
D Filo, DC Ku, CN Coelho, G De Micheli
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 1 (3), 268-281, 1993
Dynamic power management in wireless sensor networks: An application-driven approach
RM Passos, CJN Coelho, AAF Loureiro, RAF Mini
Second Annual Conference on Wireless On-demand Network Systems and Services …, 2005
Automatic heterogeneous quantization of deep neural networks for low-latency inference on the edge for particle detectors
CN Coelho, A Kuusela, S Li, H Zhuang, J Ngadiuba, TK Aarrestad, ...
Nature Machine Intelligence 3 (8), 675-686, 2021
Wearable computer as a multi-parametric monitor for physiological signals
JCD Conway, AO Fernandes, CJNJ Coelho, LCG Andrade, DC da Silva, ...
Proceedings IEEE International Symposium on Bio-Informatics and Biomedical …, 2000
Analysis and synthesis of concurrent digital circuits using control-flow expressions
CN Coelho, G De Micheli
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1996
Decomposition techniques for efficient ROBDD construction
J Jain, A Narayan, A Sangiovanni-Vincentelli, C Coelho, RK Brayton, ...
International Conference on Formal Methods in Computer-Aided Design, 419-434, 1996
Jr, Diogenes Cecilio da silva Junior, and Jose M. da Mata,“Survey on Wireless Sensor Network Devices”
MAM Vieira, CN Coelho
Proceedings of ETFA 3, 537-544, 2003
Data stream based algorithms for wireless sensor network applications
ALL De Aquino, CMS Figueiredo, EF Nakamura, LS Buriol, AAF Loureiro, ...
21st International Conference on Advanced Information Networking and …, 2007
Synthesis of low-power selectively-clocked systems from high-level specification
L Benini, P Vuillod, G De Micheli, C Coelho
Proceedings of 9th International Symposium on Systems Synthesis, 57-63, 1996
Dynamic scheduling and synchronization synthesis of concurrent digital systems under system-level constraints
CN Coelho Jr, G De Micheli
Proceedings of the 1994 IEEE/ACM international conference on Computer-aided …, 1994
Efficient power management in real-time embedded systems
ALAP Zuquim, LFM Vieira, MA Vieira, AB Vieira, HS Carvalho, JA Nacif, ...
EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory …, 2003
BeanWatcher: a tool to generate multimedia monitoring applications for wireless sensor networks
A Lins, EF Nakamura, AAF Loureiro, CJN Coelho
IFIP/IEEE International Conference on Management of Multimedia Networks and …, 2003
A FPGA implementation of a DCT-based digital electrocardiographic signal compression device
BS Pimentel, JH de Avila Valgas Filho, RL Campos, AO Fernandes, ...
Symposium on Integrated Circuits and Systems Design, 44-49, 2001
Automatic deep heterogeneous quantization of deep neural networks for ultra low-area, low-latency inference on the edge at particle colliders
CN Coelho, A Kuusela, S Li, H Zhuang, T Aarrestad, V Loncar, ...
arXiv preprint arXiv:2006.10159 6, 2020
The Chip is Ready. Am I done? On-chip Verification using Assertion Processors.
JAM Nacif, FM de Paula, H Foster, CJN Coelho Jr, AO Fernandes
VLSI-SOC, 111-, 2003
Assertions targeting a diverse set of verification tools
HD Foster, CN Coelho
System on Chip Design Languages, 187-200, 2002
The system can't perform the operation now. Try again later.
Articles 1–20