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 |