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

dc.creatorSilva, André Luís Meneses
dc.creatorMenezes, Manoel Messias
dc.creatorSilva, Leila
dc.date2014-08-29T20:22:50Z
dc.date2014-08-29T20:22:50Z
dc.date2004-05
dc.date.accessioned2023-09-28T22:51:01Z
dc.date.available2023-09-28T22:51:01Z
dc.identifierSILVA, 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.
dc.identifier1571-0661
dc.identifierhttps://ri.ufs.br/handle/riufs/1106
dc.identifierCreative Commons License
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/9079397
dc.descriptionThe 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.
dc.formatapplication/pdf
dc.languagept_BR
dc.publisherElsevier
dc.subjectVerificação de particionamento
dc.subjectSistemas de reescrita
dc.subjectHardware
dc.subjectSoftware
dc.titleUsing 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
dc.typeArtigo


Este ítem pertenece a la siguiente institución