| * | 2008 |
| 25 | EE | José Augusto Miranda Nacif,
Thiago 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 |
| 24 | EE | 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 |
| 23 | | 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 |
| 22 | EE | 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 |
| 21 | EE | 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 |
| 20 | | 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 |
| 19 | EE | 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 |
| 18 | EE | 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 |
| 17 | EE | 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 |
| 16 | EE | 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 |
| 15 | EE | 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 |
| 14 | EE | 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 |
| 13 | EE | 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 |
| 12 | | Hervaldo S. Carvalho,
Amy L. Murphy,
Wendi Beth Heinzelman,
Claudionor José Nunes Coelho Jr.:
Network-Based Distributed Systems Middleware.
Middleware Workshops 2003: 13-20 |
| 11 | EE | 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- |
| 10 | | 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- |
| 2000 |
| 9 | | 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 |
| 1999 |
| 8 | EE | 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 |
| 1996 |
| 7 | EE | 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- |
| 6 | EE | Claudionor José Nunes Coelho Jr.,
Giovanni De Micheli:
Analysis and synthesis of concurrent digital circuits using control-flow expressions.
IEEE Trans. on CAD of Integrated Circuits and Systems 15(8): 854-876 (1996) |
| 1994 |
| 5 | EE | Claudionor José Nunes Coelho Jr.,
Jerry Chih-Yuan Yang,
Vincent John Mooney III,
Giovanni De Micheli:
Redesigning hardware-software systems.
CODES 1994: 116-123 |
| 4 | EE | 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 |
| 3 | | Rajesh K. Gupta,
Claudionor José Nunes Coelho Jr.,
Giovanni De Micheli:
Program Implementation Schemes for Hardware-Software Systems.
IEEE Computer 27(1): 48-55 (1994) |
| 1993 |
| 2 | EE | Dave Filo,
David C. Ku,
Claudionor José Nunes Coelho Jr.,
Giovanni De Micheli:
Interface optimization for concurrent systems under timing constraints.
IEEE Trans. VLSI Syst. 1(3): 268-281 (1993) |
| 1992 |
| 1 | EE | 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 |