Use este identificador para citar ou linkar para este item: https://ri.ufs.br/jspui/handle/riufs/1106
Tipo de Documento: Artigo
Título: Using CafeOBJ to implement a reduction strategy in the context of hardware/software partitioningUsing CafeOBJ to implement a reduction strategy in the context of hardware/software partitioningUsing CafeOBJ to implement a reduction strategy in the context of hardware/software partitioning
Autor(es): Silva, André Luís Meneses
Menezes, Manoel Messias
Silva, Leila
Data do documento: Mai-2004
Abstract: The focus of this work is hardware/software partitioning verification. The approach uses occam as specification and reasoning language. The partitioned system is derived from the original de- scription of the system by applying transformation rules, all of them proved from the basic laws of occam. The aim of this work is to show how the rewriting system CafeOBJ can be used to automatically prove the partitioning rules, as well as to implement the reduction strategy that guides the application of these rules. In this way, rewriting systems can be regarded as supporting tools for the construction of partitioning environments, whose emphasis is correctness.
Palavras-chave: Verificação de particionamento
Sistemas de reescrita
Hardware
Software
ISSN: 1571-0661
Instituição/Editora: Elsevier
Citação: SILVA, A. L. M.; MENEZES, M. M.; SILVA, L. Using CafeOBJ to implement a reduction strategy in the context of hardware/software partitioning. Electronic Notes in Theoretical Computer Science, v. 95, p. 63-82, 2004. Disponível em: <http://www.sciencedirect.com/science/article/pii/S1571066104050157#>. Acesso em: 29 ago. 2014.
Licença: Creative Commons License
URI: https://ri.ufs.br/handle/riufs/1106
Aparece nas coleções:DSI - Artigos de periódicos

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
UsingCafeOBJ.pdf295,84 kBAdobe PDFThumbnail
Visualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.