Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados

Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados

Submitted by Kamila Costa (kamilavasconceloscosta@gmail.com) on 2015-06-15T21:23:16Z No. of bitstreams: 1 Dissertacao-Alessandro B Trindade.pdf: 1833454 bytes, checksum: 132beb74daa71e138bbfcdc0dcf5b174 (MD5) === Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddb...

Full description

Bibliographic Details
Main Author: Trindade, Alessandro Bezerra
Other Authors: Cordeiro, Lucas Carvalho
Format: Others
Language:Portuguese
Published: Universidade Federal do Amazonas 2015
Subjects:
Coprojeto hardware/software
Sistemas embarcados
Particionamento
Programação linear inteira
Algoritmo genético
Verificação de modelos
Hardware/software co-design
Embedded systems
Partitioning
Integer linear programming
Genetic algorithm
Model checking
ENGENHARIAS: ENGENHARIA ELÉTRICA
Online Access:http://tede.ufam.edu.br/handle/tede/4091

Internet

http://tede.ufam.edu.br/handle/tede/4091

Similar Items