| Summary: | Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Ciência da Computação. === Made available in DSpace on 2012-10-21T08:46:56Z (GMT). No. of bitstreams: 1
202752.pdf: 768214 bytes, checksum: c8a8db65a7bdaaa5e098882707a683d9 (MD5) === Este trabalho apresenta a resolução de um problema clássico da Síntese de Alto Nível: o escalonamento sob restrições de recursos e de tempo. Para tanto utiliza uma abordagem orientada à exploração automática de soluções alternativas. O problema consiste em escalonar as operações de um algoritmo buscando uma melhor utilização dos recursos físicos e satisfazendo uma série de restrições de recursos, de precedência e de tempo. Os resultados experimentais mostram o sucesso das técnicas propostas em eliminar soluções de baixa qualidade do espaço de busca e melhorar a qualidade média do espaço de soluções. Em adição, na maioria dos testes realizados houve uma redução do tempo de busca por soluções de boa qualidade.
|
|---|
