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

En los últimos años, el Grupo Arvind del MIT ha demostrado la utilidad de la teoría de la reescritura de términos para la especificación de arquitecturas de procesadores. En sus procesadores de enfoque Los sistemas de reescritura de términos especificados se traducen en una descripción de hardware e...

Full description

Autores:

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

Tipo de recurso:

Trabajo de grado de pregrado

Fecha de publicación:

2002

Institución:

Universidad Autónoma de Bucaramanga - UNAB

Repositorio:

Repositorio UNAB

Idioma:

spa

OAI Identifier:

oai:repository.unab.edu.co:20.500.12749/9060

Acceso en línea:

http://hdl.handle.net/20.500.12749/9060

Palabra clave:

Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Rewriting-logic
High level specification and simulation
Design environment
Innovaciones tecnológicas
Ciencias de la computación
Ingeniería de sistemas
Tecnologías de la información y la comunicación
Investigaciones
Lógica de reescritura
Especificación y simulación de alto nivel
Entorno de diseño
Desarrollo tecnológico

Rights

License

Derechos de autor 2002 Revista Colombiana de Computación