Contratos formais para derivaÃÃo e verificaÃÃo de componentes paralelos.
Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico === A aplicaÃÃo de nuvens computacionais para oferecer serviÃos de ComputaÃÃo de Alto Desempenho (CAD) à um assunto bastante discutido no meio acadÃmico e industrial. Esta dissertaÃÃo està inserida no contexto do projeto de uma nuvem comp...
Main Author: | Thiago Braga Marcilon |
---|---|
Other Authors: | Francisco Heron de Carvalho Junior |
Format: | Others |
Language: | Portuguese |
Published: |
Universidade Federal do CearÃ
2012
|
Subjects: | |
Online Access: | http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=8691 |
Similar Items
-
Contratos formais para derivação e verificação de componentes paralelos
by: Marcilon, Thiago Braga
Published: (2016) -
AvaliaÃÃo de Desempenho de uma Plataforma de Componentes Paralelos
by: Cenez AraÃjo de Rezende
Published: (2011) -
AnÃlise e otimizaÃÃo de estruturas laminadas utilizando a formulaÃÃo isogeomÃtrica
by: Elias Saraiva Barroso
Published: (2015) -
Coordenação e reconfiguração dinâmica de componentes em uma plataforma de computação paralela
by: Sales, Juliano Efson Norberto
Published: (2016) -
Certificação de componentes em uma plataforma de nuvens computacionais para serviços de computação de alto desempenho.
by: Dantas, Allberson Bruno de Oliveira
Published: (2017)