Thomas Mailleux Santana

According to our database, Thomas Mailleux Santana authored at least 3 papers between 2005 and 2006.

Collaborative distances:

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

2006

SAEPTUM: verification of <i>ELAN</i> hardware specifications using the proof assistant <i>PVS</i>.

Mauricio Ayala-Rincón, Thomas Mailleux Santana

Proceedings of the 19th Annual Symposium on Integrated Circuits and Systems Design, 2006

2005

Parallel Smith-Waterman Algorithm for Local DNA Comparison in a Cluster of Workstations.

Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Mauricio Ayala-Rincón, Thomas Mailleux Santana

Proceedings of the Experimental and Efficient Algorithms, 4th InternationalWorkshop, 2005

Parallel Strategies for Local Biological Sequence Alignment in a Cluster of Workstations.

Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Mauricio Ayala-Rincón, Thomas Mailleux Santana

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005