2006 |
9 | EE | Daniel M. Muñoz,
Carlos H. Llanos,
Mauricio Ayala-Rincón,
Rudi van Els,
Renato P. Almeida:
Implementation of dispatching algorithms for elevator systems using reconfigurable architectures.
SBCCI 2006: 32-37 |
8 | EE | Mauricio Ayala-Rincón,
Carlos H. Llanos,
Ricardo P. Jacobi,
Reiner W. Hartenstein:
Prototyping time- and space-efficient computations of algebraic operations over dynamically reconfigurable systems modeled by rewriting-logic.
ACM Trans. Design Autom. Electr. Syst. 11(2): 251-281 (2006) |
2004 |
7 | EE | Mauricio Ayala-Rincón,
Ricardo P. Jacobi,
Luis G. A. Carvalho,
Carlos H. Llanos,
Reiner W. Hartenstein:
Modeling and prototyping dynamically reconfigurable systems for efficient computation of dynamic programming methods by rewriting-logic.
SBCCI 2004: 248-253 |
6 | | Ricardo P. Jacobi,
Mauricio Ayala-Rincón,
Luis G. A. Carvalho,
Carlos H. Llanos,
Reiner W. Hartenstein:
Reconfigurable Systems for Sequence Alignment and for General Dynamic Programming.
WOB 2004: 25-32 |
2003 |
5 | EE | Mauricio Ayala-Rincón,
R. Jacobi,
Carlos H. Llanos,
Reiner W. Hartenstein:
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing.
FDL 2003: 492-504 |
4 | EE | Mauricio Ayala-Rincón,
Rodrigo B. Nogueira,
Carlos H. Llanos,
Ricardo P. Jacobi,
Reiner W. Hartenstein:
Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic.
SBCCI 2003: 205-210 |
3 | EE | Mauricio Ayala-Rincón,
Rodrigo B. Nogueira,
Carlos H. Llanos,
Ricardo P. Jacobi,
Reiner W. Hartenstein:
Efficient Computation of Algebraic Operations over Dynamically Reconfigurable Systems Specified by Rewriting-Logic Environments.
SCCC 2003: 60- |
2002 |
2 | EE | Mauricio Ayala-Rincón,
Rinaldi Maya Neto,
Ricardo P. Jacobi,
Carlos H. Llanos,
Reiner W. Hartenstein:
Applying ELAN Strategies in Simulating Processors over Simple Architectures.
Electr. Notes Theor. Comput. Sci. 70(6): (2002) |
1 | EE | Mauricio Ayala-Rincón,
Reiner W. Hartenstein,
Rinaldi Maya Neto,
Ricardo P. Jacobi,
Carlos H. Llanos:
Architectural Specification, Exploration and Simulation Through Rewriting-Logic.
Revista Comlombiana de Computación 3(2): (2002) |