Fabrício Vivas Andrade

According to our database, Fabrício Vivas Andrade authored at least 8 papers between 2007 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

A Continuous Restricted Boltzmann Machine and Logistic Regression Framework for Circuit Classification.

Leandro Maia Silva, Fabrício Vivas Andrade, Luiz Filipe Menezes Vieira

Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

2018

Arithmetic Circuit Classification Using Convolutional Neural Networks.

Leandro Maia Silva, Fabrício Vivas Andrade, Antônio Otávio Fernandes, Luiz Filipe Menezes Vieira

Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

2014

MIPS X-Ray: A MARS Simulator Plug-in for Teaching Computer Architecture.

Marcio Roberto Dias Araujo, Flávio Luis Cardeal Pádua, Fabrício Vivas Andrade, Fabio Lucio Correa-Junior

Int. J. Recent Contributions Eng. Sci. IT, 2014

2010

A modular CNF-based SAT solver.

Bernardo C. Vieira, Fabrício Vivas Andrade, Antônio Otávio Fernandes

Proceedings of the 23rd Annual Symposium on Integrated Circuits and Systems Design, 2010

2008

Contribuições para o problema de verificação de equivalência combinacional.

Fabrício Vivas Andrade

PhD thesis, 2008

BenCGen: a digital circuit generation tool for benchmarks.

Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes

Proceedings of the 21st Annual Symposium on Integrated Circuits and Systems Design, 2008

Improving SAT-based Combinational Equivalence Checking through circuit preprocessing.

Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes

Proceedings of the 26th International Conference on Computer Design, 2008

2007

SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse.

Fabrício Vivas Andrade, Márcia C. M. Oliveira, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.

Proceedings of the 10th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2007), 2007