Follow
Claudionor Coelho
Claudionor Coelho
Zscaler
Verified email at alumni.stanford.edu
Title
Cited by
Cited by
Year
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
6022003
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
2661992
Advanced formal verification
R Drechsler
2222004
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
1602021
A general data fusion architecture
H Carvalho, W Heinzelman, A Murphy, C Coelho
Int. Conf. on Info. Fusion, 1465-1472, 2003
1292003
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
862005
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
861993
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
442000
Decomposition techniques for efficient ROBDD construction
J Jain, A Narayan, A Sangiovanni-Vincentelli, C Coelho, RK Brayton, ...
Formal Methods in Computer-Aided Design: First International Conference …, 1996
391996
Ultra low-latency, low-area inference accelerators using heterogeneous deep quantization with QKeras and hls4ml
CN Coelho, A Kuusela, H Zhuang, T Aarrestad, V Loncar, J Ngadiuba, ...
arXiv preprint arXiv:2006.10159, 108, 2020
352020
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
341996
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
332007
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
32*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
311994
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
292003
Beanwatcher: A tool to generate multimedia monitoring applications for wireless sensor networks
A Lins, EF Nakamura, AAF Loureiro, CJN Coelho Jr
IFIP/IEEE International Conference on Management of Multimedia Networks and …, 2003
292003
A FPGA implementation of a DCT-based digital electrocardiographic signal compression device
BS Pimentel, JH de Ávila Valgas Filho, RL Campos, AO Fernandes, ...
Symposium on Integrated Circuits and Systems Design, 44-49, 2001
292001
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
282020
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
272003
Beyond verification: Leveraging formal for debugging
RK Ranjan, C Coelho, S Skalberg
Proceedings of the 46th Annual Design Automation Conference, 648-651, 2009
232009
The system can't perform the operation now. Try again later.
Articles 1–20