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 |