Program Equivalence Using Neural Networks

Tiago M. Nascimento, Charles B. Prado, Davidson R. Boccardo, Luiz F. R. C. Carmo, Raphael C. S. Machado. Program Equivalence Using Neural Networks. In Junichi Suzuki, Tadashi Nakano, editors, Bio-Inspired Models of Network, Information, and Computing Systems - 5th International ICST Conference, BIONETICS 2010, Boston, MA, USA, December 1-3, 2010, Revised Selected Papers. Volume 87 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 637-650, Springer, 2010. [doi]

Authors

Tiago M. Nascimento

This author has not been identified. Look up 'Tiago M. Nascimento' in Google

Charles B. Prado

This author has not been identified. Look up 'Charles B. Prado' in Google

Davidson R. Boccardo

This author has not been identified. Look up ' Davidson R. Boccardo' in Google

Luiz F. R. C. Carmo

This author has not been identified. Look up 'Luiz F. R. C. Carmo' in Google

Raphael C. S. Machado

This author has not been identified. Look up 'Raphael C. S. Machado' in Google