1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario registrado en Universia


Opción 1: Descargar recurso

Detalles del recurso

Descripción

Abstract In recent years Arvind's Group at MIT has shown theusefulness of term rewriting theory for the specification of processor architectures. In their approach processors spec-ified by term rewriting systems are translated into a standard hardware description language for simulation pur-poses. In this work we present our current investigation on the use of Rewriting-Logic, which is a more powerful theo-retical framework than pure rewriting, for specification and verification of processor architectures at a higher abstrac-tion level. We adopt the rewriting-logic environment ELAN to specify and verify architectures without the need to resortto the details of hardware description languages for simulation purposes. Our investigation shows that simulationat rewriting-logic level may provide useful insights to guide the architectural design. Keywords: Rewriting-logic, High Level Specification andSimulation, Design Environment. 1

Pertenece a

CiteSeerX Scientific Literature Digital Library and Search Engine  

Autor(es)

Carlos H. Llanosiesb - 

Id.: 47276931

Idioma: inglés  - 

Versión: 1.0

Estado: Final

Tipo:  application/postscript - 

Tipo de recurso: Texto Narrativo  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: Metadata may be used without restrictions as long as the oai identifier remains attached to it.

Formatos:  application/postscript - 

Requerimientos técnicos:  Browser: Any - 

Relación: [IsBasedOn] http://www.mat.unb.br/~ayala/sbac0702.ps
[References] 10.1.1.31.2833

Fecha de contribución: 28-ago-2009

Contacto:

Localización:

Otros recursos que te pueden interesar

  1. IG II(3) 1137 – Three decrees honoring Eumaridas of Kydonia and his son Charmion Squeeze
  2. IG II(3) 1154 – Dedication to Heros Iatros and decree concerning the melting down and recasting of dedications belonging to the cult as a single oinochoe, with an inventory of dedications Squeezes
  3. Work related stress and public health: A research The research aims to assess the level of work-related stress of a group of workers in the hospitals ...
  4. Women and health at work: A research on public administration Today we know that health care is not just the sanitary offer but also by individual behaviors, the ...
  5. Teamwork: A comparison between nonprofit and public organizations The aim of the present paper is to compare teamwork performance between Non profit and Public sector...

Otros recursos de la mismacolección

  1. Analog Neural Nets with Gaussian or Other Common Noise Distributions Cannot Recognize Arbitrary Regular Languages We consider recurrent analog neural nets where the output of each gate is subject to gaussian noise ...
  2. On the Effect of Analog Noise in Discrete-Time Analog Computations We introduce a model for analog computation with discrete time in the presence of analog noise that ...
  3. Generalized graphlet kernels for probabilistic inference in sparse graphs
  4. Scalable kernels for graphs with . . . While graphs with continuous node attributes arise in many applications, state-of-the-art graph kern...
  5. LEDA -- a Library of Efficient Data Types and Algorithms LEDA is a library of efficient data types and algorithms. At present, its strength is graph algorith...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.