|
|||||
|
|
A Constructive Approach to Hardware/Software Partitioning |
|
| Authors: | Leila Silva Augusto Sampaio Edna Barros |
| Affiliation: | 1. Departamento de Ciência da Computa??o e Estatística, Universidade Federal de Sergipe, Campus Universitário “Prof. José Aloísio Campos”, CEP 49100-000, S?o Cristóv?o, SE, Brazil 2. Centro de Informática, Universidade Federal de Pernambuco, Caixa Postal 7851, Cidade Universitária, CEP 50732-970, Recife, PE, Brazil |
| Abstract: | |
| Keywords: | co-design hardware/software partitioning formal verification algebraic laws occam |
| 本文献已被 SpringerLink 等数据库收录！ | |
