Prototyping time- and space-efficient computations of algebraic operations over dynamically reconfigurable systems modeled by rewriting-logic.
Mauricio Ayala-RincónCarlos H. LlanosRicardo P. JacobiReiner W. HartensteinPublished in: ACM Trans. Design Autom. Electr. Syst. (2006)