Pedro Antônio Madeira de Campos Velho
2006A modelagem analítica pode ser utilizada para prever desempenho, detectar deficiências e avaliar estratégias para melhorar sistemas. No contexto da modelagem computacional, diversos formalismos para a modelagem analítica estão se popularizando devido ao fato de proverem alto-nível de abstração e modularidade. No entanto, para inferir estimativas de desempenho destes modelos, é necessário resolver um sistema de equações. Em modelos analíticos estruturados, tais sistemas não se apresentam na forma tradicional, Ax = b, pois a matriz de coeficientes (A) é trocada por uma expressão algébrica (Q), denominada Descritor Markoviano (ou só descritor). Logo, a multiplicação convencional, Ax é substituída pela multiplicação vetor-descritor (MVD), Qx. Dois algoritmos foram propostos recentemente para implementar a MVD: shuffle e slice. Ambos apresentam um alto custo computacional, que eleva drasticamente o tempo necessário para resolver modelos complexos. O objetivo do presente trabalho está relacionado com a utilização de técnicas de alto desempenho para propor versões mais rápidas, tanto para o algoritmo shuffle quanto para o slice.