2009
|
Kolberg, Mariana Parallel Self-Verified Solver for Dense Linear Systems PhD Thesis PUCRS, 2009. Links | BibTeX @phdthesis{KOLBERG:TD:09,
title = {Parallel Self-Verified Solver for Dense Linear Systems},
author = {Mariana Kolberg},
url = {https://gmap.pucrs.br/gmap/files/publications/articles/000259a328a840b445d92337ab6707ce.pdf},
year = {2009},
date = {2009-01-01},
address = {Porto Alegre, Brazil},
school = {PUCRS},
keywords = {},
pubstate = {published},
tppubtype = {phdthesis}
}
|
2008
|
Kolberg, Mariana; Fernandes, Luiz Gustavo; Claudio, Dalcidio Moraes Dense Linear System: a Parallel Self-verified Solver Journal Article doi International Journal of Parallel Programming, 36 (4), pp. 412-425, 2008. Links | BibTeX @article{KOL08IJPP,
title = {Dense Linear System: a Parallel Self-verified Solver},
author = {Mariana Kolberg and Luiz Gustavo Fernandes and Dalcidio Moraes Claudio},
doi = {10.1007/s10766-007-0058-x},
year = {2008},
date = {2008-01-01},
journal = {International Journal of Parallel Programming},
volume = {36},
number = {4},
pages = {412-425},
publisher = {Kluwer Academic Publishers},
address = {Norwell, MA, USA},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Kolberg, Mariana; Cordeiro, Daniel; Bohlender, Gerd; Goldman, Alfredo; others, A Multithreaded Verified Method for Solving Linear Systems in Dual-Core Processors Journal Article International Workshop on Applied Parallel Computing. State of the Art in Scientific Computing, 1 (1), pp. 1-4, 2008. Links | BibTeX @article{KOL08PARA,
title = {A Multithreaded Verified Method for Solving Linear Systems in Dual-Core Processors},
author = {Mariana Kolberg and Daniel Cordeiro and Gerd Bohlender and Alfredo Goldman and others},
url = {https://gmap.pucrs.br/gmap/files/publications/articles/3c641839cfd3ab1f5fc8554b6c4d093b.pdf},
year = {2008},
date = {2008-01-01},
journal = {International Workshop on Applied Parallel Computing. State of the Art in Scientific Computing},
volume = {1},
number = {1},
pages = {1-4},
publisher = {Springer Verlag},
address = {Trondheim, Noruega},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Rose, César Augusto De; Ferreto, Tiago Coelho; Fernandes, Luiz Gustavo; Cirne, Walfredo; Micheli, Milena Pessoa; Dias, Vladimir Gonçalves; de Farias, Marcelo Bukowski; de Azevedo, Felipe Afonso GerpavGrid - Utilizando Grades Computacionais no Aprimoramento de uma Ferramenta de Gestão Pública para a Gestão de Pavimentos Journal Article IP-Informática Pública, 2 (2), pp. 17-36, 2008. Links | BibTeX @article{DER08IP,
title = {GerpavGrid - Utilizando Grades Computacionais no Aprimoramento de uma Ferramenta de Gestão Pública para a Gestão de Pavimentos},
author = {César Augusto De Rose and Tiago Coelho Ferreto and Luiz Gustavo Fernandes and Walfredo Cirne and Milena Pessoa Micheli and Vladimir Gonçalves Dias and Marcelo Bukowski de Farias and Felipe Afonso de Azevedo},
url = {https://gmap.pucrs.br/gmap/files/publications/articles/ee013e3ed7bd1c26cea9333ee704a9bf.pdf},
year = {2008},
date = {2008-01-01},
journal = {IP-Informática Pública},
volume = {2},
number = {2},
pages = {17-36},
address = {Belo Horizonte, Brasil},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Kolberg, Mariana; Dorn, Márcio; Fernandes, Luiz Gustavo; Bohlender, Gerd Parallel Verified Linear System Solver for Uncertain Input Data Inproceedings doi 20th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), pp. 89-96, IEEE, Campo Grande, Brazil, 2008. Links | BibTeX @inproceedings{KOL08SBACPAD,
title = {Parallel Verified Linear System Solver for Uncertain Input Data},
author = {Mariana Kolberg and Márcio Dorn and Luiz Gustavo Fernandes and Gerd Bohlender},
doi = {10.1109/SBAC-PAD.2008.10},
year = {2008},
date = {2008-10-01},
booktitle = {20th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)},
pages = {89-96},
publisher = {IEEE},
address = {Campo Grande, Brazil},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Antonioli, Rafael Detecção e Tratamento de Intrusões em Plataformas Baseadas no XEN Masters Thesis PUCRS, 2008. Links | BibTeX @mastersthesis{ANTONIOLI:DM:08,
title = {Detecção e Tratamento de Intrusões em Plataformas Baseadas no XEN},
author = {Rafael Antonioli},
url = {https://gmap.pucrs.br/gmap/files/publications/articles/b1927b9057dda61a48f23f2861185fd5.pdf},
year = {2008},
date = {2008-01-01},
address = {Porto Alegre, Brasil},
school = {PUCRS},
keywords = {},
pubstate = {published},
tppubtype = {mastersthesis}
}
|
Baldo, Lucas Janssen Predição de Desempenho de Aplicações Paralelas para Máquinas Agregadas Usando Modelos Estocásticos Masters Thesis PUCRS, 2008. Links | BibTeX @mastersthesis{BALDO:DM:08,
title = {Predição de Desempenho de Aplicações Paralelas para Máquinas Agregadas Usando Modelos Estocásticos},
author = {Lucas Janssen Baldo},
url = {https://gmap.pucrs.br/gmap/files/publications/articles/30db027cb6bbef2de3ec8544333c6dde.pdf},
year = {2008},
date = {2008-01-01},
address = {Porto Alegre, Brasil},
school = {PUCRS},
keywords = {},
pubstate = {published},
tppubtype = {mastersthesis}
}
|
2007
|
Fernandes, Luiz Gustavo; Nunes, Thiago; Raeder, Mateus; Giannetti, Fabio; Cabeda, Alexis; Bedin, Guilherme An Improved Parallel XSL-FO Rendering for Personalized Documents Inproceedings doi Recent Advances in Parallel Virtual Machine and Message Passing Interface (14th PVM/MPI'07), pp. 56-63, Springer-Verlag, Paris, France, 2007. Links | BibTeX @inproceedings{FER07PVMMPI,
title = {An Improved Parallel XSL-FO Rendering for Personalized Documents},
author = {Luiz Gustavo Fernandes and Thiago Nunes and Mateus Raeder and Fabio Giannetti and Alexis Cabeda and Guilherme Bedin},
doi = {10.1007/978-3-540-75416-9},
year = {2007},
date = {2007-06-01},
booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface (14th PVM/MPI'07)},
pages = {56-63},
publisher = {Springer-Verlag},
address = {Paris, France},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Baldo, Lucas Janssen; others, Predição de Desempenho de Aplicações Paralelas para Máquinas Agregadas Utilizando Modelos Estocásticos Inproceedings 7a Escola Regional de Alto Desempenho (ERAD), pp. 73-74, Sociedade Brasileira de Computação, Porto Alegre, Brazil, 2007. Links | BibTeX @inproceedings{ANT07ERAD,
title = {Predição de Desempenho de Aplicações Paralelas para Máquinas Agregadas Utilizando Modelos Estocásticos},
author = {Lucas Janssen Baldo and others},
url = {https://gmap.pucrs.br/gmap/files/publications/articles/f8b17b99770fac29e3ffcd7f34fdcfdf.pdf},
year = {2007},
date = {2007-01-01},
booktitle = {7a Escola Regional de Alto Desempenho (ERAD)},
pages = {73-74},
publisher = {Sociedade Brasileira de Computação},
address = {Porto Alegre, Brazil},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Kolberg, Mariana; Baldo, Lucas; Velho, Pedro; Fernandes, Luiz Gustavo; Claudio, Dalcidio Optimizing a Parallel Self-verified Method for Solving Linear Systems Inproceedings doi 8th International Workshop on Applied Parallel Computing (PARA). State of the Art in Scientific Computing, pp. 949-955, Springer-Verlag, Umea, Sweden, 2007. Links | BibTeX @inproceedings{KOL06PARA,
title = {Optimizing a Parallel Self-verified Method for Solving Linear Systems},
author = {Mariana Kolberg and Lucas Baldo and Pedro Velho and Luiz Gustavo Fernandes and Dalcidio Claudio},
doi = {10.1007/978-3-540-75755-9_112},
year = {2007},
date = {2007-06-01},
booktitle = {8th International Workshop on Applied Parallel Computing (PARA). State of the Art in Scientific Computing},
pages = {949-955},
publisher = {Springer-Verlag},
address = {Umea, Sweden},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Fernandes, Luiz Gustavo; Antonioli, Rafael Avaliando o Desempenho de Rede em Máquinas Virtuais XEN com Arquitetura IA-64 Inproceedings 7a Escola Regional de Alto Desempenho (ERAD), pp. 49-50, Sociedade Brasileira de Computação, Porto Alegre, Brazil, 2007. Links | BibTeX @inproceedings{ANT07ERADb,
title = {Avaliando o Desempenho de Rede em Máquinas Virtuais XEN com Arquitetura IA-64},
author = {Luiz Gustavo Fernandes and Rafael Antonioli},
url = {https://gmap.pucrs.br/gmap/files/publications/articles/424df8b2301461badf1f8b8e28efffb9.pdf},
year = {2007},
date = {2007-01-01},
booktitle = {7a Escola Regional de Alto Desempenho (ERAD)},
pages = {49-50},
publisher = {Sociedade Brasileira de Computação},
address = {Porto Alegre, Brazil},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Zambon, Rogerio Timmers Estratégias de Paralelização para Renderização de Documentos XSL-FO com Uso da Ferramenta FOP Masters Thesis PUCRS, 2007. Links | BibTeX @mastersthesis{ZAMBON:DM:07,
title = {Estratégias de Paralelização para Renderização de Documentos XSL-FO com Uso da Ferramenta FOP},
author = {Rogerio Timmers Zambon},
url = {https://gmap.pucrs.br/gmap/files/publications/articles/801b7923a4a58c8368c1c2595915b829.pdf},
year = {2007},
date = {2007-01-01},
address = {Porto Alegre, Brasil},
school = {PUCRS},
keywords = {},
pubstate = {published},
tppubtype = {mastersthesis}
}
|
2006
|
Soares, M; Serra, G; Castro, M; Fernandes, Luiz Gustavo; Thielo, M R; Sá, P; Santos, T E A; Rocha, Da M S F; Hering, V R; Paulo, A C; Mammana, V P Simulation of Electron Beam inside Electrostatic Field Using Legendre Polynomials Journal Article 26th Information Display Research Conference (IDRC), pp. 398-401, 2006. BibTeX @article{SOA06IDRC,
title = {Simulation of Electron Beam inside Electrostatic Field Using Legendre Polynomials},
author = {M. Soares and G. Serra and M. Castro and Luiz Gustavo Fernandes and M.R. Thielo and P. Sá and T.E.A. Santos and M.S.F. Da Rocha and V.R. Hering and A.C. Paulo and V.P. Mammana},
year = {2006},
date = {2006-01-01},
journal = {26th Information Display Research Conference (IDRC)},
pages = {398-401},
address = {Ohio, USA},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Kolberg, Mariana; Baldo, Lucas; Velho, Pedro; Webber, Thais; Fernandes, Luiz Gustavo; Fernandes, Paulo; Claudio, Dalcidio Parallel Self-verified Method for Solving Linear Systems Inproceedings 7th International Meeting on High Performance Computing for Computational Science (VECPAR), pp. 179-190, Springer Berlin, Rio de Janeiro, Brazil, 2006. Links | BibTeX @inproceedings{KOL06VECPAR,
title = {Parallel Self-verified Method for Solving Linear Systems},
author = {Mariana Kolberg and Lucas Baldo and Pedro Velho and Thais Webber and Luiz Gustavo Fernandes and Paulo Fernandes and Dalcidio Claudio},
url = {https://gmap.pucrs.br/gmap/files/publications/articles/c354e59779c5a1d5b04084ab3a0aa93b.pdf},
year = {2006},
date = {2006-07-01},
booktitle = {7th International Meeting on High Performance Computing for Computational Science (VECPAR)},
pages = {179-190},
publisher = {Springer Berlin},
address = {Rio de Janeiro, Brazil},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Giannetti, Fabio ; Fernandes, Luiz Gustavo ; Timmers, Rogerio ; Nunes, Thiago ; Raeder, Mateus ; Castro, Márcio High Performance XSL-FO Rendering for Variable Data Printing Inproceedings doi Proceedings of the 21st ACM Symposium on Applied Computing (ACM SAC), pp. 811-817, ACM, Dijon, France, 2006. Links | BibTeX @inproceedings{GIA06SAC,
title = {High Performance XSL-FO Rendering for Variable Data Printing},
author = {Giannetti, Fabio and Fernandes, Luiz Gustavo and Timmers, Rogerio and Nunes, Thiago and Raeder, Mateus and Castro, Márcio},
doi = {10.1145/1141277.1141464},
year = {2006},
date = {2006-04-01},
booktitle = {Proceedings of the 21st ACM Symposium on Applied Computing (ACM SAC)},
pages = {811-817},
publisher = {ACM},
address = {Dijon, France},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Fernandes, Luiz Gustavo; Bezerra, E; Oliveira, F; Raeder, Mateus; Velho, Pedro; Amaral, L Probe Effect Mitigation in the Software Testing of Parallel Systems Inproceedings Digest of Papers of the 7th Latin-American Test Workshop (LATW'06), pp. 153-158, IEEE, Buenos Aires, Argentina, 2006. BibTeX @inproceedings{AMA06LATW,
title = {Probe Effect Mitigation in the Software Testing of Parallel Systems},
author = {Luiz Gustavo Fernandes and E Bezerra and F Oliveira and Mateus Raeder and Pedro Velho and L Amaral},
year = {2006},
date = {2006-03-01},
booktitle = {Digest of Papers of the 7th Latin-American Test Workshop (LATW'06)},
pages = {153-158},
publisher = {IEEE},
address = {Buenos Aires, Argentina},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
de Velho, Pedro Antônio Madeira Campos Alternativas de Alto Desempenho para a Multiplicação Vetor-descritor Masters Thesis PUCRS, 2006. Links | BibTeX @mastersthesis{VELHO:DM:06,
title = {Alternativas de Alto Desempenho para a Multiplicação Vetor-descritor},
author = {Pedro Antônio Madeira Campos de Velho},
url = {https://gmap.pucrs.br/gmap/files/publications/articles/5d80004bb1d1ce5e662e69f7194febd2.pdf},
year = {2006},
date = {2006-01-01},
address = {Porto Alegre, Brasil},
school = {PUCRS},
keywords = {},
pubstate = {published},
tppubtype = {mastersthesis}
}
|
2005
|
Baldo, Lucas Janssen; Brenner, Leonardo; Fernandes, Luiz Gustavo; Fernandes, Paulo; Sales, Afonso Performance Models For Master/Slave Parallel Programs Journal Article doi Electronic Notes in Theoretical Computer Science (ENTCS), 128 (4), pp. 101–121, 2005. Links | BibTeX @article{BAL05ENTCS,
title = {Performance Models For Master/Slave Parallel Programs},
author = {Lucas Janssen Baldo and Leonardo Brenner and Luiz Gustavo Fernandes and Paulo Fernandes and Afonso Sales},
doi = {10.1016/j.entcs.2005.01.015},
year = {2005},
date = {2005-01-01},
journal = {Electronic Notes in Theoretical Computer Science (ENTCS)},
volume = {128},
number = {4},
pages = {101--121},
publisher = {Elsevier Science Publishers B. V.},
address = {Amsterdam, The Netherlands, The Netherlands},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Manssour, Isabel H; Fernandes, Luiz Gustavo ; Freitas, Carla Maria ; Serra, Gustavo ; Nunes, Thiago High performance approach for inner structures visualisation in medical data Journal Article doi International Journal of Computer Applications in Technology (IJCAT), 22 (1), pp. 23-33, 2005. Links | BibTeX @article{MAN05IJCATb,
title = {High performance approach for inner structures visualisation in medical data},
author = {Manssour, Isabel H and Fernandes, Luiz Gustavo and Freitas, Carla Maria and Serra, Gustavo and Nunes, Thiago},
doi = {10.1504/ijcat.2005.006800},
year = {2005},
date = {2005-01-01},
journal = {International Journal of Computer Applications in Technology (IJCAT)},
volume = {22},
number = {1},
pages = {23-33},
publisher = {Inderscience Publishers},
address = {Geneva, Switzerland},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Castro, Márcio Bastos; Baldo, Lucas Janssen; Fernandes, Luiz Gustavo; Raeder, Mateus; Velho, Pedro A Parallel Version for the Propagation Algorithm Proceeding doi Springer, Krasnoyarsk, Russia, 2005. Links | BibTeX @proceedings{CAS05PaCT,
title = {A Parallel Version for the Propagation Algorithm},
author = {Márcio Bastos Castro and Lucas Janssen Baldo and Luiz Gustavo Fernandes and Mateus Raeder and Pedro Velho},
doi = {10.1007/11535294_35},
year = {2005},
date = {2005-09-01},
booktitle = {Parallel Computing Technologies, 8th International Conference(PaCT)},
pages = {403-412},
publisher = {Springer},
address = {Krasnoyarsk, Russia},
keywords = {},
pubstate = {published},
tppubtype = {proceedings}
}
|
2004
|
Baldo, Lucas; Fernandes, Luiz Gustavo; Roisenberg, Paulo; Velho, Pedro; Webber, Thais Parallel PEPS Tool Performance Analysis Using Stochastic Automata Networks Inproceedings Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference (10th Euro-Par'04), pp. 214–219, Springer-Verlag, Pisa, Italy, 2004. Links | BibTeX @inproceedings{BAL04EUROPAR,
title = {Parallel PEPS Tool Performance Analysis Using Stochastic Automata Networks},
author = {Lucas Baldo and Luiz Gustavo Fernandes and Paulo Roisenberg and Pedro Velho and Thais Webber},
url = {https://gmap.pucrs.br/gmap/files/publications/articles/8aba43cd57e9c9da1387f812c451199a.pdf},
year = {2004},
date = {2004-05-01},
booktitle = {Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference (10th Euro-Par'04)},
pages = {214--219},
publisher = {Springer-Verlag},
address = {Pisa, Italy},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
2003
|
Brenner, Leonardo; Fernandes, Luiz Gustavo; Fernandes, Paulo; Sales, Afonso Performance Analysis Issues for Parallel Implementations of Propagation Algorithm Inproceedings doi 15th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), pp. 183-191, IEEE Computer Society, Sao Paulo, Brazil, 2003. Links | BibTeX @inproceedings{BRE03SBACPAD,
title = {Performance Analysis Issues for Parallel Implementations of Propagation Algorithm},
author = {Leonardo Brenner and Luiz Gustavo Fernandes and Paulo Fernandes and Afonso Sales},
doi = {10.1109/CAHPC.2003.1250337},
year = {2003},
date = {2003-11-01},
booktitle = {15th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)},
pages = {183-191},
publisher = {IEEE Computer Society},
address = {Sao Paulo, Brazil},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
2001
|
Denneulin, Y; Fernandes, Luiz Gustavo; Maillard, Nicolas Parallelizing a Dense Matching Region Growing Algorithm for an Image Interpolation Application. Journal Article Proceedings of the 5th International Conference on Parallel and Distributed Techniques (PDPTA), 2001. BibTeX @article{PADMRGAFAIIA,
title = {Parallelizing a Dense Matching Region Growing Algorithm for an Image Interpolation Application.},
author = {Y. Denneulin and Luiz Gustavo Fernandes and Nicolas Maillard},
year = {2001},
date = {2001-01-01},
journal = {Proceedings of the 5th International Conference on Parallel and Distributed Techniques (PDPTA)},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
0000
|
Kolberg, Mariana; Bohlender, Gerd; Fernandes, Luiz Gustavo An efficient approach to solve very large dense linear systems with verified computing on clusters Journal Article doi Numerical Linear Algebra with Applications, 22 (2), pp. 299-316, 0000. Abstract | Links | BibTeX @article{gmap:KOLBERG:NLAA:14,
title = {An efficient approach to solve very large dense linear systems with verified computing on clusters},
author = {Mariana Kolberg and Gerd Bohlender and Luiz Gustavo Fernandes},
url = {https://doi.org/10.1002/nla.1950},
doi = {10.1002/nla.1950},
journal = {Numerical Linear Algebra with Applications},
volume = {22},
number = {2},
pages = {299-316},
publisher = {John Wiley & Sons},
abstract = {Automatic result verification is an important tool to guarantee that completely inaccurate results cannot be used for decisions without getting remarked during a numerical computation. Mathematical rigor provided by verified computing allows the computation of an enclosure containing the exact solution of a given problem. Particularly, the computation of linear systems can strongly benefit from this technique in terms of reliability of results. However, in order to compute an enclosure of the exact result of a linear system, more floating‐point operations are necessary, consequently increasing the execution time. In this context, parallelism appears as a good alternative to improve the solver performance. In this paper, we present an approach to solve very large dense linear systems with verified computing on clusters. This approach enabled our parallel solver to compute huge linear systems with point or interval input matrices with dimensions up to 100,000. Numerical experiments show that the new version of our parallel solver introduced in this paper provides good relative speedups and delivers a reliable enclosure of the exact results.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Automatic result verification is an important tool to guarantee that completely inaccurate results cannot be used for decisions without getting remarked during a numerical computation. Mathematical rigor provided by verified computing allows the computation of an enclosure containing the exact solution of a given problem. Particularly, the computation of linear systems can strongly benefit from this technique in terms of reliability of results. However, in order to compute an enclosure of the exact result of a linear system, more floating‐point operations are necessary, consequently increasing the execution time. In this context, parallelism appears as a good alternative to improve the solver performance. In this paper, we present an approach to solve very large dense linear systems with verified computing on clusters. This approach enabled our parallel solver to compute huge linear systems with point or interval input matrices with dimensions up to 100,000. Numerical experiments show that the new version of our parallel solver introduced in this paper provides good relative speedups and delivers a reliable enclosure of the exact results. |
