Modelagem e análise de restrições de tempo real no escalonamento em síntese de alto nível
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) === Est...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | Portuguese |
Published: |
Florianópolis, SC
2012
|
Subjects: | |
Online Access: | http://repositorio.ufsc.br/xmlui/handle/123456789/86612 |
id |
ndltd-IBICT-oai-repositorio.ufsc.br-123456789-86612 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-IBICT-oai-repositorio.ufsc.br-123456789-866122019-01-21T16:04:54Z Modelagem e análise de restrições de tempo real no escalonamento em síntese de alto nível Tolentino, Carlos Henrique Corrêa Universidade Federal de Santa Catarina Santos, Luiz Claudio Villar dos Ciência da computação Informatica Escalonamento Sistemas de computação 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. 2012-10-21T08:46:56Z 2012-10-21T08:46:56Z 2004 2004 info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis http://repositorio.ufsc.br/xmlui/handle/123456789/86612 202752 por info:eu-repo/semantics/openAccess vi, 70| il., grafs., tabs Florianópolis, SC reponame:Repositório Institucional da UFSC instname:Universidade Federal de Santa Catarina instacron:UFSC |
collection |
NDLTD |
language |
Portuguese |
format |
Others
|
sources |
NDLTD |
topic |
Ciência da computação Informatica Escalonamento Sistemas de computação |
spellingShingle |
Ciência da computação Informatica Escalonamento Sistemas de computação Tolentino, Carlos Henrique Corrêa Modelagem e análise de restrições de tempo real no escalonamento em síntese de alto nível |
description |
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. |
author2 |
Universidade Federal de Santa Catarina |
author_facet |
Universidade Federal de Santa Catarina Tolentino, Carlos Henrique Corrêa |
author |
Tolentino, Carlos Henrique Corrêa |
author_sort |
Tolentino, Carlos Henrique Corrêa |
title |
Modelagem e análise de restrições de tempo real no escalonamento em síntese de alto nível |
title_short |
Modelagem e análise de restrições de tempo real no escalonamento em síntese de alto nível |
title_full |
Modelagem e análise de restrições de tempo real no escalonamento em síntese de alto nível |
title_fullStr |
Modelagem e análise de restrições de tempo real no escalonamento em síntese de alto nível |
title_full_unstemmed |
Modelagem e análise de restrições de tempo real no escalonamento em síntese de alto nível |
title_sort |
modelagem e análise de restrições de tempo real no escalonamento em síntese de alto nível |
publisher |
Florianópolis, SC |
publishDate |
2012 |
url |
http://repositorio.ufsc.br/xmlui/handle/123456789/86612 |
work_keys_str_mv |
AT tolentinocarloshenriquecorrea modelagemeanalisederestricoesdetemporealnoescalonamentoemsintesedealtonivel |
_version_ |
1718818732242894848 |