Skip navigation
Use este identificador para citar ou linkar para este item: http://repositorio.unb.br/handle/10482/11087
Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
ARTIGO_ArchitecturalSpecificationExploration.pdf168,47 kBAdobe PDFVisualizar/Abrir
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.authorAyala-Rincón, Mauricio-
dc.contributor.authorHartenstein, Reiner W.-
dc.contributor.authorMaya Neto, Rinaldi-
dc.contributor.authorJacobi, Ricardo Pezzuol-
dc.contributor.authorLlanos Quintero, Carlos Humberto-
dc.date.accessioned2012-08-31T17:49:59Z-
dc.date.available2012-08-31T17:49:59Z-
dc.date.issued2002-07-
dc.identifier.citationAYALA RICÓN, Maurício et al. Architectural specification, exploration and simulation through rewriting-logic. Revista Colombiana de Computación - RCC, Norteamérica, v. 3, n. 2, jul. 2002. Disponível em: <http://revistas.unab.edu.co/index.php?journal=rcc&page=article&op=view&path%5B%5D=1100>. Acesso em: 27 ago. 2012.en
dc.identifier.urihttp://repositorio.unb.br/handle/10482/11087-
dc.description.abstractIn 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. In this work we present our current investigation on the use of Rewriting-Logic, which is a more powerful theoretical framework than pure rewriting, for specification, exploration and verification of processor architectures at a higher abstraction level. We adopt the rewriting-logic environment ELAN to specify, explore and verify architectures without the need to resort to the details of hardware description languages for simulation purposes. Our investigation shows that simulation at rewriting-logic level may provide useful insights to guide the architectural design.en
dc.language.isoInglêsen
dc.publisherUniversidad Autónoma de Bucaramangaen
dc.rightsAcesso Abertoen
dc.titleArchitectural specification, exploration and simulation through rewriting-logicen
dc.typeArtigoen
dc.subject.keywordLógica de Reescritaen
dc.subject.keywordProcessamento eletrônico de dadosen
dc.rights.licenseEste trabajo está autorizado por una Licencia de Atribución de Bienes Comunes Creativos (Attribution 3.0 Unported (CC BY 3.0)). Fonte: http://revistas.unab.edu.co/index.php?journal=rcc&page=article&op=view&path%5B%5D=1100. Acesso em: 27 ago. 2012.en
Aparece nas coleções:Artigos publicados em periódicos e afins

Mostrar registro simples do item Visualizar estatísticas



Este item está licenciada sob uma Licença Creative Commons Creative Commons