Orientador : Celio Cardoso Guimarães / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-17T20:44:03Z (GMT). No. of bitstreams: 1 Toledo_MariaBeatrizFelgarde_M.pdf: 2170689 bytes, checksum: d9a250847867d1fd07881af389dd49b4 (MD5) Previous issue date: 1986 / Resumo: O servidor de arquivos implementado corno trabalho de tese suporta transações atômicas sobre vários arquivos, garantindo a atomicidade da transação em face de quedas do processador ou acessos concorrentes ao mesmo arquivo. A interface oferecida para os clientes é do tipo "servidor universal" e permite acessorandô a páginas de um arquivo / Abstract: Not informed / Mestrado / Mestre em Ciência da Computação

Orientador : Claudio Leonardo Lucchesi / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-18T08:17:24Z (GMT). No. of bitstreams: 1 Saip_HerbertAlexanderBaier_M.pdf: 3945244 bytes, checksum: af2897a4f350aea0252f42478c71f837 (MD5) Previous issue date: 1993 / Resumo: O problema de emparelhamentos em grafos consiste em determinar um conjunto M de arestas do grafo, onde as arestas são disjuntas nos vértices. Em particular, estamos interessados em determinar emparelhamentos máximos, ou seja, de cardinalidade máxima. Existem muitas variações em torno do tema, o grafo pode ser: bipartido ou não, ponderado ou não. Neste trabalho apresentamos as principais técnicas para se projetar os algoritmos mais eficientes que resolvem o problema de emparelhamentos máximos, ponderados ou não, em grafos bipartidos. Também descrevemos os principais algoritmos, seqüenciais e paralelos, que resolvem este problema. O Capítulo 2 apresenta os principais algoritmos para resolver o problema em grafos bipartidos não ponderados: o algoritmo de Hopcroft e Karp, o algoritmo paralelo de Kim e Chwa e o algoritmo paralelo de Goldberg, Plotkin e Vaidya. O Capítulo 3 apresenta os principais algoritmos para resolver o problema em grafos bipartidos ponderados: o algoritmo de Edmonds e Karp, o algoritmo com escalonamento de Gabow, o algoritmo com escalonamento e aproximação de Gabow e Tarjan, o algoritmo paralelo de Goldberg, Plotkin e Vaidya e o algoritmo paralelo de Gabow e Tarjan. O Apêndice A contém uma tabela dos principais algoritmos para resolver o problema no caso em que os grafos não são bipartidos / Abstract: The matching problem in graphs consists in determining a vertex disjoint set M of edges of the graph. In particular, we are interested in finding maximum matchings, that is, matchings of maximum cardinality. There are many variations around this problem, the graph can be: bipartite or general, weighted or not. In this work we present the main techniques to design the most efficient algorithms that solve the problem of maximum matching, weighted or not, in bipartite graphs. We also describe the main algorithms, sequential and parallel, to solve this problem. Chapter 2 contains the most important algorithms to solve the problem for non weighted bipartite graphs, namely, the algorithm of Hopcroft and Karp, the parallel algorithm of Kim and Chwa, and the parallel algorithm of Goldberg, Plotkin and Vaidya. Chapter 3 contains the most important algorithms to solve the problem for weighted bipartite graphs, namely, the algorithm of Edmonds and Katp, the scaling algorithm of Gabow, the scaling and approximation algorithm of Gabow and Tarjan, the parallel algorithm of Goldberg, Plotkin and Vaidya and the parallel algorithm of Gabow and Tarjan. In Appendix A it is given a table which describes briefly the most important algorithms for solving the general problem, in which the graph is not bipartite / Mestrado / Mestre em Ciência da Computação

Orientador: Nelson C. Machado / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-20T02:29:57Z (GMT). No. of bitstreams: 1 Jino_Mario_M.pdf: 3073919 bytes, checksum: c3827bc75fe74b4f0d7ebda110d1dbe0 (MD5) Previous issue date: 1974 / Resumo: Neste trabalho é apresentada a descrição de sistema gerador de compiladores que, a partir da especificação sintática de uma linguagem produz tabelas que dirigirão a análise sintática de programas da linguagem. A análise sintática é efetuada por dois analisadores lixos: um analisador "top down" de descida recursiva para a parte geral da linguagem e um analisador "bottom up" de precedência de operadores o para sub-conjuntos específicos da linguagem. São descritas a especificações aceitas pelo sistema, a construção das tabelas e os analisadores. A especificação semântica deve ser feira pelo próprio usuário do sistema / Abstract: Not informed / Mestrado / Mestre em Engenharia Elétrica

Tese (Doutorado em Engenharia Elétrica) - Centro Universitário FEI, São Bernardo do Campo, 2018

Tese de mestrado integrado. Engenharia Informática e Computação. Universidade do Porto. Faculdade de Engenharia. 2011

Tese de mestrado integrado. Engenharia Mecânica ( Projecto e Construção Mecânica). Faculdade de Engenharia. Universidade do Porto. 2008

Tese de mestrado. Engenharia Electrotécnica e de Computadores (Área de especialização em Sistemas Digitais e Informática Industrial). Faculdade de Engenharia. Universidade do Porto. 2007

Resumo não disponível.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T18:03:47Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T19:29:55Z : No. of bitstreams: 1 50044.pdf: 16051449 bytes, checksum: 8a406f61641ac8378c8c6f737e9b9659 (MD5) / No desenvolvimento do processo de projeto de produto, os dados e informações do projeto de peças podem ser estruturados e sistematizados com auxílio de uma ferramenta computacional. Os elementos funcionais e conceituais que integram a alternativa de solução do produto, alimentam ageração de alternativas de solução na concepção de cada uma das peças que o compõe.

Tese (Doutorado)- Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T05:48:41Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T23:41:14Z : No. of bitstreams: 1 140111.pdf: 6168050 bytes, checksum: c9535fdd5afea16f4e8a40212072887e (MD5)