\documentstyle[psfig,11pt]{article}
\begin{document}
\begin{center}
\begin{huge}
Universidade Federal de Minas Gerais \\
Departamento de Ci\^{e}ncia da Computa\c{c}\~{a}o \\
\vspace{0.2cm}
An\'{a}lise e Modelagem de Desempenho de \\
 Sistemas de Computa\c{c}\~{a}o
\\

\end{huge}
\vspace{0.2cm}
\large $2^{o}$ Semestre de 2004\\
\end{center}

{\bf 
Professora:  Jussara M. Almeida 

Carga Hor\'{a}ria: 60 cr

Hor\'{a}rio: Ter\c{c}as e Quintas, 9:25 \`{a}s 11:05 

}

{\bf \Large Objetivo} \\

   Esta disciplina tem por objetivo principal apresentar os principais
   conceitos e t\'{e}cnicas de an\'{a}lise de desempenho cobrindo t\'{o}picos 
nas \'{a}reas de modelagem, simula\c{c}\~{a}o e experimenta\c{c}\~{a}o. \\


{\bf \Large Ementa} \\

	Conceitos e t\'{e}cnicas para avalia\c{c}\~{a}o de desempenho;
        modelos determin\'{\i}sticos e probabil\'{\i}sticos de desempenho;
	introdu\c{c}\~{a}o \'{a} teoria de filas;
	constru\c{c}\~{a}o e an\'{a}lise de simula\c{c}\~{o}es;
	experimenta\c{c}\~{a}o: benchmarking e monitora\c{c}\~{a}o;
	planejamento de capacidade. \\

{\bf \Large Programa} \\

\begin{itemize}
	\item Vis\~{a}o geral do curso: 
	\begin{itemize}
		\item Motiva\c{c}\~{a}o
		\item T\'{e}cnicas de avalia\c{c}\~{a}o de desempenho
		\item Metodologia geral para estudo de modelagem
	\end{itemize}

	\item Modelos determin\'{\i}sticos de desempenho:
	\begin{itemize}
	     \item Leis fundamentais: lei de Little, leis operacionais
	     \item Redes de filas: redes abertas, redes fechadas 
	     \item Limites assintoticos
	     \item An\'{a}lise do valor m\'{e}dio
	\end{itemize}

	\item Revis\~{a}o de probabilidade e estat\'{\i}stica: 
	\begin{itemize} 
		\item Conceitos b\'{a}sicos 
		\item Vari\'{a}veis aleat\'{o}rias 
		\item Distribui\c{c}\~{o}es de probabilidade marginais e condicionadas
	\end{itemize}

	\item Modelos probabil\'{\i}sticos de desempenho:
	\begin{itemize}
	    \item Introdu\c{c}\~{a}o a processos estoc\'{a}sticos: processo Poisson
	     \item Introdu\c{c}\~{a}o \`{a} teoria de filas: filas M/M/1, M/G/1 e outras
	\end{itemize}

	\item Simula\c{c}\~{a}o:
	\begin{itemize}
	     \item Gera\c{c}\~{a}o de vari\'{a}veis aleat\'{o}rias
	     \item Algoritmos para simula\c{c}\~{a}o
	     \item An\'{a}lise dos resultados
	\end{itemize}

	\item Experimenta\c{c}\~{a}o:
	\begin{itemize}
	     \item Caracteriza\c{c}\~{a}o de cargas de trabalho e benchmarking
	     \item Monitora\c{c}\~{a}o
	     \item Planejamento de capacidade
	\end{itemize}
\end{itemize}

{\bf \Large Bibliografia} \\

{\bf \large B\'{a}sica:} \\

   [LZGS] Quantitative Systems Performance: Computer Systems Analysis
          using Queueing Network Models, Edward D. Lazowska, J. Zahorjan, 
	  G. S. Graham, K. C. Sevcik Prentice Hall, 1984. \\
   Dispon\'{\i}vel online aqui: http://www.cs.washington.edu/homes/lazowska/qsp/ \\

   [MeAD] Performance by Design: Computer Capacity Planning by Example, 
	  Daniel A. Menasce, Virgilio A. F. Almeida, Larry W. Dowdy, 
	  Prentice Hall, 2004.  \\
  http://cs.gmu.edu/~menasce/perfbyd/ \\
  
  [Ross1] A Course in Simulation, Sheldon M. Ross, Macmillan Publishing 
	  Company 1990. \\

  [Ross2] A First Course in Probability, Sheldon M. Ross,
	  Prentice Hall, 2002. \\


{\bf \large Auxiliar:} \\
	
   
   [Klei] Queueing  Systems Volume I: Theory, Leonard Kleinrock, Wiley Interscience, 1975. \\

   [Triv] Probability \& Statistics with Reliability, Queueing, and Computer
          Science Applications, Kishor S. Trivedi, 2nd edition,
          John Wiley \& Sons, 2002. \\
   http://www.ee.duke.edu/\~kst/\\

   [Jain] The Art of Computer System Performance Analysis, Raj Jain,
          John Wiley \& Sons, 1991. \\
    http://www.cse.ohio-state.edu/~jain/books/perfbook.htm\\
    
   [Alle] Probability, Statistics, and Queueing Theory with Computer Science
          Applications, A. O. Allen, Second Edition, Academic Press, 1990.
\\

{\bf \Large Tutor de Teoria de Filas} \\

   Este tutorial online cont\'{e}m uma simula\c{c}\~{a}o gr\'{a}fica
de filas M/M/1 que ilustra as chegadas em rajada do processo Poisson e
o impacto no tamanho da fila de espera.  Ele tamb\'{e}m v\'{a}rios
outros exemplos  relacionados aos t\'{o}picos de modelagem tratados
nesta disciplina. \\

{\bf \Large Avalia\c{c}\~{a}o} \\
	
	Participa\c{c}\~{a}o, listas de exerc\'{\i}cios e trabalhos, provas.

\end{document}