2008 | ||
---|---|---|
16 | 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 |
15 | EE | Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes: Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. ICCD 2008: 40-45 |
14 | EE | André L. L. de Aquino, Carlos Mauricio S. Figueiredo, Eduardo Freire Nakamura, Alejandro César Frery, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes: Sensor stream reduction for clustered wireless sensor networks. SAC 2008: 2052-2056 |
13 | EE | Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes: BenCGen: a digital circuit generation tool for benchmarks. SBCCI 2008: 164-169 |
12 | EE | André L. L. de Aquino, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, Raquel A. F. Mini: An in-network reduction algorithm for real-time wireless sensor network applications. WMuNeP 2008: 18-25 |
2007 | ||
11 | 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 |
10 | 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 | |
9 | 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 |
8 | 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 | ||
7 | 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 |
2004 | ||
6 | 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 | ||
5 | EE | Marcos Augusto M. Vieira, Luiz Filipe M. Vieira, Linnyer Beatrys Ruiz, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, José Marcos S. Nogueira: Scheduling Nodes in Wireless Sensor Networks: A Voronoi Approach. LCN 2003: 423-429 |
4 | 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- |
3 | 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 | ||
2 | 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 | ||
1 | 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 |