dblp.uni-trier.dewww.uni-trier.de

Antônio Otávio Fernandes

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
16EEJosé 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
15EEFabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes: Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. ICCD 2008: 40-45
14EEAndré 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
13EEFabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes: BenCGen: a digital circuit generation tool for benchmarks. SBCCI 2008: 164-169
12EEAndré 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
11EEAndré 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
9EEAndré 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
8EEAndré 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
7EERodrigo 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
6EEFernando 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
5EEMarcos 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
4EERomanelli 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
1EEJones 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

Coauthor Index

1Jones Albuquerque [1]
2Fabrício Vivas Andrade [10] [13] [15]
3Luis C. G. Andrade [2]
4André L. L. de Aquino [8] [9] [11] [12] [14]
5Luciana S. Buriol [9] [11]
6Hervaldo S. Carvalho [2]
7Carlos Frederico Cavalcanti [1]
8Claudionor José Nunes Coelho Jr. [1] [2] [3] [4] [6] [7] [8] [9] [10] [11] [16]
9Julio C. D. Conway [2]
10Carlos Mauricio S. Figueiredo [8] [9] [11] [14]
11Harry Foster [3] [6]
12Alejandro César Frery [14]
13Antonio Alfredo Ferreira Loureiro [5] [7] [8] [9] [11] [12] [14]
14José Monteiro da Mata [4]
15Raquel A. F. Mini [7] [12]
16Luiz Fernando Etrusco Moreira [4]
17José Augusto Miranda Nacif [3] [6] [7] [16]
18Eduardo Freire Nakamura [8] [9] [11] [14]
19José Marcos S. Nogueira [5]
20Márcia C. M. Oliveira [10]
21Rodrigo M. Passos [7]
22Flávio Miana de Paula [3]
23Linnyer Beatrys Ruiz [5]
24Fernando Cortez Sica [6]
25Leandro Maia Silva [13] [15]
26Thiago Silva [16]
27Diógenes Cecilio da Silva Jr. [1] [2] [4]
28Andréa Iabrudi Tavares [16]
29Luiz Filipe M. Vieira [5]
30Marcos Augusto M. Vieira [5]
31Romanelli Lodron Zuim [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)