Mauricio Ayala Rincon
Mauricio Ayala Rincon
Professor of Computer Science and Mathematics, Universidade de Brasilia
Verified email at - Homepage
Cited by
Cited by
Tradeoff of FPGA design of a floating-point library for arithmetic operators
DM Muñoz, DF Sanchez, CH Llanos, M Ayala-Rincón
Journal of Integrated Circuits and Systems 5 (1), 42-52, 2010
Reconfigurable systems for sequence alignment and for general dynamic programming
RP Jacobi, M Ayala-Rincón, LGA Carvalho, CH Llanos, RW Hartenstein
Genetics and Molecular Research 4 (3), 543-552, 2005
Formal verification of an optimal air traffic conflict resolution and recovery algorithm
AL Galdino, C Munoz, M Ayala-Rincón
Logic, Language, Information and Computation: 14th International Workshop …, 2007
A suitable FPGA implementation of floating-point matrix inversion based on Gauss-Jordan elimination
J Arias-García, RP Jacobi, CH Llanos, M Ayala-Rincon
2011 vii southern conference on programmable logic (SPL), 263-268, 2011
Unification via the λse-style of explicit substitutions
M Ayala-Rincón, F Kamareddine
Logic Journal of the IGPL 9 (4), 489-523, 2001
FPGA based floating-point library for CORDIC algorithms
DM Muñoz, DF Sanchez, CH Llanos, M Ayala-Rincón
2010 VI Southern Programmable Logic Conference (SPL), 55-60, 2010
Parallel strategies for local biological sequence alignment in a cluster of workstations
A Boukerche, ACMA de Melo, M Ayala-Rincón
19th IEEE International Parallel and Distributed Processing Symposium, 8 pp., 2005
Distributed approach to group control of elevator systems using fuzzy logic and FPGA implementation of dispatching algorithms
DM Munoz, CH Llanos, M Ayala-Rincon, RH van Els
Engineering Applications of Artificial Intelligence 21 (8), 1309-1320, 2008
Hardware architecture for particle swarm optimization using floating-point arithmetic
DMM Arboleda, CH Llanos, M Ayala-Rincón
2009 Ninth International Conference on Intelligent Systems Design and …, 2009
Nominal narrowing
M Ayala-Rincón, M Fernández, D Nantes-Sobrinho
1st International Conference on Formal Structures for Computation and …, 2016
Comparison between two FPGA implementations of the particle swarm optimization algorithm for high-performance embedded applications
DM Muñoz, CH Llanos, LS Coelho, M Ayala-Rincón
2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories …, 2010
Parameterizable floating-point library for arithmetic operations in fpgas
DF Sánchez, DM Muñoz, CH Llanos, M Ayala-Rincón
Proceedings of the 22nd Annual Symposium on Integrated Circuits and System …, 2009
Applied logic for computer scientists: computational deduction and formal proofs
M Ayala-Rincón, FLC De Moura
Springer, 2017
Nominal C-Unification
M Ayala-Rincón, WR de Carvalho-Segundo, M Fernandez, ...
International Symposium on Logic-Based Program Synthesis and Transformation …, 2018
A formalization of the Knuth–Bendix (–Huet) critical pair theorem
AL Galdino, M Ayala-Rincón
Journal of Automated Reasoning 45, 301-325, 2010
An exact parallel algorithm to compare very long biological sequences in clusters of workstations
A Boukerche, ACMA de Melo, EFO Sandes, M Ayala-Rincon
Cluster Computing 10, 187-202, 2007
Completeness in PVS of a nominal unification algorithm
M Ayala-Rincón, M Fernández, AC Rocha-Oliveira
Electronic Notes in Theoretical Computer Science 323, 57-74, 2016
Tradeoff of FPGA design of floating-point transcendental functions
DM Muñoz, DF Sánchez, CH Llanos, M Ayala-Rincón
2009 17th IFIP international conference on very large scale integration …, 2009
On solving nominal fixpoint equations
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
International Symposium on Frontiers of Combining Systems, 209-226, 2017
Hardware opposition-based PSO applied to mobile robot controllers
DM Muñoz, CH Llanos, LS Coelho, M Ayala-Rincón
Engineering Applications of Artificial Intelligence 28, 64-77, 2014
The system can't perform the operation now. Try again later.
Articles 1–20