Orientador: Marco Aurelio Amaral Henriques / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-02T22:49:27Z (GMT). No. of bitstreams: 1 HidalgoCosta_JuanCarlos_M.pdf: 13769528 bytes, checksum: 1d199df760b41c0662ce500698f0b90d (MD5) Previous issue date: 2002 / Resumo: Os computadores conectados pela Internet oferecem em conjunto um grande poder de cômputo, o qual deve continuar crescendo nos próximos anos. Eles podem ser vistos como um Computador Maciçamente Paralelo Virtual com memória distribuída que pode ser usado na resolução de problemas de grande porte. Existem várias propostas que visam tirar proveito da Internet como um computador virtual, utilizando Java como linguagem independente de plataforma. Entretanto, a maior parte destes projetos não trata, ou trata de forma superficial, a necessidade de se ter um sistema de arquivos que garanta a viabilidade e eficiência do processamento paralelo. Este trabalho propõe um sistema de arquivos distribuído baseado em grupos de servidores e voltado a plataformas para o processamento maciçamente paralelo na Internet. São propostos mecanismos para atender os requisitos fundamentais de sistemas deste tipo, eliminando as principais deficiências dos sistemas de arquivos convencionais. São apresentados e discutidos os resultados obtidos nos testes de uma implementação de referência do sistema de arquivos sobre JOIN, uma plataforma de processamento maciçamente paralelo virtual baseada na Internet. Esta implementação se mostrou confiável, robusta e aumentou a versatilidade da plataforma JOIN / Abstract: The total computing power offered by all computers connected to Internet is huge and increasing. Since the birth of the World Wide Web, new proposals have been made on how to take advantage of the enormous computing power represented by these computers. The proposals are based on the availability of WWW browsers to access resources distributed in the network and on the proliferation of Java as a platform independent language. The computers are grouped in a kind of massively parallel virtual computer, aimed at solving large problems. File systems are a necessary - and often forgotten - feature of these virtual machines. File systems for worldwide virtual machines should be efficient, highly available and fault tolerant. The virtual machines proposed so far either have no File System or provide very simple and inefficient solutions. This work proposes a distributed file system based on Groups of Servers, which was implemented and tested on top of JOIN, a platform for massively parallel processing on Internet. The test results showed that the file system is reliable, robust and makes the parallel platform more versatile / Mestrado / Mestre em Engenharia Elétrica

Orientadores : Mario Jino, Marcos Lordello Chaim / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T04:01:44Z (GMT). No. of bitstreams: 1 Carniello_Andreia_M.pdf: 318669 bytes, checksum: 79cdb4d9c99ea9254b12a1bda9ad3810 (MD5) Previous issue date: 2003 / Mestrado

Orientador : Maria Beatriz Felgar de Toledo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T07:39:05Z (GMT). No. of bitstreams: 1 Hervella_Alvaro_M.pdf: 3926402 bytes, checksum: 06b360ca5dd522549bde3f1ceed97800 (MD5) Previous issue date: 2002 / Resumo: O Serviço de Transações Cooperativas desenvolvido nessa tese visa atender os requisitos de aplicações cooperativas. Para isso, oferece novos modos de tranca mais flexíveis que melhoram a visibilidade entre usuários que trabalham em colaboração, permite a estruturação de aplicações em uma hierarquia de transações que modelam a hierarquia de grupos de trabalho e relaxa a propriedade de atomicidade salvando de forma persistente estados das transações. Esse Serviço é oferecido através de objetos CORBA e foi implementado na linguagem Java utilizando OrbixWeb 3.1 como a plataforma de comunicação / Abstract: The Cooperative Transaction Service developed in this thesis aims at meeting the requirements of cooperative applications. For that, it provides new lock modes to increase the visibility between users that work in collaboration; it allows application structuring as a hierarchy of transactions which models the hierarchy of work groups; and finally it relaxes the atomicity property saving transaction state persistently. This Service is provided by CORBA objects and was implemented in Java using OrbixWeb 3.1 as the underlying communication platform / Mestrado / Mestre em Ciência da Computação

Orientador: Eleri Cardozo / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T18:38:05Z (GMT). No. of bitstreams: 1 Miglinski_CarlosAlexandre_M.pdf: 818232 bytes, checksum: f5bed20dcfe6418c2f06820453b48809 (MD5) Previous issue date: 2003 / Mestrado

Orientador: Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T21:34:50Z (GMT). No. of bitstreams: 1 Cardoso_VirginiaMara_M.pdf: 6056358 bytes, checksum: b5db20d51d5add0af07f59317c42809a (MD5) Previous issue date: 2004 / Resumo: Regras ativas definem ações sobre um banco de dados ativo, acionadas sem a intervenção do usuário; são utilizadas para a manutenção de bancos de dados bem como para controlar diversas outras atividades. Existem poucos trabalhos enfocando o teste de regras e os que o fazem não exploram a linguagem SQL, uma das linguagens mais utilizadas em bancos de dados relacionais. Propõe-se neste trabalho uma ferramenta de suporte ao teste de unidade de regras ativas ¿ a ferramenta ART-TOOL (Active Rule Testing Tool). Técnicas de teste estrutural de software foram adaptadas para apoiar a aplicação de critérios baseados em análise de fluxo de dados ao teste de regras ativas. O suporte da ART-TOOL dá-se por meio de análises estática e dinâmica de regras ativas envolvendo: determinação dos elementos requeridos pelos critérios; a instrumentação do código fonte da regra; a monitoração da execução da regra instrumentada; e a análise de cobertura dos critérios. Um exemplo mostra a aplicação da ferramenta no teste de uma regra ativa. Mostra-se também, no teste de 15 regras ativas, que a abordagem contribui para a revelação de defeitos / Abstract: Active rules define actions on active databases, activated without the intervention of the user; they are used for the maintenance of a database as well as for controlling diverse other activities. There is few work focusing on the test of rules and the existing ones do not explore the SQL language, one of the most used languages in relational databases. A tool is proposed to support the unit test of active rules - the ART-TOOL (Active Rule Testing Tool). Structural software testing techniques are adapted to support the application of criteria based on data flow analysis to the test of active rules. ARTTOOL provides testing support by means of static and dynamic analyses of active rules involving: determination of the required elements for the criteria; instrumentation of the source code of the rule; execution of the instrumented rule; and coverage analysis of the criteria. An example shows the application of the tool in the test of an active rule. It is also shown, through the test of 15 active rules, that the approach contributes to revealing faults in rules / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T00:33:45Z (GMT). No. of bitstreams: 1 Chung_StellaWingKwan_M.pdf: 1574709 bytes, checksum: 0da0dcfc25970e0c769f10026ff0c99f (MD5) Previous issue date: 2004 / Resumo: Este trabalho apresenta propostas de mobilidade para os protocolos H.323 e SIP. Para o protocolo H.323, são desenvolvidos sistemas com mobilidade intra-dominio, inter-dominios e inter-dominios em conjunto com os novos conceitos do protocolo H.510. Estas propostas se basearam na solução de mobilidade desenvolvida por Liao utilizando a expansão da conferencia ad hoc multiponto para realizar roaming e handoff em um estabelecimento de chamada entre terminais moveis H.323. Para o SIP, é desenvolvido o sistema com mobilidade inter-dominios para o estabelecimento de sess~ao entre terminais moveis SIP. Esta proposta se baseia na solução de mobilidade desenvolvida por Chen, Moh e Berquin utilizando a conferencia multiponto com a presença da MCU para realizar roaming e handoff. Todos estes sistemas foram especificados utilizando a linguagem de especificação formal SDL orientada a objeto a partir da ferramenta SDL TAU Suite. Esta ferramenta permite simular os sistemas a partir dos diagramas em MSC e validar os sistemas para detecção e correção de eventuais erros de logica e de especificação / Abstract: This work describes some proposals for mobility extension to H.323 and SIP protocols. The new proposals for H.323 involve intrazone and interzone mobility, and interzone mobility using resources with new entities, signallings and functions from H.510. Based on the mobility solution developed by Liao, these new systems have demonstrated how H.323 could be extended in order to offer mobility using ad hoc multipoint conference for roaming and handoff during a call establishment between H.323 mobile terminals. The other proposal is a system with interzone mobility using multipoint conference with MCU for roaming and handoff during a call establishment between SIP mobile terminals. This system is based on Chen, Moh and Berquin mobility solution. All these systems were specified using the SDL object-oriented formal language with SDL TAU Suite tool. This tool allows the simulation of the systems with MSC diagrams and the validation of the systems by detecting and correcting logical and specification errors / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Orientador: Afira Vianna Ripper / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-07-24T16:38:15Z (GMT). No. of bitstreams: 1 Dias_AnaliceGomesdeLima_M.pdf: 882719 bytes, checksum: daecca97e3fa89dec5735c78edb8c713 (MD5) Previous issue date: 1998 / Mestrado

Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-25T11:13:00Z (GMT). No. of bitstreams: 1 Barreto_MatheusdeCarvalho_M.pdf: 5411951 bytes, checksum: 03617380c5b23608e58b09d83a021a4f (MD5) Previous issue date: 1999 / Resumo: Nessa tese são especificadas formalmente em SDL (Specification and Description Language) e simuladas através do SDT1 (SDL Design Tool), as sinalizações de Registro (Registration) e Conexão (Call Setup) de um terminal em uma rede ATM sem fio - WATM. Na especificação da sinalização de Registro, é proposta a inclusão de um sinal, Updated, cuja função é atualizar os dados de registro do terminal, quando ocorrer dele ser registrado inicialmente como visitante, e ter seu registro modificado para seu próprio domínio. Para a sinalização de Conexão é proposta uma modificação na seqüência onde é verificada a aceitação da qualidade de serviço (QoS) da conexão. Essa modificação visa diminuir o fluxo de mensagens entre os componentes da rede quando o pedido de conexão é recusado devido ao QoS. As especificações propostas foram simuladas com o objetivo de validação. Foram simuladas várias configurações para a rede WATM. Os resultados das simulações são apresentados em gráficos MSC (Message Sequence Chart) onde são mostradas as mensagens trocadas entre os elementos da rede, para cada uma das sinalizações especificadas. São também mostrados exemplos de falhas de especificação detectadas durante as simulações e suas correções / Abstract: In this thesis, the Registration and Call Setup signallings of a terminal in a wireless ATM network - WATM are formally specified in SDL (Specification and Description Language) and simulated using the SDT1 (SDL Design Tool). During the Registration signalling specification, the insertion of a signal, Updated, is proposed, which has the function of updating the terminal registration data, whenever the terminal is initially registered as a visitor, and has its register data modified to its own domain. To the Call Setup signalling a modification on the sequence is proposed, where the acceptance of the quality of service (QoS) of the connection is verified. This modification aims at decreasing the messages flow among the components of the network when the connection request is denied due to the QoS. For the purpose of validation, the specifications proposed were simulated. Many configurations of the WATM network were simulated. The simulations results were presented in MSC (Message Sequence Chart) graphics, where the messages swapped among the network devices, for each specified signalling, are shown. Some examples of specifications faults detected during the simulations as well as their corrections were also shown / Mestrado / Mestre em Engenharia Elétrica

Orientador: Rogerio Drummond Burnier Pessoa de Mello Filho / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T04:11:54Z (GMT). No. of bitstreams: 1 Rodrigues_DanieleCristinaUchoaMaia_M.pdf: 2910756 bytes, checksum: 82d0095e235f3a455ade63719b8a5de5 (MD5) Previous issue date: 2004 / Resumo: O crescimento da produção de software ao longo das últimas décadas tem exigido que a indústria de desenvolvimento seja capaz de produzir sistemas de forma rápida, com alta qualidade e facilidade para alteração de requisitos, fase em que se pode gastar muito tempo e esforço se o sistema não estiver preparado para estas alterações. Neste contexto, os padrões de arquitetura e projeto surgem como soluções para problemas recorrentes, com o objetivo de diminuir 'o esforço gasto por desenvolvedores para solucionar problemas durante a fase de projeto. Estes padrões, quando bem utilizados, podem também facilitar a comunicação e entendimento da equipe de desenvolvimento do sistema, facilitar a alteração de requisitos projetando sistemas preparados para alterações futuras, e diminuir o tempo de desenvolvimento. Este trabalho tem como objetivo mostrar situações práticas de utilização de padrões de arquitetura e projeto na reestruturação de um sistema real, e os benefícios desta utilização / Abstract: The growth of software production in the last decades has demanded from development industry the capacity of producing systems in a small period, but with high quality and easy ways for changing requests, period in development that can take a long time and effort, if the system is not prepared to be changed. In this context, architecture and design patterns come with solutions to recurrent problems, with the goal of decrease the effort spent by developers to solve project problems. These patterns, if well used, can make the communication and understanding of the development team easier, can make the request changes easier by designing systems prepared for future changes, and decrease the development time. This work has the goal to present the practical use of architecture and design patterns in the process of refactoring a real system, and the benefits of using them / Mestrado / Engenharia de Software / Mestre Profissional em Computação

Orientadores: Paulo Cesar Centoducatte, Guido Costa Souza de Araujo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T08:52:36Z (GMT). No. of bitstreams: 1 Felicio_CristianoLino_M.pdf: 971885 bytes, checksum: 8ba5bf45f0d0284fcc7671ce0be406f7 (MD5) Previous issue date: 2005 / Resumo: Devido ao aumento da complexidade dos novos processadores, especialmente processadores DSPs, a capacidade dos compiladores de gerar um código altamente otimizado para as novas arquiteturas de computadores é cada vez mais desafiador. O compilador Xingó tem como objetivos possibilitar pesquisas em otimização e geração de código para novas arquiteturas. Para permitir tais pesquisas, é necessário que o compilador possua uma infra-estrutura capaz de representar, de uma maneira simples e correta, o código nas diversas fases de compilação. Este trabalho apresenta as principais representações de programa do compilador Xingó, bem como os módulos que fazem a tradução de um programa, em uma representação origem, para um programa em uma representação destino (intermediária ou final). Estes móulos compõem o front-end do compilador, que leva à Representação Intermediária Xingó, e parte do back-end, com destaque para a Infra-Estrutura de Geração de Código do Xingó. A Representação Intermediária do Xingó é de fácil manipulação, independente de máquina e apresenta uma sintaxe muito próxima à da linguagem C, por isso tem permitido otimizações independente de máaquina e pode ser traduzida em código C compilável. Já a Infra-Estrutura de Geração de Código apresenta facilidades no desenvolvimento de novos geradores de código, principalmente porque os detalhes da máquina alvo são externos ao compilador, sendo incluídos através de parâmetros configuráeis e módulos bem definidos. Os testes realizados até o presente momento validam parte da Infra-Estrutura de Geração de Código e têm demonstrado uma boa qualidade do Código Intermediário Xingó. Os testes mostram que o Código Intermediário estão sendo corretamente representado para todos os programas do benchmark NullStone (6611 programas) e para uma quantidade razoável de programas dos benchmarks MediaBench e SPEC. Os resultados alcançados até o momento trazem novas oportunidades em pesquisas na área de compiladores, especialmente otimização e geração de código / Abstract: Due to the increasing complexity of the new processors, mainly DSPs processors, the capacity of generating highly optimized code for the new computer architectures by the compilers is increasingly motivating. The Xingó compiler has as goal allow research in code optimization and code generation for new architectures. In order to enable such researches, is necessary to the compiler to provide an infrastructure capable of representing, in an easy and correct form, the code in the several compiling phases. This work presents the main program representations of the Xingó compiler, and the modules that perform the conversion of a program, in a base representation, to a program in a destination representation (intermediate or ultimate). These modules constitute the front-end of the compiler, that generates the Xingó Intermediate Representation, and share of the back-end, with highlight to the Xingó Code Generation Infrastructure. The Xingó Intermediate Representation is easy to use, it is machine independent and has a very approximate syntax of the C language, thereby it has enabled to perform machine independent optimizations and is able to be converted to C Code. Upon the Code Generation Infrastructure, it provides facilities to development of new code generators, mainly because the details of the target machine are outside to the compiler, been included across configurable parameters and well-defined modules.The tests completed up to now validate piece of the Code Generation Infrastructure and reveal good quality of the Xingó Intermediate Code. The testes show that the Intermediate Code is been correctly generated to any programs of the NullStone benchmark (6611 programs) and also to a reasonable quantity of programs of the MediaBench and SPEC benchmarks. The test results acquired up to now conduce to new opportunities for researches on areas such as optimization and code generation / Mestrado / Ciência da Computação / Mestre em Ciência da Computação