Made available in DSpace on 2015-04-14T14:49:27Z (GMT). No. of bitstreams: 1
426166.pdf: 1112842 bytes, checksum: 272980ccb156c75a298ac99c2e9c1b46 (MD5)
Previous issue date: 2010-03-25 / A resolu??o de Sistemas de Equa??es Lineares ? um problema de grande import?ncia em Ci?ncia da Computa??o. Entretanto, os m?todos tradicionais n?o oferecem garantia de solu??es corretas e nem mesmo da exist?ncia de uma solu??o. Por isso, cada vez mais tem-se aplicado a Computa??o Verificada em tais algoritmos. Por outro lado, a Computa??o Verificada aumenta o custo computacional e, em alguns casos, impossibilita a resolu??o dos sistemas em um tempo aceit?vel. Uma alternativa encontrada para minimizar o custo ? a utiliza??o de Computa??o Paralela. Diversos trabalhos t?m focado em otimizar a Computa??o Verificada para execu??o em agregados de computadores. Entretanto, dado o grande avan?o dos processadores com m?ltiplos n?cleos de processamento (cores), ? uma necessidade premente que sejam tamb?m propostas solu??es baseadas em modelos de paralelismo para mem?ria compartilhada buscando, assim, explorar eficientemente as novas arquiteturas. Nesse contexto, o presente trabalho apresenta uma ferramenta para resolu??o verificada de Sistemas Lineares Densos Intervalares de Grande Porte. Al?m de prover verifica??o autom?tica dos resultados, a ferramenta ? otimizada para execu??o em arquiteturas multicore. As estrat?gias adotadas permitiram desenvolver uma solu??o escal?vel que, ao resolver Sistemas Intervalares de ordem 15.000x15.000 em um computador com 8 cores, obteve redu??o de 85% no tempo de execu??o e speedup de 6,70 em compara??o com a solu??o inicial.
| Identifer | oai:union.ndltd.org:IBICT/oai:tede2.pucrs.br:tede/5110 |
| Date | 25 March 2010 |
| Creators | Milani, Cleber Roberto |
| Contributors | Fernandes, Luiz Gustavo Le?o |
| Publisher | Pontif?cia Universidade Cat?lica do Rio Grande do Sul, Programa de P?s-Gradua??o em Ci?ncia da Computa??o, PUCRS, BR, Faculdade de Inform?ca |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações da PUC_RS, instname:Pontifícia Universidade Católica do Rio Grande do Sul, instacron:PUC_RS |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | 1974996533081274470, 500, 600, 1946639708616176246 |
Page generated in 0.0063 seconds