Solução exata de problemas de escalonamento determinísticos por meio de verificação simbólica de modelos

Exportado OPUSMade available in DSpace on 2019-08-12T16:34:24Z (GMT). No. of bitstreams: 1 autran_macedo.pdf: 781994 bytes, checksum: 550cdd5a6de27f08886ec5dad8360a7f (MD5) Previous issue date: 30Problemas de Escalonamento (scheduling) ocorrem em ambientes de escassez de recursos. O problema consiste em determinar um compartilhamento dos recursos entre as tarefas que necessitam usá-los. Esse compartilhamento, ou escalonamento, consiste de uma seqüência de execução das máquinas ao longo do tempo, que deve estar em conformidade com um critério de otimização. Por sua vez, verificação simbólica de Modelos (VSM) é uma técnica de verificação formal proposta originalmente para sistemas concorrentes, que podem ser modelados por um conjunto finito de estados. VSM é composto de um modelo de representação, uma lógica temporal e algoritmos de verificação. Uma vez modelado um sistema em VSM podemos verificar se o modelo atende certas propriedades. Essa verificação ocorre de modo automático.Tradicionalmente, solução exata para Problemas de Escalonamento é obtida por meio de uma técnica conhecida como Branch-and-Bound. A tese apresenta uma abordagem de solução exata por meio de VSM enfocando: (a) um arcabouço para problemas de escalonamento, mais especificamente problemasJob-Shop; (b) resolução de várias instâncias de Job-Shop; (c) novos algoritmos de verificação queestendem a versatilidade de VSM; (d) a aplicação de VSM ao problema de integração entre o planejamento dos níveis tático e operacional

Experimental Analysis of a Parallel. . .

This paper presents experiments performed with an implementation of a quicksort-based parallel indexing algorithm. Besides the expected reduction in execution time, it was observed that the word frequency distribution of the input textual database has a strong influence on performance. Communication and computational load balances are achieved by processing the same quantity of text on each processor. This e ectively occurs due to the auto-similar feature of texts, verified experimentally in this work. Also, as seen by the experiments, the auto-similarity of the word frequency distribution implies that this distribution is independent of the text size. In terms of implementation, the knowledge a priori of this word frequency may improve the indexing time by eliminating certain parts of the algorithm

Experimental Analysis of a Parallel Quicksort-Based Algorithm for Suffix Array Generation

. This paper presents experiments performed with an implementation of a quicksort-based parallel indexing algorithm. Besides the expected reduction in execution time, it was observed that the word frequency distribution of the input textual database has a strong influence on performance. Communication and computational load balances are achieved by processing the same quantity of text on each processor. This effectively occurs due to the auto-similar feature of texts, verified experimentally in this work. Also, as seen by the experiments, the auto-similarity of the word frequency distribution implies that this distribution is independent of the text size. In terms of implementation, the knowledge a priori of this word frequency may improve the indexing time by eliminating certain parts of the algorithm. Keywords: Parallel Processing, Information Retrieval, Index Generation, Auto-Similarity, Message Passing. 1 Introduction Information retrieval is a research area of growing interest by..