Mauricio Ayala Rincon
Mauricio Ayala Rincon
Professor of Computer Science and Mathematics, Universidade de Brasilia
E-mail confirmado em unb.br - Página inicial
Título
Citado por
Citado por
Ano
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
532005
Formal verification of an optimal air traffic conflict resolution and recovery algorithm
AL Galdino, C Munoz, M Ayala-Rincón
International Workshop on Logic, Language, Information, and Computation, 177-188, 2007
512007
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
412010
Unification via the λse-style of explicit substitutions
M Ayala-Rincón, F Kamareddine
Logic Journal of the IGPL 9 (4), 489-523, 2001
412001
A suitable FPGA implementation of floating-point matrix inversion based on Gauss-Jordan elimination
J Arias-García, RP Jacobi, CH Llanos, M Ayala-Rincón
2011 vii southern conference on programmable logic (SPL), 263-268, 2011
382011
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
35*2005
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
342010
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
312009
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
302008
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
262010
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
262009
An exact parallel algorithm to compare very long biological sequences in clusters of workstations
A Boukerche, ACMA de Melo, EF de Oliveira Sandes, M Ayala-Rincon
Cluster Computing 10 (2), 187-202, 2007
242007
A formalization of the Knuth–Bendix (–Huet) critical pair theorem
AL Galdino, M Ayala-Rincón
Journal of Automated Reasoning 45 (3), 301-325, 2010
232010
FELIX: using rewriting-logic for generating functionally equivalent implementations
C Morra, J Becker, M Ayala-Rincon, R Hartenstein
International Conference on Field Programmable Logic and Applications, 2005 …, 2005
202005
Comparing and implementing calculi of explicit substitutions with eta-reduction
M Ayala-Rincón, FLC de Moura, F Kamareddine
Annals of Pure and Applied Logic 134 (1), 5-41, 2005
202005
Prototyping time-and space-efficient computations of algebraic operations over dynamically reconfigurable systems modeled by rewriting-logic
M Ayala-Rincón, CH Llanos, RP Jacobi, RW Hartenstein
ACM Transactions on Design Automation of Electronic Systems (TODAES) 11 (2 …, 2006
192006
Nominal narrowing
M Ayala-Rincón, M Fernández, D Nantes-Sobrinho
1st International Conference on Formal Structures for Computation and …, 2016
182016
Modeling a reconfigurable system for computing the FFT in place via rewriting-logic
M Ayala-Rincón, RB Nogueira, CH Llanos, RP Jacobi, RW Hartenstein
16th Symposium on Integrated Circuits and Systems Design, 2003. SBCCI 2003 …, 2003
182003
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs
M Ayala-Rincón, FLC De Moura
Springer, 2017
172017
FPGA implementation of large-scale matrix inversion using single, double and custom floating-point precision
J Arias-García, CH Llanos, M Ayala-Rincón, RP Jacobi
2012 VIII Southern Conference on Programmable Logic, 1-6, 2012
172012
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20