Ementas

Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG
DISCIPLINA Sigla-Número Nível Carga Horária Créditos

M D F
Algoritmos Distribuídos DCC-912 Mestrado/Doutorado 60 60 4
Período: 2º Semestre Carga-Horária: 60 Créditos: 4

Sub-Título:
Docentes Categoria Carga Horária %
Antonio Alfredo Ferreira Loureiro Docente Permanente 60 100,00
Nº de Docentes: 1 60 100,00
Ementa:
Modelos computacionais; modelos de falhas; tempo lógico; algoritmos síncronos e assíncronos; propagação de informação;
eleição de líder; problema dos generais bizantinos; auto-estabilização; sincronização; detecção de propriedades estáveis e
instáveis; verificação de algoritmos; algoritmos distribuídos específicos para Internet, mesh, grid, redes móveis ad hoc e
redes de sensores sem fio.
Bibliografia:
* Distributed Algorithms. Nancy Lynch, Morgan Kaufmann, 1996.
* Distributed Computing. Hagit Attiya and Jennifer Welch, McGraw-Hill, 1998.
* Distributed Systems. S. Mullender (Ed.), 2nd ed., Addison-Wesley, 1993.
* Introduction to Distributed Algorithms. Valmir C. Barbosa, MIT Press, 1996.
* Artigos técnicos publicados em periódicos e conferências.

M D F
Análise e Modelagem de Desempenho de Sistemas de DCC-872 Mestrado/Doutorado 60 60 4
Computação
Ementa:
Planejamento de capacidade. Introdução à modelagem de
desempenho. Teoria de probabilidades e transformadas (revisão).
Simulação. Modelos de Markov. Filas únicas. Redes de filas:
algoritmo VMA. Análise operacional. Estudos de casos.
Bibliografia:
Texto: Capacity Planning for Web Services: metrics, models, and methods, Prentice Hall, Daniel Menascé and Virgilio
Almeida, 2001 (this new book will be available in September).
Ou
Capacity Planning for Web Performance: metrics, models, and methods, Prentice Hall, Daniel Menascé and Virgilio
Almeida, 1998
Adicionais:
· Introduction to Computer System Performance Evaluation, K. Kant, McGraw Hill, 1992.

· Probability, Stochastic Processes, and Queuing Theory, Randolph Nelson, Springer Verlag, 1995.
· Quantitative System Performance, E. Lazowska, J. Zahorjan, G. Graham, and K. Sevcik, Prentice Hall, 1984.
· The Benchmark Handbook for Database and Transaction Processing Systems, ed. Jim Gray, Morgan Kauffman, 1991.
· Configuration and Capacity Planning for Solaris Servers, Brian Wong, Prentice Hall, 1997.
· Introduction to Probability Models, Any Edition, Academic Press, Sheldon Ross, 1997.
· Capacity Planning and Performance Modeling, Daniel Menasce, Virgilio Almeida, and Larry Dowdy, Prentice Hall, 1994.
· Raj Jain, The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement,
Simulation, and
· Modeling, Raj Jain, John Wiley and Sons, Inc., 1991.
Chronos 1 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Arquitetura de Computadores DCC-819 Mestrado/Doutorado 60 60 4
Ementa:
Revisão de organização de computadores. Projeto de sistemas de memória.
Técnicas de processamento pipeline. Aritmética de ponto fixo e
ponto flutuante. Redes de interconexão. Processadores vetoriais e
matriciais. Multiprocessadores. Processadores não convencionais
Bibliografia:
Hennessy and Patterson, Computer Architecture: A Quantitative Approach, 2nd Edition, 1995.

M D F
Banco de Dados DCC-842 Mestrado/Doutorado 60 60 4
Ementa:
Conceitos básicos de bancos de dados.
Modelos de dados e linguagens. Projeto de bancos de dados. Aspectos
operacionais em sistemas de banco de dados: processamento de consultas,
recuperação de falhas, segurança e integridade, controle de
concorrência.
Bibliografia:
Elmasri, R. & Navathe, S.B. Fundamentals of Database Systems, 3rd Ed. Addison-Wesley, Reading, Mass., 2000.
Batini, C.; Ceri, S. & Navathe, S. Conceptual Database Design: An Entity-Relationship Approach. Benjamin/Cummings,
Redwood City, Calif., 1992.
Date, C.J. An Introduction to Database Systems, 6th ed. Addison-Wesley, Reading, Mass., 1995.
Ramakrishnan, R. Database Management Systems, WCB/McGraw-Hill, Boston, Mass., 1998.
Silberchatz, A.; Korth, H.F.; Sudarshan, S. Database Systems Concepts, 3rd ed., McGraw-Hill, New York, 1996.
Ullman, J.D.; Widom, J. A First Course in Database Systems, Prentice-Hall, Upper Saddle River, New Jersey. 1997.

M D F
Bibliotecas Digitais DCC-916 Mestrado/Doutorado 60 60 4

Sub-Título:
Marcos André Gonçalves Docente Permanente 60 100,00
Ementa:
Definições de Bibliotecas Digitais; Modelos Teóricos, Componentes Básicos e Complexos (e.g., Coleções, Catálogos,
Serviços), Aspectos Tecnológicos (e.g., Interoperabilidade), Aspecto Sócio-Econômicos (e.g., Preservabilidade,
Sustentabilidade, Leis de Copyright), Sistemas de Bibliotecas Digitais, Estudos de Caso, e Desafios de Pesquisa.
Bibliografia:
FOX, E. A., GONÇALVES, M. A., Foundations of Information Systems: Digital Libraries and the 5S Frameworks, Morgan
Kauffman Publishers Inc., San Francisco, California, 2005.
ARMS, W. Y., Practical Digital Libraries: Books, Bytes and Bucks, Morgan Kauffman Publishers Inc., San Francisco,
California, 1997.
Chronos 2 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Compiladores DCC-886 Mestrado/Doutorado 60 60 4
Ementa:
As fases de compilação. Linguagens
regulares e livres do contexto. Autômatos finitos e de pilha.
Análise sintática ascendente e descendente. Linguagens
intermediárias. Tabelas de símbolos. Tradutores dirigidos por
sintaxe. Gramática de atributos. Análise automática. Tratamento de
erros. Sistemas para implementação de compiladores.
Características de máquinas reais e abstratas. Administração
de memória em tempo de execução. Síntese em
compilação. Geração de código. Alocação de
registradores. Resolução de endereços. Otimização de
código global e local. Geração automática de geradores de
código.
Bibliografia:
Livro texto
Aho, A.V.; Sethi, R.; Ullman, J.D. Compilers Principles, Techniques, and Tools, Addison Wesley, 1986.
Bibliografia Suplementar
Livros e Artigos
Grune, Dick, Bal Henri E, Jacobs Ceriel J, Langendoen Koen G, Projeto Moderno de Compiladores Implementação e
Aplicações, Tradução Vandenberg D. de Souza, Editora Campus, 2001.
Appel, Andrew W., Modern Compiler Implementation in Java, Cambridge University Press, 1998.
Watt, David A., Programming Language Processors, C.A.R. Hoare Series Editor, Prentice Hall International Series in
Computer Science, 1993.
Fischer, C.N.; LeBlanc Jr., R.J. Crafting a Compiler with C, The Benjamin/Cummings Publishing Company, Inc., 1991.
Holub, Allen I., Compiler Design in C, Prentice-Hall International Editions, 1990.
Aho, A.V.; Ullman, J.D. The Theory of Parsing, Translation and Compiling, vol. I: Parsing, Prentice-Hall, 1972.
Gries, D. Compiler Construction for Digital Computers Wiley, 1972.
Bornat, R. Understanding and Writing Compilers, MacMillan Education, 1986.
ATS, HGF, Introduction to Compiler Construction With UNIX, Urbana, Illinois.
Johnson, S. C., YACC - Yet another compiler compiler, Computing Science Technical Report 32, AT & T, Bell Laboratories
Murray Hill,N J , 1975.
Kristensen, B.B. and Madsen, O.L, Methods for Computing LALR(k) Lookahead, ACM Transaction on Programming
Languages and Systems, Vol.3, No. 1, January 1981, pages:60-82.
Bigonha, Mariza A. S. e Bigonha, Roberto S., SIC: Uma Ferramenta para Implementação de Linguagens, Anais do XXI
Congresso Nacional de Informática, SUCESU, 1988 - 426-431.
Bigonha, Mariza A.S. & Bigonha, Roberto S., Uma Experiência na Implementação de um Recuperador de Erro LR(1), Anais
do V Simpósio sobre Desenvolvimento de Software Básico, Sociedade Brasileira de Computação, Belo Horizonte, Minas
Gerais, 158-171, 1985.
Chronos 3 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Computação Ubíqua DCC-913 Mestrado/Doutorado 60 60 4

Sub-Título:
Antonio Alfredo Ferreira Loureiro Docente Permanente 60 100,00
Ementa:
Paradigmas computacionais; tecnologias associadas; conceitos de computação móvel, ubíqua e autonômica; problemas de
localizção de estações rádio, alocação de canais; protocolos MAC; IP móvel; propostas de protocolos de transporte;
aplicações cientes de contexto físico e lógico; segurança; sistemas embutidos; projeto de sistemas considerando adaptação;
redes de suporte à computação ubíqua (redes sem fio, redes mesh, redes móveis ad hoc, redes de sensores sem fio).
Bibliografia:
Introdução à Computação Móvel. Geraldo R. Mateus e Antonio A.F. Loureiro, Escola de Computação, SBC, 1998.
Advances in Ubiquitous Computing: Future Paradigms and Directions. Soraya Kouadri Mostefaoui, Zakaria Maamar, and
George M. Giaglis, Igi Publishing, 2008.
Introduction to Awareness. James M. Corrigan, BookSurge, 2006.
Fundamentals of Mobile and Pervasive Computing. Frank Adelstein, Sandeep KS Gupta, Golden Richard III, and Loren
Schwieber, 2004.
Pervasive Computing: The Mobile World. Uwe Hansmann, Lothar Merk, and Martin S. Nicklous, Thomas Stober, Springer
2003.
Artigos técnicos publicados em periódicos e conferências.

M D F
Engenharia de Aplicações em Redes DCC-915 Mestrado/Doutorado 60 60 4
Ementa:
Conceitos básicos de sistemas distribuídos na Internet. Modelos de concorrência e arquiteturas de sistemas distribuídos:
arquitetura cliente-servidor, peer-to-peer, etc. Aspectos de implementação de serviços e servidores. Interação entre os
domínios de aplicações e a arquitetura da rede: redes overlay, distribuição de conteúdo.
Bibliografia:
Artigos básicos
* A Note on Distributed Computing – Waldo, Wyant, Wollrath and Kendall
* Hints for Computer System Design – Lampson
* End-to-End Arguments in System Design – Saltzer, Reed, Clark
* The Design Philosophy of the DARPA Internet Protocols, Clark
* OSI Reference Model – The ISO Model of Architecture for Open Systems Interconnection, Zimmermann
* TCP Performance – Huston (Cisco IP Journal, 3(2), 2000)
* The Future of TCP – Huston (Cisco IP Journal 3(3), 2000)
* End-to-End Routing Behavior in the Internet – Paxson
Conferências
Artigos recentes de interesse na área serão obtidos preferencialmente das prncipais conferências relaciondas, tais como;
Sigcomm, Infocom, Usenix General Conference, USITS, SOSP, OSDI, WWW, HotOS, entre outras.
Chronos 4 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Engenharia de Software DCC-823 Mestrado/Doutorado 60 60 4
Ementa:
- Princípios e técnicas de engenharia de software. Qualidade de software. Especificação e projeto de software. Verificação de
software. Processo de produção de software.
Bibliografia:
Paula F., W. P. Engenharia de Software: Fundamentos, Métodos e Padrões, LTC, 2001
7.2 Referências principais
· Pressman, R.S. Engenharia de Software, Makron, 1995.

· Jacobson I. et al, "The Unified Software Development Process", Addison Wesley, 1999
· Booch G. et al, "The Unified Modeling Language User Guide", Addison Wesley, 1999
· Rumbaugh J. et al, "The Unified Modeling Language Reference Manual", Addison Wesley, 1999
· Royce, W. "Software Project Management A Unified Framework", Addison Wesley, 1998
· Humprey, W. S. "Introduction to the Personal Software Process" Addison Wesley, 1997
· Jones, P. H. "Handbook of Team Design" McGraw Hill, 1997
· Jones, T. C. "Estimating Software Costs", McGraw Hill, 1998
· Robertson, S.; Robertson, J. "Mastering the Requirements Process"Addison Wesley, 1999
· Constantine, L.L.; Lockwood, L.D. "Software for Use", Addison Wesley, 1999
· McConnell, S. "Software Project Survival Guide"Microsoft Press, 1997
· Yourdon, E. "Death March The Complete Software Developer's Guide to Surviving "Mission Impossible" Projects", Prentice
Hall PTR
· DeMarco, Tom, "The Deadline A Novel About Project Management" , Dorset House, 1998
· Rumbaugh J. et al, "Modelagem e Projetos Baseados em Objetos", Editora Campus, 1994
· Ghezzi C. et al, "Fundamentals of Software Engineering", Prentice-Hall International, 1991
· Myers G. J., "The Art of Software Testing", Wiley Interscience, 1979
· Furlan J. D., "Modelagem de Objetos Através da UML", Makron Books, 1998
· Hix, D.; Hartson, H. R. Developing User Interfaces: ensuring usability through product & proc-ess, John Wiley and Sons,
1993.
· NIELSEN, J. Usability Engineering. Chestnut Hill, MA, Academic Press, 1993.
· Fowler M., "UML Distilled - Applying the Standard Object Modeling Language", Addison Wesley, 1997
· McCarthy, J. "Dynamics of Software Development" Microsoft Press, 1995
Chronos 5 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Engenharia de Usabilidade DCC-914 Mestrado/Doutorado 60 60 4
Ementa:
Motivação e conceitos básicos. Modelos de avaliação de maturidade em usabilidade. Princípios de design. Processo
visando a Usabilidade. Noções de UML. Análise de contexto de uso. Especificação de requisitos de usabilidade.
Padronização de interfaces. Desenho da Interação. Prototipação. Diretrizes de usabilidade. Elementos de interação.
Avaliação de usabilidade. Usabilidade em interface Web.
Bibliografia:
Livro Texto: HIX, D., HARTSON, H. R., Developing User Interfaces: Ensuring Usability Through Product & Process, John
Wiley and Sons, 1993.
Referências
CONSTANTINE, L. L., Software for Use: A Practical Guide to the Models and Methods of Usage-Centered Design,
Addison-Wesley, 1999.
NIELSEN, J., Designing Web Usability, New Readers, 2000.
KRUG, S., BLACK, R., Don’t Make Me Think: Common Sense Approach to Web Usability, New Riders, Oct. 2000.
NORMAN, D. A., The Psychology of Everyday Things, New York, Basic Books, 1988.
NIELSEN, J., Usability Engineering, Chestnut Hill, MA, Academic Press, 1993.
SHNEIDERMAN, B., Designing the User Interface: Strategies for Effective Human-Computer Interaction, 3. Ed., Reading, MA,
Addison-Wesley, 1998.
PAULA F., W. P., Engenharia de Software: Fundamentos, Métodos e Padrões, LTC, 2001.
RUBIN, J., Handbook for Usability Testing: How to Plan, Design and Conduct Effective Tests, John Wiley and Sons, 1994.
MAYHEW, D., The Usability Engineering Lifecycle: A Practitioner’s Handbooks for User Interface Design, Morgan Kaufmann
Publishers Inc., (The Morgan Kaufmann Series in Interactive Technologies), 1999.
HENRY, P., User-Centered Informatin Design for Improved Software Usability, Artech House, 1998.
SPOOL, J. M., et. al., Web Design Usability: A Designer’s Guide, Morgan Kaufmann Publishers Inc., (The Morgan Kaufmann
Series in Interactive Technologies), 1999.
KISSEL, G. V., The Effect of Computer Experience on Subjective and Objective Usability Measures, In: ACM CHI’95
Conference Companion, Denver, CO, maio 1995, 284-285.
KREITZBERG, C., Managing for Usability, In: Alber, A. F. (Editor), Multimedia: A Management Perspective, Belmont, CA,
Wadsworth, 1996, 65-68.
LEWIS, J. R., IBM Computer Usability Satisfaction Questionnaires: Psychometric Evaluation and Instructions for Use, In:
International Journal of Human-Computer Interaction, 7(1), 57-78, 1995.
MYERS, B. & ROSSON, M., Survey on User Interface Programming, In: Proceedings of the ACN CHI’92 Conference,
Monterey, CA, maio 1992, 195-202

M D F
Estágio em Docência I DCC-903 Mestrado/Doutorado 30 30 2
Ementa:
.
Bibliografia:
.

M D F
Estágio em Docência II DCC-904 Doutorado 30 2
Ementa:
.
Bibliografia:
.
Chronos 6 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Fundamentos de Sistemas Paralelos e Distribuídos DCC-920 Mestrado/Doutorado 60 60 4

Sub-Título:
Wagner Meira Junior Docente Permanente 60 100,00
Ementa:
Concorrência e comunicação em sistemas paralelos e distribuídos. Sincronização e acordo em sistemas paralelos e
distribuídos. Persistência e sistemas de arquivos distribuídos. Compartilhamento de recursos em sistemas paralelos e
distribuídos. Análise e avaliação de desempenho de sistemas distribuídos e paralelos. Projeto e implementação de
aplicações Internet, como: cachês, redes de distribuição de conteúdo, aplicações P2P, serviços multimídia e serviços de
comércio eletrônico.
Bibliografia:
· MEIRA JR., W., MURTA, C., CAMPOS, S., GUEDES, D., Sistemas de Comércio Eletrônico: Projeto e Desenvolvimento,
Editora Campus, 2002.
· COULORIS, G., DOLLIMORE, J., KINDBERT, T., Distributed Systems: Concepts and Design, 3rd edition, Addison-Wesley,
2001.
· COMER, D., STEVENS, S., Inter-networking with TCP/IP – Volume III: Client-Server Programming and Applications, 3rd
edition, Prentice Hall, 1999.
· STEVENS, W. R., Unix Network Programming, Prentice-Hall, 2nd edition, 1998.
· ANDREWS, G., Foundations of Multihreaded, Distributed and Parallel Programming, Addison Wesley, 1999.
· TANNENBAUM, A., Distributed Operating Systems, Prentice-Hall, 1998.
· LYNCH, N., Distributed Algorithms, Morgan Kauffmann, 1997.
· OZSU, M., VALDURIEZ, P., Principles of Distributed Database Systems, 2nd edition, Prentice Hall, 1999.
· KRISHNAMURTY, B., REXFORD, J., Web Protocols and Practice: HTTP/1.1, Networking Protocols, Caching and Traffic
Measurement, Addison-Wesley, 2001.

M D F
Fundamentos Teóricos da Computação DCC-878 Mestrado/Doutorado 60 60 4
Ementa:
Estudo dos fundamentos matemáticos da computabilidade. Enumerabilidade e
decibilidade. Conjuntos recursivamente enumeráveis. Teorema da recursão.
Introdução à semântica denotacional e ao lambda cálculo.
Teorema da incompletude de Godel. Funções recursivas.
Bibliografia:
1. Aho, A.V., Ullman, J.D. The Theory of Parsing, Translation and Compiling, vol I: Parsing, Prentice-Hall, 1972.
2. Denning, P.J., Dennis, J.B., Qualitz, J.E. Machines, Languages and Computation, Prentice-Hall, 1978.
3. Floyd. R.M., Beigel, R. The Language of Machines: An introduction to computability and formal languages, Computer
Science Press, 1994.
4. Greenlaw, R., Hoover, H.J. Fundamentals of the Theory of Computation, Morgan Kauffmann, 1998.
5. Hopcroft, J.E., Ullman, J.D. Formal Languages and Their Relation to Automata, Addison-Wesley, 1969.
6. *Hopcroft, J.E., Ullman, J.D. Introduction to Automata Theory, Languages and Computation, Addison-Wesley, 1979.
7. *Howie, J.M. Automata and Languages, Oxford University Press, 1991.
8. Kelley, D. Automata and Formal Languages: an introduction, Prentice-Hall, 1995.
9. *Kozen, D.C. Automata and Computability, Springer, 1997.
10. Lewis, H.R., Papadimitriou, C.H. Elements of the Theory of Computation, Prentice-Hall, 1981.
11. Martin, J.C. Introduction to Languages and the Theory of Computation, McGraw-Hill, 1991.
12. Menezes, P.B. Linguagens Formais e Autômatos, ed., Sagra Luzzatto, 1998.
13. *Moret, B.M. The Theory of Computation, Addison-Wesley, 1998.
14. Rèvèsz, G.E. Introduction to Formal Languages, Dover, 1983.
15. Sipser, M., Introduction to Theory of Computation, PWS Publishing Co., 1997.
16. Sudkamp, T.A. Languages and Machines: An Introduction to the Theory of Computer Science, 2nd ed., Addion-Wesley,
1997.
17. Taylor, R.G., Models of Computation and Formal Languages, Oxford University Press, 1998.
18. Wood, D., Theory of Computation, John Wiley & Sons, 1987.
Chronos 7 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Gerência de Dados da Web DCC-922 Mestrado/Doutorado 60 60 4
Obrigatória nas Áreas de Concentração
CIENCIA DA COMPUTACAO
Ementa:
Características dos dados da Web, Modelagem de dados semi-estruturados, Linguagens de consulta, Ambientes e
aplicações da Web.
Bibliografia:
Livros Básicos
• Abiteboul, S; Buneman, P.; Suciu, D. Data on the Web: From Relations to Semistructured Data and XML. Morgan
Kaufmann, San Francisco, California, 2000.
• Liu, B. Web Data Mining. Springer, Berlin, 2008.

M D F
Inteligência Artificial DCC-845 Mestrado/Doutorado 60 60 4

Sub-Título:
Luiz Chaimowicz Docente Permanente 60 100,00
Ementa:
Resolução de problemas. Introdução à lógica de primeira ordem. Programação em
lógica. Representação do conhecimento. Tópicos avançados
em inteligência artificial.
Bibliografia:
.

M D F
Métodos Quantitativos de Pesq Experimental em DCC-921 Mestrado/Doutorado 60 60 4
C.Computação
Ementa:
Ementa variável. A disciplina concentra-se em técnicas estatísticas para suportar o método científico em ciência da
computação.
Bibliografia:
· Livro Básico: Raj Jain, The Art of Computer Systems Performance Analysis: techniques for experimental design,
measurement, simulation and modeling, John Wiley, 1991, ISBN: 0-471-50336-3.
Suplementar
· P. Cohen, Empirical Methods for Artifical Inteligence, MIT Press, 1995.
· Miller, J. Freund, R. Johnson, Probability and Statistics for Engineers, Sixth Edition, Prentice Hall, 2000, ISBN:
0-13-014158-5.
· Daniel Menasce, Virgilio Almeida, and Larr Dowdy, Performance by Design: computer capacity planning by example,
Prentice Hall, 2004.
· D. A. Menasce and V. Almeida, Capacity Planning for Web Services: metrics, models, and methods, Prentice Hall, 2002.
Chronos 8 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Mineração de Dados DCC-917 Mestrado/Doutorado 60 60 4

Sub-Título:
Ementa:
Processo de descoberta do conhecimento em bancos de dados. Conceitos básicos de coleta e engenharia de dados.
Técnicas de mineração de dados. Aspectos de implementação. Domínios de aplicação.
Bibliografia:
HAN, J., KAMBER, M., Data Mining: Concepts and Techniques, Morgan Kaufmann, August 2000.
WITTEN, I., FRAND, E., Data Mining, Morgan Kauffmann, 2000.
BALLARD, D., Introduction to Natural Computation, MIT Press, March, 1997.
Chronos 9 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Otimização Combinatória DCC-882 Mestrado/Doutorado 60 60 4

Sub-Título:
Geraldo Robson Mateus Docente Permanente 60 100,00
Ementa:
Estruturas de dados. Algoritmos e complexidade. Problema de atribuição. Problema de Matching. Árvore geradora mínima e
matróides. Problema do caminho mínimo. Programação dinâmica. Problemas NP-árduos. Branch-and-Bound. Algoritmos
aproximados.
Bibliografia:
Ravindra K Ahuja, Thomas L Magnanti and James B. Orlin.
Network Flows: Theory, Algorithms and Applications.
Mokhtar S. Bazaraa and John J. Jarvis.

Linear Programming and Network Flows.
John Wiley, 1977.
Kimberly L Jones, Irvin J Lustig, Judith M Farvolden and Warren B Powell.

Multicommodity Network Flows: The Impact of Formulation on Decomposition.
TR SOR 91-23, Princeton University, 1992.
Christos H. Papadimitriou and Kenneth Steiglitz.

Combinatorial Optimization: Algorithms and Complexity.
Prentice-Hall, 1982.
Robert E. Tarjan.
Data structures and network algorithms, volume 44 of Regional Conference Series in Applied Mathematics.
SIAM, Philadelphia, Pennsylvania, 1983.
Nicos Christofides.
Graph Theory: An Algorithmic Approach.
Academic Press, 1975.
Eugene L. Lawler.
Combinatorial Optimization: Networks and Matroids.
Holt, Rinehart and Winston, 1976.
George L. Nemhauser and Laurence A. Wosley.

Integer and Combinatorial Optimization.
Wiley-Interscience, 1988.
Michel Minoux.
Programmation Mathématique - Théorie et Algorithmes.
Dunod, 1983.
Geraldo R. Mateus.
Notas Pessoais, 1996.
Chronos 10 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Otimização em Redes DCC-833 Mestrado/Doutorado 60 60 4

Sub-Título:
Geraldo Robson Mateus Docente Permanente 60 100,00
Chronos 11 de 34 31/05/13 às 12:54

Relações Nominais
Ementa:
Problemas básicos de
otimização em redes: árvore geradora máxima, caminho
mínimo, transporte, atribuição, fluxo de custo mínimo e
fluxo máximo. Algoritmos primal, primal-dual e dual. Programação
dinâmica e técnicas heurísticas. Problemas de grande porte:
redes de telecomunicações, de computadores e de transporte.
Processamento paralelo e complexidade de algoritmos.
Bibliografia:
Ravindra K Ahuja, Thomas L Magnanti and James B. Orlin.
Network Flows: Theory, Algorithms and Applications.
Mokhtar S. Bazaraa and John J. Jarvis.

Linear Programming and Network Flows.
John Wiley, 1977.
Nicos Christofides.
Graph Theory: An Algorithmic Approach.
Academic Press, 1975.
Kimberly L Jones, Irvin J Lustig, Judith M Farvolden and Warren B Powell.

Multicommodity Network Flows: The Impact of Formulation on Decomposition.
TR SOR 91-23, Princeton University, 1992.
Eugene L. Lawler.
Combinatorial Optimization: Networks and Matroids.
Holt, Rinehart and Winston, 1976.
Geraldo R. Mateus. Notas Pessoais, 1996.
Geraldo R. Mateus e Antônio A.F. Loureiro.

Introdução à Computação Móvel.
Escola de Computação, Rio de Janeiro, 1998.
Michel Minoux. Programmation Mathématique - Théorie et Algorithmes.

Dunod, 1983.
George L. Nemhauser and Laurence A. Wolsey.

Integer and Combinatorial Optimization.
Wiley-Interscience, 1988.
Christos H. Papadimitriou and Kenneth Steiglitz.

Combinatorial Optimization: Algorithms and Complexity.
Prentice-Hall, 1982.
J.MacGregor Smith and P. Winter.

Topological Network Design, volume 33 of Annals of Operations Research.
J.C. Baltzer AG, Switzerland, 1991.
Robert E. Tarjan.
Data Structures and Network Algorithms, volume 44 of Regional Conference Series in Applied Mathematics.
SIAM, Philadelphia, Pennsylvania, 1983.
Chronos 12 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Processamento de Som e Vídeo DCC-910 Mestrado/Doutorado 60 60 4

Sub-Título:
Arnaldo de Albuquerque Araújo Docente Permanente 60 100,00
Ementa:
Conceitos de som analógico e digital, os padrões de som digital, streaming sound, conceitos de vídeo analógico e digital, os
padrões de vídeo digital, streaming video. Métodos para recuperação de imagens com base no conteúdo visual (cor, textura
e forma).
Bibliografia:
· Steven W. Smith, The Scientist and Engineer's Guide to Digital Signal Processing, 1999.
· Wang, Ostermann, Zhang, Video Processing and Communications, Prentice Hall, 2001.
· H.H. Li, S. Sun, & H. Derin (Eds.), Video Data Compression for Multimedia Computing, Kluwer, 1997.
· K. Jack, Video Demystified, 2nd. Ed., Harris, 1996.
· C.A. Poynton, A Technical Introduction to Digital Video, Wiley, 1996.
· A.F. Inglis & A.C. Luther, Video Engineering, 2nd. Ed., McGraw-Hill, 1996.
· A.M. Telkap, Digital Video Processing, Prentice Hall, 1995.
· W. Kou, Digital Image Compression Algorithms and Standards, Kluwer, 1995.
· Del Bimbo, Visual Information Retrieval, Morgan Kaufmann, 1999.
· V.S. Subrahmanian, Principles of Multimedia Database Systems, Morgan Kaufmann, 1998.
· Wilson de Pádua Paula Filho, Multimídia: Conceitos e Aplicações, LTC Editora, 2000.
· Artigos diversos.
Chronos 13 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Processamento Digital de Imagens DCC-868 Mestrado/Doutorado 60 60 4

Sub-Título:
Arnaldo de Albuquerque Araújo Docente Permanente 60 100,00
Ementa:
Conceitos básicos.
Digitalização e representação de imagens. Elementos de um
sistema de tratamento de imagens. Percepção visual. Realce de
imagens. Técnicas de modificação da escala de cinza.
Pseudo-coloração. Suavização de imagens. Aguçamento de
bordas. Filtragem espacial. Conceitos de segmentação,
codificação e classificação de imagens.
Bibliografia:
JÄHNE, B. ``Digital Image Processing". 4th. Edition, 1997.
FACON, J. ``Morfologia Matemática: Teoria e Exemplos". Ed. da PUC/Curitiba, PR, 1996.
BRUCE, V. GREEN, P.R. & GEORGESON, M.A. ``Visual Perception", Psychology Press, 1996.
KANG, H.R. ``Color Technology for Electronic Imaging Devices", SPIE, 1996.
RUSSEL, J.C. ``The Image Processing Handbook". CRC Press, 2nd. Edition, 1995.
COCQUEREZ, J.-P. & PHILIPP, S. (Editors). `Ànalyse d'Images: Filtrage et Segmentation". Masson, 1995.
GOMES, J. & VELHO, L. ``Computação Gráfica: Imagem". IMPA/SBM, Rio de Janeiro, 1994.
SONKA, M., HLAVAC, V. & BOYLE, R. `Ìmage Processing, Analysis and Machine Vision". Chapman & Hall, 1993.
GONZALEZ, R.C. & WOODS, R.E. ``Digital Image Processing". Addison Wesley, 3rd. Edition, 1993.
MAHDAVIEH, Y. & GONZALEZ, R.C. (Editors). `Àdvances in Image Analysis". SPIE Press, 1992.
1991.
MARION, A. `Àn Introduction to Image Processing". Chapman and Hall, 1991.

GABIALTI Jr., L.J. ``Machine Vision and Digital Image Processing Fundamentals". Prentice-Hall, 1990.
SCHALKOFF, R.J. ``Digital Image Processing and Computer Vision". John Wiley & Sons, 1989.
JAIN, A. ``Fundamentals of Digital Image Processing". Prentice-Hall, 1989.
GREEN, W.S. ``Digital Image Processing: A Systems Approach". Van Nostrand, 2nd. Edition, 1989.
du CNRS, 1989.
Compression". Plenum, 1988.
NIBLACK, W. `Àn Introduction to Digital Image Processing". Prentice-Hall, 1986.

ROSENFELD, A. & KAK, A.C. ``Digital Picture Processing". Academic Press, 2nd. Edition, 1982.
PRATT, W.K. ``Digital Image Processing". John Wiley & Sons, 1978.
MASCARENHAS, N.D.A. & VELASCO, F.R.D. ``Processamento Digital de Imagens". IV EBAI, 1989.
ARAÚJO, A. de A. ``Filtragem Espacial". VIII JAI, 1989.
FARINA, M. ``Psicodinâmica das Cores em Comunicação". Ed. Edgard Bucher, 1986.
Chronos 14 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Programação Linear DCC-807 Mestrado/Doutorado 60 60 4
Ementa:
Fundamentos de álgebra linear.
Métodos simplex: primal, dual e primal-dual. Dualidade. Análise de
sensibilidade. Interpretação econômica.
Algoritmos de pontos interiores. Geração de colunas. Métodos de
decomposição de Dantzig-Wolf. Aplicações.
Bibliografia:
Christos H. Papadimitriou and Kenneth Steiglitz. Combinatorial Optimization. Dover Publications Inc., 1998.
Ami Arbel. Exploring Interior-Point Linear Programming; Algorithms and Software. MIT Press, 1993.
Frederico Ferreira Campos, filho. Introdução ao MATLAB - Versão Preliminar. DCC-ICEx-UFMG, 2000.
D. den Hertog. Interior-Point Approach to Linear, Quadratic and Convex Programming: Algorithms and Complexity. Kluwer
Academic Publisher, 1994.
Mokhatar S. Bazaraa, John J. Jarvis and Hanif D. Sherali. Linear Programming and Network Flows. John Wiley & Sons,
1990.

M D F
Programação Não-Linear DCC-808 Mestrado/Doutorado 60 60 4
Ementa:
- Fundamentos matemáticos. Condições de otimalidade. Dualidade. Busca
unidimencional. Otimização irrestrita. Métodos duais em problemas
estritamente convexos. Métodos de penalidades. Métodos de
direções viáveis. Métodos de gradiente reduzido. Métodos
de decomposição e linearização.
Bibliografia:
· Mateus, G.R. & Luna, H.P.L. Programação Não-Linear, Livro da V Escola de Computação, UFMG, Belo Horizonte, 1986.
· Hiriart-Urruty, J.B. L'Optimisation, Presses Universitaires de France, Paris, 1996.
· Lasdon, L.S. Optimization Theory for Large Systems, Macmillan, New York, 1970.
· Artigos selecionados.

M D F
Programação Paralela DCC-837 Mestrado/Doutorado 60 60 4
Ementa:
Expressão de execução paralela. Processos. Semântica de programas paralelos. Primitivas de sincronização. Núcleos de
multiprogramação. Modelos de programas paralelos. Estruturação de programas paralelos. Processos comunicantes.
Deteção de término. Resolução equânime de bloqueios. Exclusão mútua. Tolerância a falhas. Classificação em paralelo.
Matrizes sistólicas.
Bibliografia:
.
Chronos 15 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Projeto e Análise de Algoritmos DCC-865 Mestrado/Doutorado 60 60 4

Sub-Título:
Gisele Lobo Pappa Docente Permanente 15 25,00
Jussara Marques de Almeida Docente Permanente 15 25,00
Sub-Título:
Chronos 16 de 34 31/05/13 às 12:54

Relações Nominais
Ementa:
Fundamentos de álgebra linear.
Métodos simplex: primal, dual e primal-dual. Dualidade. Análise de
sensibilidade. Interpretação econômica.
Algoritmos de pontos interiores. Geração de colunas. Métodos de
decomposicação de Dantzig-Wolf. Aplicações.
Bibliografia:
Writing Efficient Programs, livro do Bentley [B]. Considerando novos algoritmos que não estão no texto e realizando trabalho
semelhante ao do Bentley.
2.
Pesquisa em Textos com Pré-processamento: Suffix Arrays, U. Manber e E. Myers, ACM-SIAM Symposium On Discrete
Algorithms.
3.
Pesquisa em textos: implementações eficientes do algoritmo de Boyre-Moore. A. Hume and D. Sunday, Fast string
searching, Software Practice and Experience 21(11): 1221-1248, Nov. 1991. R. Horspool, Practical fast searching in strings,
Software Practice and Experience 10: 501-506, 1980. T. Takaoka, A left-to-right processing computation for the Boyer-Moore
string matching algorithm, The Computer Journal, 39(5): 413-416, 1995.
4.
Fatoração de Inteiros Através de Computação Distribuída, CACM 34(11), nov 1991, 94-103.
5.
Quicksort Externo, Quicksort Em Ambiente de Memória Virtual. [GBY], Tese doutorado M.C. Monard (1980).
6.
Sef-Adjusting Multi-Way Search Trees. Árvores B em ambiente de memória virtual. Information Processing Letters v. 38,
maio de 1991, 135-141.
7.
Algoritmos Aleatórios. R. Karp `Àn Introduction to Randomized Algorithms'', Discrete Applied Mathematics, v. 34, 1991,
165-201. Randomized Algorithms, R. Motwani e P. Raghavan, Cambridge University Press, 1995.
8.
Compressão de Dados. J. Ziv e A. Lempel ``Compression of Individual Sequences Via Variable-Rate Coding'', IEEE Trans.
on Inf. Theory 17 (24), set. 1978, 530-536. CACM 30 (9), 1987, 792-794. Williams, R. N. Adaptative Data Compression,
Kluwer Academic Publishers, 1991, [BCW89] Bell, T.C., Cleary, J.G. e Witten, I. H. Text Compression, Prentice-Hall, 1989.
9.
Algoritmos Paralelos. Quais problemas em estão em (ou quais são os problemas que podem se beneficiar substancialmente
de computação massivamente paralela) ? J. Hopcroft e K. W. Kennedy, Computer Science: Achievements and Opportunities,
Report of the NSF Advisory Committee for Computer Research, Society for Industrial and Applied Mathematics, 1989.
10.
Linguagem para consulta na estrutura e no conteúdo de bancos de dados textuais: Gonzalo Navarro, dissertação de
mestrado, DCC, Universidad de Chile, abril de 1995.
11.
Busca por proximidade: R. Baeza-Yates, W. Cunto, U. Manber e s. Wu, ''Proximity Matching Using Fixed-Queries Trees'',
Fifth Combinatorial Pattern Matching, 1994. R. Baeza-Yates e W. Cunto, Spire'99, Cancun, Mexico, 1999, The ADT Proximity
and Text Proximity Problems.
12.
Busca em textos usando estruturas em dois niveis. U. Manber and S. Wu, A two-level approach to information retrieval,
TR93-06, Umiversity of Arizona, 1993.
13.
Skip Lists. T. Papadakis, Skip lists and probabilistic analysis of algorithms, TR CS-93-28, University of Waterloo, May 1993.
W. Pugh, CACM 33(6): 668-676, Jun 1990.
14.
Perfect Hash. [WMB94]. G. H. Gonnet and R. Baeza-Yates, Handbook of Algorithms and Data Structures, Addison-Wesley,
1991.
15.
Algoritmos genéticos. Apresentar uma introdução ao assunto e exemplos de aplicações. David Goldberg, Genetic Algorithms
in Search Optimization & Machine Learning, Addison Wesley Publishing Company, 1989.
16.
Correção automatica de palavras em textos. Karen Kukich, techniques for automatically correcting words in text, ACM
computing Surveys 24(4): 377-440 Dec. 1992. Hellen C. F. Pacheco, Uma Ferramenta de Auxílio à Redação, Dissertação de
Mestrado DCC/UFMG, 1996.
17.
Recuperação de informações na Web. Apresentar os principais algoritmos e estruturas de dados utilizados no
armazenamento e recuperação de informacoes na Web.
Chronos 17 de 34 31/05/13 às 12:54

Relações Nominais
18.
Busca por frases em bancos de dados de texto. Ilmerio Reis e Edleno S. Moura, Ranking Documents Using Conceptual
Phrases (Anotações pessoais ainda não publicadas). Edleno S. Moura e Ilmerio Reis, Índices para Busca por Frases
(Anotações pessoais ainda não publicadas). Marcio Drumond Araujo, IGREP - Um Sistema para Busca Aproximada em
Textos Indexados, Dissertação Mestrado DCC/UFMG, 1997.
19.
Recuperação de Imagens na Web. PhotoFinder (http://image.altavista.com). Haramndas et al., ACM SIGIR'97. Flickener et
al., IEEE Computer 8(9), 1995, 23-32. Chang, IEEE Signal Processing Magazine, July 1997.
20.
Busca em Textos Comprimidos. ``Direct Pattern Matching on Compressed Text''. E. S. de Moura, G. Navarro, N. Ziviani e R.
Baeza-Yates. SPIRE'98 , IEEE Computer Society, 90-95, Santa Cruz de la Sierra, Bolivia, Setembro, 1998. ``Fast sequencial
searching on compressed texts allowing errors''. E. S. de Moura, G. Navarro, N. Ziviani e R. Baeza-Yates. ``Proc. of the 21st
Conference on Research and Development in Information Retrieval'', ACM SIGIR'98, 298-306, Melbourne, Australia, Agosto,
1998.
21.
Algoritmos Distribuídos - Geração de listas invertidas em paralelo: `Èfficient Distributed Algorithms to Build Inverted Files''.
Berthier Ribeiro-Neto, Nivio Ziviani, Edleno Moura e Marden Neuber. SIGIR'99.
22.
Algoritmos Distribuídos - Geração de arranjos de sufixos em paralelo: Navarro, G., Kitajima, J. P., Ribeiro-Neto, B. A. and
Ziviani, N. ``Distributed Generation of Suffix Arrays'', In: A. Apostolico and J. Hein (Eds.) Eigth Symposium on Combinatorial
Pattern Matching (CPM'97), Springer-Verlag LNCS v. 1264, 102-115. Kitajima, J. P., Resende, M. D., Ribeiro-Neto, B. and
Ziviani, N. ``Distributed Parallel Generation of Indices for Very Large Text Databases'', IEEE 3rd International Conference on
Algorithms and Architectures for Parallel Processing (ICA3PP'97), Melbourne, Australia, December 1997, 745-752.
23.
Índices para Pesquisa em Textos Permitindo Erros, Marcio Drumond Araujo, IGREP - Um Sistema para Busca Aproximada
em Textos Indexados, Dissertação Mestrado DCC/UFMG, 1997.
24.
Busca de palavras em arquivos PostScript (.ps), Extracting Text from PostScript, Nevill-Manning, C.G., Reed, T. and Witten,
I.H., Software Practice and Experience 28(5), 1998, 481-491.

M D F
Recuperação de Informação: Máquinas de Busca na DCC-923 Mestrado/Doutorado 60 60 4
Web

Sub-Título:
Berthier Ribeiro de Araújo Neto Docente Permanente 30 50,00
Nivio Ziviani Docente Permanente 30 50,00
Ementa:
Sistemas de recuperação de informação; técnicas, processos e métricas de recuperação de informação; máquinas de busca.
Bibliografia:
• Ricardo Baeza-Yates and Berthier Ribeiro-Neto: Modern Information Retrieval, Addison Wesley, 2010, 2nd Edition.
• Ian H. Witten, Alistair Moffat e Timothy C. Bell: Managing Gigabytes: Compressing and Indexing Documents and Images,
Morgan Kaufmann Publishers, 1999, second edition.
Chronos 18 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Redes de Computadores DCC-839 Mestrado/Doutorado 60 60 4
Ementa:
Conceito de redes de computadores e
sistemas distribuídos. Arquitetura de redes de computadores. Protocolos e
serviços. Modelo de referência OSI/ISO. Redes locais.
Camadas física, enlace,
redes e transporte.
Bibliografia:
1. PETERSON, L. L. & DAVIE, B. S. "Computer Networks - A System Approach", Morgan Kaufman, San Fancisco, CA.
Second Edition, 2000. ISBN 1-55860-514-2 (cloth) e ISBN 1-55860-577-0 (paper).
2. TANENBAUM, A.S. "Computer Networks", Prentice Hall, Englewood Cliffs, NJ. 3rd. edition, 1995.
3. WALRAND, J. & VARAIYA, P. ``High-Performance Communications Networks". Morgan Kaufman, San Fancisco, CA.
Second Edition, 2000. ISBN 1-55860-574-6 (cloth) e ISBN 1-55860-654-8 (paper).
4. SOARES,L.F.G & LEMOS,G. & COLCHER,S., "Redes de Computadores: das LANs, MANs e WANs às Redes ATM",
Editora Campus, 1995.
5. HALSALL, Fred. "Data Communications, Computer Networks and Open Systems". Addison-Wesley Pub. Co., fourth
edition, 1995.
6. GOODWIN, M. ``Serial communications in C and C++". MIS Press, N.York, 1992.
7. COMER, D. "Computer Networks and Internets''. Prentice Hall Inc., 1997.
8. STALLINGS, W. "Data and Computer Communications". Macmillan Publishing Co., New York, 4th. edition, 1994.
9. NOGUEIRA, J. M. S. ``Protocolos de Comunicação: Conceitos, Serviços, Especificação e Teste.'' Belo Horizonte,
UFMG-DCC, 1991. Versão preparada para a V EBAI.

M D F
Robótica DCC-883 Mestrado/Doutorado 60 60 4
Ementa:
Cinemática e dinâmica de manipuladores.
Transformações de velocidade e força. Geração de
trajetórias. Controle de força e posição. Sistemas de
programação para robôs. Plataformas móveis, sensores
e atuadores. Sistemas de navegação. Planejamento e aprendizagem.
Bibliografia:
Martin, F. G., Robotic Explorations: An Introduction to Engineering Through Design, Prentice Hall; ISBN: 0-130-89568-7.
Jones, J. and Flynn, A.M., Mobile Robots -- Inspiration to Implementation --A. K. Peters, Wellesley, MA, 1993, ISBN
1-56881-011-3.
Craig, J.J., Introduction to Robotics -- Mechanics and Control -- 2nd. Ed., Addison-Wesley,Reading, MA, 1989, ISBN
0-201-09528-9.
Chronos 19 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Robótica Móvel DCC-911 Mestrado/Doutorado 60 60 4


Sub-Título:
Mario Fernando Montenegro Campos Docente Permanente 60 100,00
Ementa:
Conceitos Básicos de Robótica Móvel, Arquiteturas, Paradigmas de Programação, Locomoção, Planejamento de Caminhos,
Localização e Mapeamento, Cooperação entre Múltiplos Robôs.
Bibliografia:
o "Principles of Robot Motion: Theory, Algorithms, and Implementations" Howie Choset, Kevin M. Lynch, Seth Hutchinson,
George Kantor, Wolfram Burgard, Lydia E. Kavraki, Sebastian Thrun The MIT Press, 2005
o "Computational Principles of Mobile Robotics" Gregory Dudek and Michael Jenkin Cambridge University Press, 2000
o "Introduction to Autonomous Mobile Robots" Roland Siegwart, Illah R. Nourbakhsh The MIT Press, 2004
o "Probabilistic Robotics" Sebastian Thrun, Wolfram Burgard, Dieter Fox
The MIT Press, 2005
o "An Introduction to AI Robotics" Robin R. Murphy The MIT Press, 2000
o "Behavior-Based Robotics" Ronald C. Arkin The MIT Pres, 2000
Chronos 20 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Semântica Formal DCC-880 Mestrado/Doutorado 60 60 4

Sub-Título:
Roberto da Silva Bigonha Docente Permanente 60 100,00
Chronos 21 de 34 31/05/13 às 12:54

Relações Nominais
Ementa:
Semântica direta. Semântica padrão. Semântica de continuação. Semântica de expressões, jumps, comandos,
procedimentos e tipos. Linguagens para definição de semântica denotacional. Fundamentos matemáticos do método
denotacional
Bibliografia:
M. J. C. Gordon, The Denotational Description of Programming Languages - An Introduction, Springer-Verlag, 1979 (2nd
revised edition).
E. G. Pimentel e M. Silva, Semântica Operacional Estruturada, Relatório Técnico DECOM 05/98, UFOP, 1998.
R. S. Bigonha, Retractile Continuation, RT01/96, DCC/UFMG, 1996.
Gurevich, Evolving Algebra,1998.
F. Tirelo, M. Maia, V. Di Ioro e R.S.Bigonha, Máquinas de Estado Abstratas, Tutorial III do III SBLP, Porto Alegre, 1999.
F. Tirelo, M. Maia, V. Di Ioro e R.S.Bigonha, Notas de Aula de Máquinas de Estado Abstratas, Dcc/UFMG, 2003.
Pierce, Benjamin C., Foudational Calculi for Programming Languages,Handbook of Computer Science and Engineering, 1995
Milner, Robin, The Polyadic Pi-Calculus: A Tutorial, Technical Report, CS Departament, University of Edinburg, 1991.
Bibliografia Complementar
H. R. Nielson & F. Nielson, Semantics with Applications - A Formal Introduction, John Wiley & Sons, 1992.
R. D. Tennent, The Denotational Semantics of Programming Languages, Communications of the ACM, August 1976,
437-453.
R. S. Bigonha, The Revised Report on the Language Script for Denotational Semantics, Technical Report 002/98,
DCC/UFMG, 1998.
C. A. Gunter, P. D. Mosses and D. S. Scott, Semantic Domains and Denotational Semantics, Internal Report DAIMI PB-276,
Computer Science Department, Aarhus University, April 1989.
C. A. Gunter, Semantics of Programming Languages - Structures and Techniques, MIT Press, 1992.
R. D. Tennent, The Denotational Semantics of Programming Languages, Communications of the ACM, August 1976,
437-453.
Gordon D. Plotkin, A Structural Approach to Operational Semantics, Aarhus, Denmark,Computer Science Department,
Aarhus University, 1981,DAIMI FN-19.
D. S. Scott, Toward a Mathematical Semantics for Computer Languages, Technical Monograph, PRG-6, Oxford University,
Computing Laboratory, 1971.
D. S. Scott, Outline of a Mathematical Theory of Computation, Technical Monograph, PRG-2, Oxford University, Computing
Laboratory, 1971.
D. S. Scott, Data Type as Lattice, SIAM Journal of Computing, 5:522-587, 1976.
F. Pagan, Formal Specification of Programming Languages: A Panoramic Primer, Prentice Hall, 1981.
A. Schmidt, Denotational Semantics : A Methodology for Language Development, Allyn & Bacon, 1986.
Joseph E. Stoy, Denotational Semantics: The Scott-Stratchey Approach to Programming Language Theory, MIT Press, 1977.
D. A. Watt, Programming Language Syntax and Semantics, Prentice Hall, C.A.R. Hoare Series Editor, 1991.
G. Winskel, Semantics of Programming Languages, MIT Press, 1993.
Referências para ASMs estão na URL:http://www.eecs.umich.edu/gasm, onde deve-se selecionar em especial o item
Programming Languages.
--------------------------------------------------------------------------------
Chronos 22 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Sistemas Operacionais DCC-816 Mestrado/Doutorado 60 60 4

Sub-Título:
Sergio Vale Aguiar Campos Docente Permanente 60 100,00
Ementa:
Gerência e sincronização
de processos. Técnicas de entrada/saída. Sistemas de arquivos.
Técnicas de {\it buffering}. Escalonamento de processadores. Gerência
de memória e memória virtual. Alocação de recursos e
{\it deadlock}. Avaliação de desempenho. Sistemas distribuí}dos.
Bibliografia:
M. Beck. et.al. Linux Kernel Internals. 2a edição, Addison-Wesley, 1997.
Kernel Hackers Guide. http://www.dcc.ufmg.br/~scampos/so

M D F
Teoria de Linguagens DCC-874 Mestrado/Doutorado 60 60 4

Sub-Título:
Olga Nikolaevna Goussevskaia Docente Colaborador 60 100,00
Ementa:
Classificação e propriedade das gramáticas. Problemas decidíveis em cada classe de gramática e respectivas linguagens.
Autômatos linear-bounded e máquinas de Turing como reconhecedores de linguagens. Noções de Parsing. Parsing
determinístico. Gramática LL(k) e LR(k).
Bibliografia:
1. Dean, N. The Essence of Discrete Mathematics, Prentice Hall, 1997.
2. Grimaldi, R.P. Discrete and Combinatorial Mathematics: An Applied Introduction, 3rd ed., Addison-Wesley, 1994.
3. Velleman, D.J. How To Prove It, Cambridge University Press, 1994.
Chronos 23 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Teoria dos Grafos DCC-849 Mestrado/Doutorado 60 60 4

Sub-Título:
Sebastián Alberto Urrutia Docente Permanente 60 100,00
Ementa:
Conceito de grafos e aplicações. Problemas em grafos: caminhos, planaridade, coloração, particionamento, casamento,
fluxo. Algoritmos
Bibliografia:
Robin J. Wilson
Introduction to Graph Theory
Addison-Wesley, 1997 - fourth edition
Joan M. Aldous & Robin J. Wilson

Graphs and Applications: An Introductory Approach
Springer-Verlag, 2000
R. Balakrishnan & K. Ranganathan

A Textbook on Graph Theory
Jay Yellen & Jonathan L. Gross

Graph Theory and its Applications
CRC Press, 1999
Douglas B. West
Introduction to Graph Theory
Prentice-Hall, 2000 - second edition
Reinhard Diestel
Graph Theory
Ahuja, Magnanti & Orlin

Network Flows - Theory, Algorithms, and Applications
Prentice-Hall, 1993
James Evans & Edward Minieka

Optimization Algorithms for Networks and Graphs
Marcel Dekker, Inc., 1992 - second edition
L. R. Foulds
Graph Theory Applications
Springer Verlag, 1992
Nicos Christofides
Graph Theory - An Algorithmic Approach
Academic Press, 1978
Chronos 24 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Tópicos em Bancos de Dados DCC-889 Mestrado/Doutorado 60 60 4

Sub-Título: Banco de Dados Avançados
Mirella Moura Moro Docente Permanente 60 100,00
Sub-Título: Bancos de Dados Geográficos
Clodoveu Augusto Davis Junior Docente Permanente 60 100,00
Ementa:
Ementa variável dependendo da ênfase oferecida em Bancos de Dados.
Bibliografia:
Bibliografia variável dependendo da ênfase oferecida.

M D F
Tópicos em Compiladores DCC-888 Mestrado/Doutorado 60 60 4

Sub-Título: Otimização de Código
Mariza Andrade da Silva Bigonha Docente Permanente 60 100,00
Ementa:
Ementa variável dependendo da ênfase oferecida em Compiladores.
Bibliografia:
Bibliografia variável dependendo da ênfase oferecida em Compiladores.
Chronos 25 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Tópicos em Engenharia de Software DCC-890 Mestrado/Doutorado 60 60 4

Sub-Título: Arquitetura de Software
Marco Túlio de Oliveira Valente Docente Permanente 60 100,00
Sub-Título: Reuso de Software
Eduardo Magno Lages Figueiredo Docente Permanente 60 100,00
Sub-Título: Interação Humano-Computador
Raquel Oliveira Prates Docente Permanente 60 100,00
Sub-Título: Manutenção e Evolução de Software
Marco Túlio de Oliveira Valente Docente Permanente 60 100,00
Sub-Título: Medição e Qualidade de Software
Eduardo Magno Lages Figueiredo Docente Permanente 60 100,00
Ementa:
Ementa variável dependendo da ênfase oferecida em Engenharia de Software.
Bibliografia:
Buibliografia variável dependendo da ênfase oferecida em Engenharia de Software
Chronos 26 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Tópicos em Inteligência Artificial DCC-891 Mestrado/Doutorado 60 60 4
Ementa:
Ementa variável dependendo da ênfase oferecida em Inteligência Artificial.
Bibliografia:

M D F
Tópicos em Linguagens de Programação DCC-892 Mestrado/Doutorado 60 60 4
Ementa:
Ementa variável dependendo da ênfase oferecida em Linguagens de Programação.
Bibliografia:

M D F
Tópicos em Microeletrônica DCC-898 Mestrado/Doutorado 60 60 4
Ementa:
Ementa variável dependendo da ênfase oferecida em Microeletrônica.
Bibliografia:

M D F
Tópicos em Multimídia DCC-896 Mestrado/Doutorado 60 60 4
Ementa:
Ementa variável dependendo da ênfase oferecida em Multimídia.
Bibliografia:
Chronos 27 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Tópicos em Otimização DCC-893 Mestrado/Doutorado 60 60 4

Sub-Título: Otimização Linear e Não Linear
Alexandre Salles da Cunha Docente Permanente 60 100,00
Sub-Título: Heurísticas e Metaheurísticas
Thiago Ferreira de Noronha Docente Permanente 60 100,00
Ementa:
Ementa variável dependendo da ênfase oferecida em Otimização.
Bibliografia:

M D F
Tópicos em Percepção Ativa DCC-899 Mestrado/Doutorado 60 60 4
Ementa:
Ementa variável dependendo da ênfase oferecida em Robótica.
Bibliografia:
Bibliografia variável dependendo da ênfase oferecida em Robótica.

M D F
Tópicos em Processamento Digital de Imagens DCC-897 Mestrado/Doutorado 60 60 4
Ementa:
Ementa variável dependendo da ênfase oferecida em Processamento Digital de Imagens.
Bibliografia:
Chronos 28 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Tópicos em Redes de Computadores DCC-894 Mestrado/Doutorado 60 60 4

Sub-Título: Internet do Futuro e Internet de Coisas
Jose Marcos Silva Nogueira Docente Permanente 60 100,00
Sub-Título: Redes sem Fio
Luiz Filipe Menezes Vieira Docente Permanente 60 100,00
Ementa:
Ementa variável dependendo da ênfase oferecida em Redes de Computadores.
Bibliografia:

M D F
Tópicos em Robótica DCC-919 Mestrado/Doutorado 60 60 4
Ementa:
Ementa variável dependendo do tópico a ser abordado.
Bibliografia:
Bibliografia variável dependendo do tópico abordado.

M D F
Tópicos em Sistemas de Computação DCC-895 Mestrado/Doutorado 60 60 4

Sub-Título: Sistemas de Tempo Real
Ementa:
Ementa variável dependendo da ênfase oferecida em Sistemas de Computação
Bibliografia:
Chronos 29 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Tópicos em Visão Computacional DCC-918 Mestrado/Doutorado 60 60 4
Ementa:
Ementa variável dependendo do tópico a ser abordado.
Bibliografia:
* Emanuele Trucco and Alessandro Verri, Introductory Techniques for 3-D Computer Vision, Prentice Hall, New Jersey, 1998.
* David A. Forsyth and Jean Ponce, Computer Vision - A Modern Approach, Prentice Hall, New Jersey, 2003.
* Richard Hartley and Andrew Zisserman, Multiple View Geometry in Computer Vision, Cambridge University Press, 2000.
* B.K.P. Horn, Robot Vision, MIT Press, 1986.
* Dana Ballard and Christopher Brown, Computer Vision, Prentice Hall, 1982.
* K. R. Castleman, Digital Image Processing, Prentice Hall, 1979.
* Rafael C. Gonzalez and Richard E. Woods, Addison Wesley, Reading, 1992.
* Stuart Russel and Peter Norvig, Artificial Intelligence - A Modern
* Approach, 2nd. Edition, Prentice-Hall, New Jersey, 2003.
Chronos 30 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Tópicos Especiais em Ciência da Computação DCC-831 Mestrado/Doutorado 60 60 4

Sub-Título: Predição Estruturada via Campos Aleatórios Condicionais
Renato Martins Assuncao Docente Permanente 60 100,00
Sub-Título: Visualização de Dados
Raquel Cardoso de Melo Minardi Docente Permanente 60 100,00
Sub-Título: Programação em Arquiteturas Emergentes
Renato Antônio Celso Ferreira Docente Permanente 60 100,00
Sub-Título: Nanotecnologia Computacional
Omar Paranaiba Vilela Neto Docente Permanente 60 100,00
Sub-Título: Virtualização e Computação em Nuvem
Dorgival Olavo Guedes Neto Docente Permanente 60 100,00
Sub-Título: Aprendizagem de Máquina
Adriano Alonso Veloso Docente Permanente 60 100,00
Sub-Título: Desenvolvimento de Jogos Digitais
Chronos 31 de 34 31/05/13 às 12:54

Relações Nominais

Sub-Título: Probabilidade e Inferência para Ciência da Computação
Renato Martins Assuncao Docente Permanente 60 100,00
Sub-Título: Computação Gráfica
Sub-Título: Nanocomputação
Omar Paranaiba Vilela Neto Docente Permanente 60 100,00
Sub-Título: Processamento de Dados Massivos
Dorgival Olavo Guedes Neto Docente Permanente 60 100,00
Sub-Título: Seminários Avançados em Recuperação de Informação e Computação Soc
Marcos André Gonçalves Docente Permanente 30 50,00
Sub-Título: Computação Natural
Ementa:
Ementa variável dependendo da enfase ofecida.-
Bibliografia:
Bibliografia variável dependendo da enfase ofecida.
Chronos 32 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Tópicos Especiais em Ciência da Computação DCC-851 Mestrado/Doutorado 30 30 2

Sub-Título: Elaboração e Apresentação de Artigos Científicos
Clodoveu Augusto Davis Junior Docente Permanente 15 50,00
Mirella Moura Moro Docente Permanente 15 50,00
Ementa:
Ementa variável dependendo da ênfase oferecida.
Bibliografia:

M D F
Verificação Automática DCC-924 Mestrado/Doutorado 60 60 4


Sub-Título:
Ementa:
Verificação automática; verificação de modelos – model checking.
Bibliografia:
• Model Checking. Edmund Clarke, Orna Grumber, Doron Peled. The MIT Press, 2000.
Chronos 33 de 34 31/05/13 às 12:54

Relações Nominais
ANO BASE: 2012

M D F
Visão Computacional DCC-884 Mestrado/Doutorado 60 60 4

Sub-Título:
Mario Fernando Montenegro Campos Docente Permanente 60 100,00
Ementa:
Formação de imagem. Imagens binárias e suas propriedades geométricas, topológicas e morfológicas. Regiões e
segmentação. Bordas e sua detecção. Brilho e cor. Movimento e fluxo óptico. Classificação de padrões. Shape from X.
Representação 2D e 3D. Estruturas relacionais; Inferência. Visão ativa.
Bibliografia:
Referências Bibliográficas
Introductory Techniques for 3D Computer Vision

Trucco e Verri, Prentice-Hall, 1998
Robot Vision
B.K.P. Horn, MIT Press, 1986
Computer Vision
Ballard and Brown, Prentice Hall, 1982
Digital Image Processing
Castleman, Prentice Hall, 1979
Digital Image Processing
Gonzalez and Wintz, Addison Wesley, 1987
Three-Dimensional Computer Vision
O. Faugeras, MIT Press, Cambridge, MA, 1993
Na Internet
Computer Vision Home Page -http://www.cs.cmu.edu/~cil/vision
Pilot European Image Processing Archive -http://peipa.essex.uk (links com imagens para testes, demos, etc.)
Annotated Computer Vision Bibliography - http://iris.usc.edu/Vision-Notes/bibliography/contents.html (exelente fonte de

artigos e relatórios técnicos)
CVoline - http://www.dai.ed.ac.uk/daidb/staff/personal_pages/rbf/CVonline/CVentry.htm (Uma coleção de hipertextos sobre

métodos e aplicações da visão computacional)
The Vision List e The Pixel - Boletins eletrônicos e news. Também grandes hospedeiros de debates técnicos. Para inscrição
deve-se enviar um e-mail para A pixel@essex.ac.uk e para Vision-List-Request@telos.com
Chronos 34 de 34 31/05/13 às 12:54

Ementas

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Ementas

Uploaded by

Copyright:

Available Formats

Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

Período: 2º Semestre Carga-Horária: 60 Créditos: 4

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

· Introduction to Computer System Performance Evaluation, K. Kant, McGraw Hill, 1992.

Chronos 1 de 34 31/05/13 às 12:54

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

Período: 2º Semestre Carga-Horária: 60 Créditos: 4

Chronos 2 de 34 31/05/13 às 12:54

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

Chronos 3 de 34 31/05/13 às 12:54

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

Período: 1º Semestre Carga-Horária: 60 Créditos: 4

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

Chronos 4 de 34 31/05/13 às 12:54

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

7.2 Referências principais

· Pressman, R.S. Engenharia de Software, Makron, 1995.

Chronos 5 de 34 31/05/13 às 12:54

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

Chronos 6 de 34 31/05/13 às 12:54

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

Período: 1º Semestre Carga-Horária: 60 Créditos: 4

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

Chronos 7 de 34 31/05/13 às 12:54

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

Período: 2º Semestre Carga-Horária: 60 Créditos: 4

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

Chronos 8 de 34 31/05/13 às 12:54

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

Período: 2º Semestre Carga-Horária: 60 Créditos: 4

Chronos 9 de 34 31/05/13 às 12:54

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

Período: 2º Semestre Carga-Horária: 60 Créditos: 4

Mokhtar S. Bazaraa and John J. Jarvis.

Kimberly L Jones, Irvin J Lustig, Judith M Farvolden and Warren B Powell.

Christos H. Papadimitriou and Kenneth Steiglitz.

George L. Nemhauser and Laurence A. Wosley.

Chronos 10 de 34 31/05/13 às 12:54

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

Período: 1º Semestre Carga-Horária: 60 Créditos: 4

Chronos 11 de 34 31/05/13 às 12:54

Mokhtar S. Bazaraa and John J. Jarvis.

Kimberly L Jones, Irvin J Lustig, Judith M Farvolden and Warren B Powell.

Geraldo R. Mateus. Notas Pessoais, 1996.

Geraldo R. Mateus e Antônio A.F. Loureiro.

Michel Minoux. Programmation Mathématique - Théorie et Algorithmes.

George L. Nemhauser and Laurence A. Wolsey.

Christos H. Papadimitriou and Kenneth Steiglitz.

J.MacGregor Smith and P. Winter.

Chronos 12 de 34 31/05/13 às 12:54

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

Período: 2º Semestre Carga-Horária: 60 Créditos: 4

Chronos 13 de 34 31/05/13 às 12:54

DISCIPLINA Sigla-Número Nível Carga Horária Créditos

Período: 1º Semestre Carga-Horária: 60 Créditos: 4

MARION, A. ``An Introduction to Image Processing". Chapman and Hall, 1991.

Compression". Plenum, 1988.

NIBLACK, W. ``An Introduction to Digital Image Processing". Prentice-Hall, 1986.