Buscar
Mostrando ítems 1-1 de 1
Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura
(Universidad Autónoma de Bucaramanga UNAB, 2002-12-01)
Tipo de documento: Artículo
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 ...