Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDClaudionor José Nunes Coelho Jr.
Person information
- affiliation: Palo Alto Networks
- affiliation: Federal University of Minas Gerais, Belo Horizonte, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
[j8]Erwei Wang
, James J. Davis, Daniele Moro, Piotr Zielinski, Jia Jie Lim, Claudionor Coelho, Satrajit Chatterjee, Peter Y. K. Cheung, George A. Constantinides:
Enabling Binary Neural Network Training on the Edge. ACM Trans. Embed. Comput. Syst. 22(6): 105:1-105:19 (2023)- 2021
- [j7]Claudionor José Nunes Coelho Jr., Aki Kuusela, Shan Li, Hao Zhuang, Jennifer Ngadiuba, Thea Klaeboe Aarrestad, Vladimir Loncar, Maurizio Pierini, Adrian Alan Pol, Sioni Summers:
Automatic heterogeneous quantization of deep neural networks for low-latency inference on the edge for particle detectors. Nat. Mach. Intell. 3(8): 675-686 (2021) - 2019
- [j6]Philip Brisk, Suman Chakraborty, Claudionor Coelho, Abdoulaye Gamatié, Swaroop Ghosh, Xun Jiao:
TCAD EIC Message: February 2019. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(2): 197-198 (2019) - 2012
- [j5]Georgia Penido Safe, Claudionor Coelho, Luiz Filipe M. Vieira, Celina Gomes Do Val, José Augusto Miranda Nacif, Antônio Otávio Fernandes:
Selection of formal verification heuristics for parallel execution. Int. J. Softw. Tools Technol. Transf. 14(1): 95-108 (2012) - 2008
- [j4]Romanelli Lodron Zuim, José T. de Sousa, Claudionor Coelho:
Decision heuristic for Davis Putnam, Loveland and Logemann algorithm satisfiability solving based on cube subtraction. IET Comput. Digit. Tech. 2(1): 30-39 (2008) - 1996
- [j3]Claudionor José Nunes Coelho Jr., Giovanni De Micheli:
Analysis and synthesis of concurrent digital circuits using control-flow expressions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(8): 854-876 (1996) - 1994
- [j2]Rajesh K. Gupta, Claudionor José Nunes Coelho Jr., Giovanni De Micheli:
Program Implementation Schemes for Hardware-Software Systems. Computer 27(1): 48-55 (1994) - 1993
- [j1]Dave Filo, David C. Ku, Claudionor José Nunes Coelho Jr., Giovanni De Micheli:
Interface optimization for concurrent systems under timing constraints. IEEE Trans. Very Large Scale Integr. Syst. 1(3): 268-281 (1993)
Conference and Workshop Papers
- 2021
- [c40]Erwei Wang, James J. Davis, Daniele Moro, Piotr Zielinski, Jia Jie Lim, Claudionor Coelho, Satrajit Chatterjee, Peter Y. K. Cheung, George A. Constantinides:
Enabling Binary Neural Network Training on the Edge. EMDL@MobiSys 2021: 37-38 - [c39]Sankeerth Rao Karingula, Nandini Ramanan, Rasool Tahmasbi, Mehrnaz Amjadi, Deokwoo Jung, Ricky Si, Charanraj Thimmisetty, Luisa F. Polanía, Marjorie Sayer, Jake Taylor, Claudionor Nunes Coelho:
Boosted Embeddings for Time-Series Forecasting. LOD 2021: 1-14 - 2011
- [c38]José Augusto Miranda Nacif, Thiago S. F. Silva, Luiz Filipe M. Vieira, Alex Borges Vieira, Antônio Otávio Fernandes, Claudionor Coelho:
Tracking hardware evolution. ISQED 2011: 442-447 - [c37]José Augusto Miranda Nacif, Thiago S. F. Silva, Luiz Filipe M. Vieira, Alex Borges Vieira, Antônio Otávio Fernandes, Claudionor Nunes Coelho:
A cache based algorithm to predict HDL modules faults. LATW 2011: 1-3 - 2009
- [c36]Rajeev K. Ranjan, Claudionor Coelho, Sebastian Skalberg:
Beyond verification: leveraging formal for debugging. DAC 2009: 648-651 - [c35]Thiago Nunes Coelho Cardoso, José Augusto Miranda Nacif, Antônio Otávio Fernandes, Claudionor Nunes Coelho:
BugTracer: A system for integrated circuit development tracking and statistics retrieval. LATW 2009: 1-4 - 2008
- [c34]José Augusto Miranda Nacif, Thiago S. F. Silva, Andréa Iabrudi Tavares, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.:
Efficient Allocation of Verification Resources using Revision History Information. DDECS 2008: 190-194 - 2007
- [c33]André L. L. de Aquino, Carlos Mauricio S. Figueiredo, Eduardo Freire Nakamura, Luciana S. Buriol, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.:
Data Stream Based Algorithms For Wireless Sensor Network Applications. AINA 2007: 869-876 - [c32]Fabrício Vivas Andrade, Márcia C. M. Oliveira, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.:
SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse. DDECS 2007: 397-402 - [c31]André L. L. de Aquino, Carlos Mauricio S. Figueiredo, Eduardo Freire Nakamura, Luciana S. Buriol, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.:
A Sampling Data Stream Algorithm For Wireless Sensor Networks. ICC 2007: 3207-3212 - [c30]André L. L. de Aquino, Carlos Mauricio S. Figueiredo, Eduardo Freire Nakamura, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.:
On The Use Data Reduction Algorithms for Real-Time Wireless Sensor Networks. ISCC 2007: 583-588 - 2006
- [c29]Andre Mota, Leonardo B. Oliveira, Felipe F. Rocha, Ramon Riserio, Antonio Alfredo Ferreira Loureiro, Claudionor José Nunes Coelho Jr., Hao Chi Wong, Eduardo Freire Nakamura:
WISENEP: A Network Processor for Wireless Sensor Networks. ISCC 2006: 8-14 - [c28]Romanelli Lodron Zuim, José T. Souza, Claudionor José Nunes Coelho Jr.:
Cube Subtraction in SAT Solvers. LATW 2006: 33-38 - [c27]Romanelli Lodron Zuim, José T. de Sousa, Claudionor José Nunes Coelho Jr.:
A fast SAT solver algorithm best suited to reconfigurable hardware. SBCCI 2006: 131-136 - [c26]Romanelli Lodron Zuim, José T. de Sousa, Claudionor José Nunes Coelho Jr.:
A Fast SAT Solver Strategy Based on Negated Clauses. VLSI-SoC 2006: 110-115 - [c25]Rodrigo M. Passos, José Augusto Miranda Nacif, Raquel A. F. Mini, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.:
System-level Dynamic Power Management Techniques for Communication Intensive Devices. VLSI-SoC 2006: 373-378 - 2005
- [c24]Rodrigo M. Passos, Claudionor José Nunes Coelho Jr., Antonio Alfredo Ferreira Loureiro, Raquel A. F. Mini:
Dynamic Power Management in Wireless Sensor Networks: An Application-Driven Approach. WONS 2005: 109-118 - 2004
- [c23]Fernando Cortez Sica, Claudionor José Nunes Coelho Jr., José Augusto Miranda Nacif, Harry Foster, Antônio Otávio Fernandes:
Exception handling in microprocessors using assertion libraries. SBCCI 2004: 55-59 - 2003
- [c22]Ana Luiza A. P. Zuquim, Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, Alex Borges Vieira, Hervaldo S. Carvalho, José Augusto Miranda Nacif, Claudionor Coelho, Diógenes Cecilio da Silva Jr., Antônio Otávio Fernandes, Antonio Alfredo Ferreira Loureiro:
Efficient power management in real-time embedded systems. ETFA (1) 2003: 496-505 - [c21]André Lins, Eduardo Freire Nakamura, Lincoln S. Rocha, Antonio Alfredo Ferreira Loureiro, Claudionor Coelho:
Semi-automatic generation of monitoring applications for wireless networks. ETFA (1) 2003: 506-511 - [c20]Marcos Augusto M. Vieira, Claudionor José Nunes Coelho Jr., Diógenes Cecilio da Silva Jr., José Monteiro da Mata:
Survey on wireless sensor network devices. ETFA (1) 2003: 537-544 - [c19]Claudionor José Nunes Coelho Jr., Antônio Otávio Fernandes, Julio C. D. Conway, Fábio L. Correa Jr., Hervaldo S. Carvalho, José Monteiro da Mata:
A biomedical wearable device for remote monitoring of physiological signals. ETFA (2) 2003: 708-713 - [c18]Flávio Miana de Paula, Claudionor José Nunes Coelho Jr., Harry Foster, José Augusto Miranda Nacif, Joseph Tompkins, Antônio Otávio Fernandes, Diógenes Cecilio da Silva Jr.:
Refactoring digital hardware designs with assertion libraries. HLDVT 2003: 37-42 - [c17]Hervaldo S. Carvalho, Amy L. Murphy, Wendi Beth Heinzelman, Claudionor José Nunes Coelho Jr.:
Network-Based Distributed Systems Middleware. Middleware Workshops 2003: 13-20 - [c16]André Lins, Eduardo Freire Nakamura, Antonio Alfredo Ferreira Loureiro, Claudionor José Nunes Coelho Jr.:
BeanWatcher: A Tool to Generate Multimedia Monitoring Applications for Wireless Sensor Networks. MMNS 2003: 128-141 - [c15]Romanelli Lodron Zuim, Claudionor José Nunes Coelho Jr., Luiz Fernando Etrusco Moreira, Antônio Otávio Fernandes, José Monteiro da Mata, Diógenes Cecilio da Silva Jr.:
Dynamic Reconfiguration Behavior Using Generic FPGAs and FPIDs. SBCCI 2003: 289- - [c14]José Augusto Miranda Nacif, Claudionor Nunes Coelho, Harry Foster, Flávio Miana de Paula, Edjard Mota, Márcia Roberta Falcão Mota, Antônio Otávio Fernandes:
On-Chip Property Verification Using Assertion Processors. VLSI-SoC (Selected Papers) 2003: 101-117 - [c13]José Augusto Miranda Nacif, Flávio Miana de Paula, Harry Foster, Claudionor José Nunes Coelho Jr., Antônio Otávio Fernandes:
The Chip is Ready. Am I done? On-chip Verification using Assertion Processors. VLSI-SOC 2003: 111- - 2001
- [c12]Bruno Santos Pimentel, João Hilário de Ávila Valgas Filho, Rodrigo Lacerda Campos, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.:
A FPGA Implementation of a DCT-Based Digital Electrocardiographic Signal Compression Device. SBCCI 2001: 44-51 - [c11]Ana Luiza de Almeida Pereira Zuquim, Claudionor José Nunes Coelho Jr., Antônio Otávio Fernandes, Marcos Pêgo de Oliveira, Andréa Iabrudi Tavares:
An Embedded Converter from RS232 to Universal Serial Bus. SBCCI 2001: 91-97 - 2000
- [c10]Julio C. D. Conway, Claudionor José Nunes Coelho Jr., Diógenes Cecilio da Silva Jr., Antônio Otávio Fernandes, Luis C. G. Andrade, Hervaldo S. Carvalho:
Wearable Computer as a Multi-parametric Monitor for Physiological Signals. BIBE 2000: 236-242 - [c9]C. L. Pereira, Diogenes C. da Silva Júnior, R. G. Duarte, Antônio Otávio Fernandes, L. H. Canaan, Claudionor José Nunes Coelho Jr., L. L. Ambrosio:
JADE: An Embedded Systems Specification, Code Generation and Optimization Tool. SBCCI 2000: 263-268 - 1999
- [c8]Jones Albuquerque, Claudionor José Nunes Coelho Jr., Carlos Frederico Cavalcanti, Diógenes Cecilio da Silva Jr., Antônio Otávio Fernandes:
System-level partitioning with uncertainty. CODES 1999: 198-202 - 1998
- [c7]Claudionor José Nunes Coelho Jr., Diógenes Cecilio da Silva Jr., Antônio Otávio Fernandes:
Hardware-Software Codesign of Embedded Systems. SBCCI 1998: 2-9 - [c6]Claudionor Coelho, A. Araújo R. Tavare, Antônio Otávio Fernandes:
Implementation of an Edge Detection Algorithm in a Reconfigurable Computing System. SBCCI 1998: 38-41 - 1996
- [c5]Giovanni De Micheli, Vincent John Mooney III, Claudionor Nunes Coelho, Toshiyuki Sakamoto:
Synthesis from mixed specifications. EURO-DAC 1996: 114-119 - [c4]Luca Benini, Patrick Vuillod, Claudionor José Nunes Coelho Jr., Giovanni De Micheli:
Synthesis of Low-Power Selectively-Clocked Systems from High-Level Specification. ISSS 1996: 57- - 1994
- [c3]Claudionor José Nunes Coelho Jr., Jerry Chih-Yuan Yang, Vincent John Mooney III, Giovanni De Micheli:
Redesigning hardware-software systems. CODES 1994: 116-123 - [c2]Claudionor José Nunes Coelho Jr., Giovanni De Micheli:
Dynamic scheduling and synchronization synthesis of concurrent digital systems under system-level constraints. ICCAD 1994: 175-181 - 1992
- [c1]Rajesh K. Gupta, Claudionor José Nunes Coelho Jr., Giovanni De Micheli:
Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components. DAC 1992: 225-230
Editorship
- 2006
- [e1]Claudionor José Nunes Coelho Jr., Ricardo P. Jacobi, Jürgen Becker:
Proceedings of the 19th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2006, Ouro Preto, MG, Brazil, August 28 - September 1, 2006. ACM 2006 [contents]
Informal and Other Publications
- 2022
- [i7]Kevin Smith, Hai Lin, Praveen Tiwari, Marjorie Sayer, Claudionor Coelho:
PSL is Dead. Long Live PSL. CoRR abs/2205.14136 (2022) - 2021
- [i6]Erwei Wang, James J. Davis, Daniele Moro, Piotr Zielinski, Claudionor Coelho, Satrajit Chatterjee, Peter Y. K. Cheung, George A. Constantinides:
Enabling Binary Neural Network Training on the Edge. CoRR abs/2102.04270 (2021) - [i5]Sankeerth Rao Karingula, Nandini Ramanan, Rasool Tahsambi, Mehrnaz Amjadi, Deokwoo Jung, Ricky Si, Charanraj Thimmisetty, Claudionor José Nunes Coelho Jr.:
Boosted Embeddings for Time Series Forecasting. CoRR abs/2104.04781 (2021) - [i4]Charanraj Thimmisetty, Praveen Tiwari, Didac Gil de la Iglesia, Nandini Ramanan, Marjorie Sayer, Viswesh Ananthakrishnan, Claudionor José Nunes Coelho Jr.:
Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias. CoRR abs/2105.14149 (2021) - [i3]Deokwoo Jung, Nandini Ramanan, Mehrnaz Amjadi, Sankeerth Rao Karingula, Jake Taylor, Claudionor José Nunes Coelho Jr.:
Time Series Anomaly Detection with label-free Model Selection. CoRR abs/2106.07473 (2021) - [i2]Nandini Ramanan, Rasool Tahmasbi, Marjorie Sayer, Deokwoo Jung, Shalini Hemachandran, Claudionor José Nunes Coelho Jr.:
Real-time Drift Detection on Time-series Data. CoRR abs/2110.06383 (2021) - 2020
- [i1]Claudionor José Nunes Coelho Jr., Aki Kuusela, Hao Zhuang, Thea Aarrestad, Vladimir Loncar, Jennifer Ngadiuba, Maurizio Pierini, Sioni Summers:
Ultra Low-latency, Low-area Inference Accelerators using Heterogeneous Deep Quantization with QKeras and hls4ml. CoRR abs/2006.10159 (2020)
Coauthor Index
aka: Diógenes Cecilio da Silva Jr.
aka: José Augusto Miranda Nacif
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 23:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
