Antônio Otávio Fernandes

38 papers B 4C 7Misc 1Journal 2Unranked 23

Year	Rank	Type	Title / Venue / Authors
2018	B	`conf`	Arithmetic Circuit Classification Using Convolutional Neural Networks. IJCNN Leandro Maia Silva, Fabrício Vivas Andrade, Antônio Otávio Fernandes, Luiz Filipe Menezes Vieira
2017	J	`jnl`	Complexity-Aware Assignment of Latent Values in Discriminative Models for Accurate Gesture Recognition. CoRR Manoel Horta Ribeiro, Bruno Teixeira, Antônio Otávio Fernandes, Wagner Meira Jr., Erickson R. Nascimento
2016	—	`conf`	Complexity-Aware Assignment of Latent Values in Discriminative Models for Accurate Gesture Recognition. SIBGRAPI Manoel Horta Ribeiro, Bruno Teixeira, Antônio Otávio Fernandes, Wagner Meira Jr., Erickson R. Nascimento
2014	—	`conf`	A Quantum-Dot Cellular Automata Processor Design. SBCCI Elverton C. Fazzion, Osvaldo L. H. M. Fonseca, José Augusto Miranda Nacif, Omar P. Vilela Neto, Antônio Otávio Fernandes, Douglas S. Silva
2012	B	`conf`	HydroNode: A low cost, energy efficient, multi purpose node for underwater sensor networks. LCN David Pinto, Sadraque S. Viana, José Augusto Miranda Nacif, Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, Alex Borges Vieira, Antônio Otávio Fernandes
2012	J	`jnl`	Selection of formal verification heuristics for parallel execution. Int. J. Softw. Tools Technol. Transf. Georgia Penido Safe, Claudionor Coelho, Luiz Filipe M. Vieira, Celina Gomes Do Val, José Augusto Miranda Nacif, Antônio Otávio Fernandes
2011	—	`conf`	A cache based algorithm to predict HDL modules faults. LATW José Augusto Miranda Nacif, Thiago S. F. Silva, Luiz Filipe M. Vieira, Alex Borges Vieira, Antônio Otávio Fernandes, Claudionor Nunes Coelho
2011	—	`conf`	Machine vision applications and development aspects. ICCA Antônio Otávio Fernandes, Luiz Fernando Etrusco Moreira, José Monteiro da Mata
2011	—	`conf`	Tracking hardware evolution. ISQED José Augusto Miranda Nacif, Thiago S. F. Silva, Luiz Filipe M. Vieira, Alex Borges Vieira, Antônio Otávio Fernandes, Claudionor Coelho
2010	—	`conf`	A modular CNF-based SAT solver. SBCCI Bernardo C. Vieira, Fabrício Vivas Andrade, Antônio Otávio Fernandes
2009	—	`conf`	BugTracer: A system for integrated circuit development tracking and statistics retrieval. LATW Thiago Nunes Coelho Cardoso, José Augusto Miranda Nacif, Antônio Otávio Fernandes, Claudionor Nunes Coelho
2008	—	`conf`	An in-network reduction algorithm for real-time wireless sensor network applications. WMuNeP André L. L. de Aquino, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, Raquel A. F. Mini
2008	—	`conf`	BenCGen: a digital circuit generation tool for benchmarks. SBCCI Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes
2008	C	`conf`	Efficient Allocation of Verification Resources using Revision History Information. DDECS José Augusto Miranda Nacif, Thiago S. F. Silva, Andréa Iabrudi Tavares, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.
2008	C	`conf`	Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. ICCD Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes
2008	Misc	`conf`	Sensor stream reduction for clustered wireless sensor networks. SAC André L. L. de Aquino, Carlos Maurício S. Figueiredo, Eduardo Freire Nakamura, Alejandro César Frery, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes
2007	—	`conf`	A Sampling Data Stream Algorithm For Wireless Sensor Networks. ICC André L. L. de Aquino, Carlos Maurício S. Figueiredo, Eduardo Freire Nakamura, Luciana S. Buriol, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.
2007	B	`conf`	Data Stream Based Algorithms For Wireless Sensor Network Applications. AINA André L. L. de Aquino, Carlos Maurício S. Figueiredo, Eduardo Freire Nakamura, Luciana S. Buriol, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.
2007	C	`conf`	On The Use Data Reduction Algorithms for Real-Time Wireless Sensor Networks. ISCC André L. L. de Aquino, Carlos Maurício S. Figueiredo, Eduardo Freire Nakamura, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.
2007	C	`conf`	SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse. DDECS Fabrício Vivas Andrade, Márcia C. M. Oliveira, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.
2006	C	`conf`	System-level Dynamic Power Management Techniques for Communication Intensive Devices. VLSI-SoC 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.
2004	—	`conf`	Exception handling in microprocessors using assertion libraries. SBCCI Fernando Cortez Sica, Claudionor José Nunes Coelho Jr., José Augusto Miranda Nacif, Harry Foster, Antônio Otávio Fernandes
2003	—	`conf`	A biomedical wearable device for remote monitoring of physiological signals. ETFA (2) Claudionor José Nunes Coelho Jr., Antônio Otávio Fernandes, Julio C. D. Conway, Fábio L. Correa Jr., Hervaldo S. Carvalho, José Monteiro da Mata
2003	—	`conf`	Dynamic Reconfiguration Behavior Using Generic FPGAs and FPIDs. SBCCI 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.
2003	—	`conf`	Efficient power management in real-time embedded systems. ETFA (1) Ana Luiza A. P. Zuquim, Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, Alex Borges Vieira, Hervaldo S. Carvalho, José Augusto Miranda Nacif, Claudionor Coelho, Diógenes Cecilio da Silva Jr., Antônio Otávio Fernandes, Antonio Alfredo Ferreira Loureiro
2003	—	`conf`	On-Chip Property Verification Using Assertion Processors. VLSI-SoC (Selected Papers) José Augusto Miranda Nacif, Claudionor Nunes Coelho, Harry Foster, Flávio Miana de Paula, Edjard Mota, Márcia Roberta Falcão Mota, Antônio Otávio Fernandes
2003	—	`conf`	Refactoring digital hardware designs with assertion libraries. HLDVT Flávio Miana de Paula, Claudionor José Nunes Coelho Jr., Harry Foster, José Augusto Miranda Nacif, Joseph Tompkins, Antônio Otávio Fernandes, Diógenes Cecilio da Silva Jr.
2003	B	`conf`	Scheduling Nodes in Wireless Sensor Networks: A Voronoi Approach. LCN Marcos Augusto M. Vieira, Luiz Filipe M. Vieira, Linnyer Beatrys Ruiz, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, José Marcos S. Nogueira
2003	C	`conf`	The Chip is Ready. Am I done? On-chip Verification using Assertion Processors. VLSI-SOC José Augusto Miranda Nacif, Flávio Miana de Paula, Harry Foster, Claudionor José Nunes Coelho Jr., Antônio Otávio Fernandes
2001	—	`conf`	A FPGA Implementation of a DCT-Based Digital Electrocardiographic Signal Compression Device. SBCCI Bruno Santos Pimentel, João Hilário de Ávila Valgas Filho, Rodrigo Lacerda Campos, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.
2001	—	`conf`	An Embedded Converter from RS232 to Universal Serial Bus. SBCCI Ana Luiza de Almeida Pereira Zuquim, Claudionor José Nunes Coelho Jr., Antônio Otávio Fernandes, Marcos Pêgo de Oliveira, Andréa Iabrudi Tavares
2000	—	`conf`	JADE: An Embedded Systems Specification, Code Generation and Optimization Tool. SBCCI C. L. Pereira, Diogenes C. da Silva Júnior, R. G. Duarte, Antônio Otávio Fernandes, L. H. Canaan, Claudionor José Nunes Coelho Jr., L. L. Ambrosio
2000	C	`conf`	Wearable Computer as a Multi-parametric Monitor for Physiological Signals. BIBE 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
1999	—	`conf`	System-level partitioning with uncertainty. CODES Jones Albuquerque, Claudionor José Nunes Coelho Jr., Carlos Frederico Cavalcanti, Diógenes Cecilio da Silva Jr., Antônio Otávio Fernandes
1998	—	`conf`	Hardware-Software Codesign of Embedded Systems. SBCCI Claudionor José Nunes Coelho Jr., Diógenes Cecilio da Silva Jr., Antônio Otávio Fernandes
1998	—	`conf`	Implementation of an Edge Detection Algorithm in a Reconfigurable Computing System. SBCCI Claudionor Coelho, A. Araújo R. Tavare, Antônio Otávio Fernandes
1991	—	`conf`	A self-checking PLA automatic generator tool based on unordered codes encoding. EURO-DAC Kholdoun Torki, Michael Nicolaidis, Antônio Otávio Fernandes
1988	—	`—`	Le test des PLAs optimisés topologiquement. (Test of folded PLAs). Antônio Otávio Fernandes