Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura

Autor: Ayala Rincón, Mauricio, Hartenstein, Reiner W., Maya Neto, Rinaldi, Jacobi, Ricardo P., Llanos, Carlos Humberto

Publikováno v: Revista Colombiana de Computación, Vol 3, Iss 2, Pp 1-15 (2002)
Repositório Institucional da UnB
Universidade de Brasília (UnB)
instacron:UNB
Revista Colombiana de Computación, Vol 3, Iss 2 (2002)
Revista Colombiana de Computación; Vol. 3 Núm. 2 (2002): Revista Colombiana de Computación; 1-15
Repositorio UNAB
Universidad Autónoma de Bucaramanga-UNAB
instacron:Universidad Autónoma de Bucaramanga-UNAB

In recent years Arvind’s Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specified by term rewriting systems are translated into a standard hardware des

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c2c84701d13463754ff200b5b764d51a
https://revistas.unab.edu.co/index.php/rcc/article/view/1100