Mostrar el registro sencillo del ítem
Architectural specification, exploration and simulation through rewriting-logic
| dc.creator | Ayala Rincón, Mauricio | |
| dc.creator | Hartenstein, Reiner W. | |
| dc.creator | Maya Neto, Rinaldi | |
| dc.creator | Jacobi, Ricardo P. | |
| dc.creator | Llanos, Carlos Humberto | |
| dc.date | 2002-12-01 | |
| dc.date.accessioned | 2022-03-03T19:57:10Z | |
| dc.date.available | 2022-03-03T19:57:10Z | |
| dc.identifier | https://revistas.unab.edu.co/index.php/rcc/article/view/1100 | |
| dc.identifier.uri | http://test.repositoriodigital.com:8080/handle/123456789/13874 | |
| dc.description | 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 description language for simulation purposes.Keywords: Rewriting-logic, High Level Specification and Simulation, Design Environment. | es-ES |
| dc.format | application/pdf | |
| dc.language | spa | |
| dc.publisher | Universidad Autónoma de Bucaramanga | es-ES |
| dc.relation | https://revistas.unab.edu.co/index.php/rcc/article/view/1100/1072 | |
| dc.rights | Derechos de autor 2002 Revista Colombiana de Computación | es-ES |
| dc.rights | https://creativecommons.org/licenses/by-nc-sa/4.0 | es-ES |
| dc.source | Revista Colombiana de Computación; Vol. 3 No. 2 (2002): Revista Colombiana de Computación (Julio-Diciembre); 1-15 | en-US |
| dc.source | Revista Colombiana de Computación; Vol. 3 Núm. 2 (2002): Revista Colombiana de Computación (Julio-Diciembre); 1-15 | es-ES |
| dc.source | 2539-2115 | |
| dc.source | 1657-2831 | |
| dc.title | Architectural specification, exploration and simulation through rewriting-logic | es-ES |
| dc.type | info:eu-repo/semantics/article | |
| dc.type | info:eu-repo/semantics/publishedVersion |
Ficheros en el ítem
| Ficheros | Tamaño | Formato | Ver |
|---|---|---|---|
|
No hay ficheros asociados a este ítem. |
|||