Antônio Otávio Fernandes

Publication Activity (10 Years)

Years Active: 1991-2018
Publications (10 Years): 3

Top Venues

SBCCI

CoRR

SIBGRAPI

IJCNN

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Leandro Maia Silva, Fabrício Vivas Andrade, Antônio Otávio Fernandes, Luiz Filipe Menezes Vieira
Arithmetic Circuit Classification Using Convolutional Neural Networks. IJCNN (2018)
Manoel Horta Ribeiro, Bruno Teixeira, Antônio Otávio Fernandes, Wagner Meira Jr., Erickson R. Nascimento
Complexity-Aware Assignment of Latent Values in Discriminative Models for Accurate Gesture Recognition. CoRR (2017)
Manoel Horta Ribeiro, Bruno Teixeira, Antônio Otávio Fernandes, Wagner Meira Jr., Erickson R. Nascimento
Complexity-Aware Assignment of Latent Values in Discriminative Models for Accurate Gesture Recognition. SIBGRAPI (2016)
Elverton C. Fazzion, Osvaldo L. H. M. Fonseca, José Augusto Miranda Nacif, Omar P. Vilela Neto, Antônio Otávio Fernandes, Douglas S. Silva
A Quantum-Dot Cellular Automata Processor Design. SBCCI (2014)
Georgia Penido Safe, Claudionor Coelho, Luiz Filipe M. Vieira, Celina Gomes Do Val, José Augusto Miranda Nacif, Antônio Otávio Fernandes
Selection of formal verification heuristics for parallel execution. Int. J. Softw. Tools Technol. Transf. 14 (1) (2012)
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
HydroNode: A low cost, energy efficient, multi purpose node for underwater sensor networks. LCN (2012)
Antônio Otávio Fernandes, Luiz Fernando Etrusco Moreira, José Monteiro da Mata
Machine vision applications and development aspects. ICCA (2011)
José Augusto Miranda Nacif, Thiago S. F. Silva, Luiz Filipe M. Vieira, Alex Borges Vieira, Antônio Otávio Fernandes, Claudionor Coelho
Tracking hardware evolution. ISQED (2011)
José Augusto Miranda Nacif, Thiago S. F. Silva, Luiz Filipe M. Vieira, Alex Borges Vieira, Antônio Otávio Fernandes, Claudionor Nunes Coelho
A cache based algorithm to predict HDL modules faults. LATW (2011)
Bernardo C. Vieira, Fabrício Vivas Andrade, Antônio Otávio Fernandes
A modular CNF-based SAT solver. SBCCI (2010)
Thiago Nunes Coelho Cardoso, José Augusto Miranda Nacif, Antônio Otávio Fernandes, Claudionor Nunes Coelho
BugTracer: A system for integrated circuit development tracking and statistics retrieval. LATW (2009)
José Augusto Miranda Nacif, Thiago S. F. 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)
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)
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)
Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes
Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. ICCD (2008)
Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes
BenCGen: a digital circuit generation tool for benchmarks. SBCCI (2008)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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
A biomedical wearable device for remote monitoring of physiological signals. ETFA (2) (2003)
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
Efficient power management in real-time embedded systems. ETFA (1) (2003)
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
On-Chip Property Verification Using Assertion Processors. VLSI-SoC (Selected Papers) (2003)
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.
Refactoring digital hardware designs with assertion libraries. HLDVT (2003)
Bruno Santos Pimentel, João Hilário de Ávila Valgas Filho, Rodrigo Lacerda Campos, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.
A FPGA Implementation of a DCT-Based Digital Electrocardiographic Signal Compression Device. SBCCI (2001)
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
An Embedded Converter from RS232 to Universal Serial Bus. SBCCI (2001)
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
JADE: An Embedded Systems Specification, Code Generation and Optimization Tool. SBCCI (2000)
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)
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)
Claudionor José Nunes Coelho Jr., Diógenes Cecilio da Silva Jr., Antônio Otávio Fernandes
Hardware-Software Codesign of Embedded Systems. SBCCI (1998)
Claudionor Coelho, A. Araújo R. Tavare, Antônio Otávio Fernandes
Implementation of an Edge Detection Algorithm in a Reconfigurable Computing System. SBCCI (1998)
Kholdoun Torki, Michael Nicolaidis, Antônio Otávio Fernandes
A self-checking PLA automatic generator tool based on unordered codes encoding. EURO-DAC (1991)

Antônio Otávio Fernandes.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Antônio Otávio Fernandes