Alba Cristina Magalhães de Melo

Research Interests [top]

Distributed Shared Memory: Memory Consistency Models, Memory Coherence Protocols, Visualization of Distributed Shared Memory, Parallel Genetic Algorithms for Page Mapping, Computer Graphics and Genome Applications.

Hybrid Parallel Programming Environments: Unified Programming Environment with DSM and Message Passing, Dynamic Load Balancing.

Grid Computing: Grids for biology: resource management, programming tools.

Distributed Objects: Optimistic Virtual Synchrony for Object Groups.

Computational Biology: Parallel Algorithms for sequence comparison, load balancing strategies, reconfigurable architectures.

Academic Background [top]

PhD - Computer Science: Laboratoire Logiciels, Systèmes et Reseaux (LSR), Institut de Mathématiques Appliqués (IMAG), Institut National Polytechnique de Grenoble (INPG) Grenoble - France, 1996.

MsC - Computer Science: Department of Computer Science, Universidade Federal do Rio Grande do Sul - UFRGS Porto Alegre - Brazil, 1991.

MsC Students [top]

Simone Cintra Chagas: Visualizing Memory Consistency Models. MsC dissertaion concluded. June 1999.
Cícero Roberto de O. Galdino: Memory Coherence Protocols for Eficient DSM Systems. MsC dissertation concluded. December 2000.
Nilo Sérgio de Lima Barros. Visualizing Hybrid Memory Consistency Models. MsC dissertation concluded. May 2000.
Jan Mendonça Corrêa. Using a Classifier System for Dynamic Load Balancing. MsC dissertation concluded. November 2001.
Gláucia Dias, Integrating Optimistic Virtual Synchrony to a CORBA Object Group Service, MsC dissertation concluded, October 2002.
Gustavo J. Portela, Load Balancing Task Scheduling for Grid Computing Environments, MsC dissertation concluded, June 2004.
Jeferson G. Koch, Coordinated Checkpointing Mechanism for DSM Systems, MsC dissertation concluded, July 2004.
Marcelo S. Sousa, PackageBLAST: An Adaptive Grid Service with Multiple Task Allocation Policies for Biological Sequence Comparison, MsC dissertation concluded, September, 2005.
Tania G. ramos, An Extensible Resource Discovery Mechanism for Grid Computing Environments, MsC dissertation concluded, November, 2005.
Rodolfo B. Batista, Parallel Exact Biological Sequence Comparison with User-Restricted memory Usage, MsC dissertation concluded, April, 2006.

Selected Publications (2003-2006) - book chapters and full papers [top]

BOUKERCHE, Azzedine, MELO, Alba C. M. A. "Computational Molecular Biology". Chapter 6 In: Parallel Computing for Bioinformatics and Computational Biology", Edited by Albert Y. Zomaya, Wiley Interscience - John Wiley and Sons, 2006, p.149-166.
RAMOS, Tania G. R. , MELO, Alba C. M. A. "An Extensible Resource Discovery Mechanism for Grid Computing Environments". In: 6th IEEE International Symposium on Cluster Computing and the Grid (CCGrid), Singapore, Singapore, Mai, 2006, p.115-122.
SOUSA, Marcelo S., MELO, Alba C. M. A. "PackageBlast: An Adaptive Multi-Policy Grid Service for Biological Sequence Comparison". In: 21st ACM International Symposium on Applied Computing, Dijon, France, April, 2006, p.156-160.
BOUKERCHE, Azzedine, Koch Jeferson, MELO, Alba C. M. A. "Integrating Coordinated Checkpointing and Recovery Mechanism into DSM Synchronization Barriers". In: 4th International Workshop on Experimental and Efficient Algorithms, Lecture Notes in Computer Science 3503, Santorini, Greece, May, 2005, p.403-114.
BOUKERCHE, Azzedine, MELO, Alba C. M. A. , AYALA-RINCON, Mauricio, SANTANA Thomas M., "Parallel Smith_Waterman Algorithm for Local DNA Comparison in a Cluster of Workstations". In: 4th International Workshop on Experimental and Efficient Algorithms, Lecture Notes in Computer Science 3503, Santorini, Greece, May, 2005, p.464-175.
MELO, Alba C. M. A., WALTER, Maria Emilia M. T., MELO, Renata C. F., SANTANA, Marcelo N. P., BATISTA, Rodolfo B., "Local DNA Sequence Alignment in a Cluster of Workstations: Algorithms and Tools". Jornal of The Brazilian Computer Society, Number 2, Volume 10, November, 2004, p.69-76.

Other Publications (1999-2003) - full papers

MELO, Renata C. F. , WALTER, Maria Emilia T, MELO, Alba C. M. A., BATISTA, Rodolfo., NARDELLI, Marcelo, MARTINS, Thelmo, FONSECA, Tiago. "Comparing Two Long Biological Sequences Using a DSM System". In: Euro-Par 2003 - Parallel Processing, Lecture Notes in Computer Science 2790, Klagenfurt, Austria, August, 2003, p.517-524.
BATISTA, Rodolfo B., CORREA, Alerrandro L. A. C., MELO, Alba C. M. A., "Computing Binary Space Partition Trees using a Scope Consistent DSM System in a Cluster of Workstations", In: 11th Euromicro Conference on Parallel, Distributed and Network-Based Processing, IEEE Computer Society, Genova, Italy, February, 2003, p.93-100.
DIAS, Glaucia O., MELO, Alba C. M. A., "Integrating Optimistic Virtual Synchrony to a CORBA Object Group Service", In: 4th Internation Symposium on Distributed Objects and Applications (DOA), Lecture Notes in Computer Science 2519, October, 2002, Irvine, USA, p. 711-722.
DANTAS, M. A. R., MELO, Alba C. M. A., ALVIM, R. M., GROSSMANN, F.L. L., "Integração de Alta Disponibilidade e Balanceamento de Carga em um Ambiente de Cluster", In: III Workshop em Sistemas Computacionais de Alto Desempenho, Outubro, 2002, Vitória-ES, Brasil, p. 1-8.
MENDES, H. C., ARANHA, D. F., MELO, Alba C. M. A., DANTAS, M. A. R, "Um Framework para Definição e Análise de Modelos de Consistência de Memória", In: III Workshop em Sistemas Computacionais de Alto Desempenho, Outubro, 2002, Vitória-ES, Brasil, p. 45-52.
CORREA, Jan M., MELO, Alba C. M. A.. "Using a Classifier System to Improve Dynamic Load Balancing". In: Int. Workshop on Scheduling and Resource Management for Cluster Computing (WSRCC), held in conjunction with 30th Int. Conf. on Parallel Processing (ICPP), 2001, Valencia. Spain, Proceedings of the ICPP2001 - WSRMCC. IEEE Computer Society, 2001.
GALDINO, Cicero R. O, MELO, Alba C. M. A.. "Application-Controlled Coherence Protocols for Scope Consistent Software DSMs".High Performance Computing and Networking Europe (HPCN)- Lecture Notes in Computer Science 2110,. Amsterdam, Netherlands, 2001, v.2110, p.263-272.
CORREA, Jan M. , MELO, Alba C. M. A.. Improving the Performance of a Dynamic Load Balancer Using a Classifier System. In: 13th Symp. on Computer Architecture and High Performance Computing (SBAC-PAD), 2001, Pirenopolis, Brazil. Proceedings of the 2001 SBAC-PAD. SBC, 2001. p.126-133.
CORREA, Jan M., MELO, Alba C. M. A.. Using a Classifier System in a Dynamic Changing Environment: An Application to Dynamic Load Balancing. In: Encontro Nacional de Inteligência Artificial, 2001, Fortaleza, Brazil. Anais do ENIA 2001.SBC, 2001.
MELO, Alba C. M. A., SILVA, Nilo S. B.. "Visualizing Execution Orderings on Release Consistency and Scope Consistency Memory Models". In: 2nd Int. Workshop on Software Distributed Shared Memory (WSDSM), held in conjunction with ACM Int. Conf. on Supercomputing (ICS), 2000, Santa Fe, USA. 2000.
NICOLA, Joao R. M. , ALEXANDRE, Antonio M. A, MELO, Alba C. M. A. A framework for Building Simulators of Clock Synchronization Algorithms. In: 12th Symp. on Computer Architecture and High Performance Computing (SBAC-PAD), 2000, Sao Pedro, Brazil. Proceedings of the SBAC-PAD. p.225-231.
MELO, Alba C. M. A. , SILVA, Nilo S. B. Analyzing Execution Orderings on Hybrid Memory Consistency Models. In: 12th Symp. on Computer Architecture and High Performance Computing (SBAC-PAD), 2000, Sao Pedro, Brazil. Proceedings of the SBAC-PAD 2000. 2000.p.201-208.
CORREA, Jan M., MELO, Alba C. M. A.. Algoritmos Geneticos para Escalonamento de Processadores. In: I Workshop em Sistemas Computacionais de Alto Desempenho (WSCAD), 2000, Sao Pedro, Brazil. Anais WSCAD'00. 2000. p.21-26.
DANTAS, Mario A. R. , MELO, Alba C. M. A.. Easy-Par: A Hybrid Environment Based on Message Passing and Distributed Shared Memory. Organizado por POLLARD, Andrew, MEWHORT, Douglas J. K., WEAVER, Donald F.High Performance Computing Systems and Applications. Kluwer Academic Publisher, 2000, v.I, p.403-411.
M. A. R. Datas and A. C. M. Melo, "Easy-Par: A Hybrid Environment for Message Passing and DSM", In: Proc. of the HPCS'99, Kingstown, Canada, June, 1999.
A. C. M. Melo and S. Chagas, "Visual-MCM: Visualizing Execution Orderings on Multiple Memory Consistency Models", In: Proc. of the 4th ACPC, Lecture Notes in Computer Science, 1557, p500-509, Salzburg, Austria, February, 1999.
A. C. M. Melo, "Defining Uniform and rid Memory Consistency Models on a Unified Framework"", In: Proc. of the 32th HICSS, Vol VIII-Software Technology, p. 270-279, Maui, Hawaii, January, 1999.
S. Chagas and A. C. M. Melo, "Visualization of Memory Consistency Models", In: Proc. of the 30th ACM SIGCSE Technical Symposium on Computer Science Education, New Orleans, USA, March, 1999, page 378 (ACM poster contest).

Courses [top]

Lectures at the Graduate Program in Informatics (UnB) [top]