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 |