A exploração do paralelismo na programação em lógica e considerada uma alternativa para simplificação da programação de maquinas paralelas e para aumento do desempenho de programas em lógica. Desta forma, a integração da programação em lógica e sistemas paralelos tornou-se nos últimos anos um centro de atenções da comunidade ciêntifica. Dentre os problemas que devem ser solucionados para exploração adequada do paralelismo, encontra-se a analise de granulosidade. A análise de granulosidade determina o tamanho dos grãos, ou seja, a complexidade dos módulos que devendo ser executados seqüencialmente num único processador. Basicamente, esta analise consiste de uma refinada identificação dos grãos, visando a máxima eficiência na exploração do paralelismo. Neste sentido, devem ser realizadas considerações sobre dependências, complexidade dos grãos e custos envolvidos na paralelização. Recentemente, a analise de granulosidade na programação em lógica tem recebido atenção especial por parte dos pesquisadores. Os grãos podem ser identificados pelo programador através de primitivas de programação ou podem ser detectados automaticamente pelo sistema paralelo. Na programação em lógica, a exploração automática do paralelismo é estimulada, devido ao paralelismo implícito existente na avaliação das expressões lógicas. Além disso, a programação em lógica permite uma clara distinção entre a semântica e o controle da linguagem, proporcionando uma abordagem distinta entre a descrição do problema e o caminho para obtenção das soluções. A detecção automática do paralelismo permite o aproveitamento de programas já existentes, alem de liberar o programador do encargo de paralelizar o problema. Este trabalho dedica-se ao estudo da analise automática de granulosidade na programação em lógica. O texto propõe um modelo para geração de informações de granulosidade, denominado GRANLOG (GRanularty ANalyzer for LOGic Programming). O GRANLOG realiza uma analise estática de um programa em 16aica. Dessa analise resulta o programa granulado, ou seja, o programa original acrescido da anotação de granulosidade. Esta anotação contem diversas informações que contribuem de forma significativa com a exploração adequada do paralelismo na programação em lógica. Durante o desenvolvimento do GRANLOG foram exploradas diversas áreas de pesquisa da programação em lógica, dentre as quais destacam-se: analise de modos, analise de tipos, análise de medidas para mensuração do tamanho de termos, interpretação abstrata, analise de dependências e analise de complexidade. A integração destes t6picos torna o GRANLOG uma rica fonte de pesquisa. Além disso, a organização modular da proposta permite o aprimoramento independente de suas partes, tornando a estrutura do modelo uma base para o desenvolvimento de novos trabalhos. Além do modelo, o texto descreve a implementação de um protótipo e propõe duas aplicações para as informações de granulosidade, ou seja, auxilio a decisões de escalonamento e simulação da execução de programas. O texto apresenta ainda uma proposta para integração do GRANLOG a um modelo para execução paralela de programas em lógica, denominado OPERA. O OPERA dedica-se a exploração do paralelismo na programação em lógica e possui atualmente um protótipo para execução paralela de programas em lógica em redes de computadores. Os bons resultados obtidos com a integração OPERA-GRANLOG demonstram a relevância das informações geradas pelo modelo proposto neste trabalho. Encontra-se ainda neste texto uma proposta para inclusão do GRANLOG numa interface gráfica, denominada XOPERA. Esta interface permite a execução do protótipo OPERA e, a partir deste trabalho, gerencia também o protótipo GRANLOG. A inclusão da gerencia do GRANLOG na interface XOPERA, contribui de forma substancial para a integração OPERA-GRANLOG. / The exploitation of parallelism in logic programming is considered an alternative for simplifying the task of programming parallel machines. Also, it provides a way to increase the performance of logic programs. Because of this, integrating parallel systems with parallel programmin g has been a topic of much interest in the scientific comunity, in the last years. Among the problems that must be solved for the adequate exploitation of parallelism, there is the granularity analysis. Granularity analysis determines the size of the grains, that is, the complexity of the modules that must be sequentially executed in a single processor. Basically, this analysis consists of a refined identification of the grains, aiming the maximum efficiency in the parallelism exploitation. In this sense, considerations must be taken about dependencies, grain complexity and costs involved in the parallelizing process. Recently, many researchers have given special attention to the granularity analysis of logic programming. The grains may be identified by the programmer via programming primitives, or they may be automatically detected by the parallel system. In logic programming, the automatic exploitation of parallelism is stimulated, because of the implicit parallelism that exists in the evaluation of the logic expressions. Besides, logic programming allows a clear distinction between the semantics and the control of the language, providing a distinct approach between the problem description and the way to obtain the results. The automatic detection of parallelism permits the utilization of already written programs, also freeing the programmer from parallelizing the program by hand. This work is dedicated to the study of automatic granularity analysis in logic programming. The text proposes a model for generating granularity informations, called GRANLOG (GRanularity Analyzer for LOGic Programming). GRANLOG performs a static analysis of a logic program. From this analysis, it results a granulated program, that is, the original program increased by the granularity annotation. This annotation has several informations that contribute in a significant way to the adequate exploitation of parallelism in logic programming. During the development of GRANLOG, several research areas have been explored, namely, mode analysis, type analysis, measure analysis for measuring the size of terms, abstract interpretation, dependencies analysis and complexity analysis. The integration of these topics makes GRANLOG a good source for researchs. Besides, the modular organization proposed permits the independent improvement of its parts, making of the model structure, a base for the development of new works. Besides the model, the text describes the implementation of a prototype and proposes two applications for the granularity informations, namely, help in scheduling decisions and program execution simulation. It also presents a proposal for integrating GRANLOG to a parallel logic execution model for logic programming, called OPERA. OPERA is dedicated to the exploitation of parallelism in logic programming and, at the present time, has a prototype for parallel execution of logic programming in computer networks. The good results obtained by integrating OPERA and GRANLOG show the importance of the information generated by the model proposed in this work. There is, also, in this work, a proposal for including GRANLOG in a graphical interface, called XOPERA. This interface allows the execution of the OPERA prototype and, from now on, also manaaes the GRANLOG prototype. The inclusion of GRANLOG in the XOPERA interfaces substantially contributes to the OPERAGRANLOG intearation.

A exploração do paralelismo na programação em lógica e considerada uma alternativa para simplificação da programação de maquinas paralelas e para aumento do desempenho de programas em lógica. Desta forma, a integração da programação em lógica e sistemas paralelos tornou-se nos últimos anos um centro de atenções da comunidade ciêntifica. Dentre os problemas que devem ser solucionados para exploração adequada do paralelismo, encontra-se a analise de granulosidade. A análise de granulosidade determina o tamanho dos grãos, ou seja, a complexidade dos módulos que devendo ser executados seqüencialmente num único processador. Basicamente, esta analise consiste de uma refinada identificação dos grãos, visando a máxima eficiência na exploração do paralelismo. Neste sentido, devem ser realizadas considerações sobre dependências, complexidade dos grãos e custos envolvidos na paralelização. Recentemente, a analise de granulosidade na programação em lógica tem recebido atenção especial por parte dos pesquisadores. Os grãos podem ser identificados pelo programador através de primitivas de programação ou podem ser detectados automaticamente pelo sistema paralelo. Na programação em lógica, a exploração automática do paralelismo é estimulada, devido ao paralelismo implícito existente na avaliação das expressões lógicas. Além disso, a programação em lógica permite uma clara distinção entre a semântica e o controle da linguagem, proporcionando uma abordagem distinta entre a descrição do problema e o caminho para obtenção das soluções. A detecção automática do paralelismo permite o aproveitamento de programas já existentes, alem de liberar o programador do encargo de paralelizar o problema. Este trabalho dedica-se ao estudo da analise automática de granulosidade na programação em lógica. O texto propõe um modelo para geração de informações de granulosidade, denominado GRANLOG (GRanularty ANalyzer for LOGic Programming). O GRANLOG realiza uma analise estática de um programa em 16aica. Dessa analise resulta o programa granulado, ou seja, o programa original acrescido da anotação de granulosidade. Esta anotação contem diversas informações que contribuem de forma significativa com a exploração adequada do paralelismo na programação em lógica. Durante o desenvolvimento do GRANLOG foram exploradas diversas áreas de pesquisa da programação em lógica, dentre as quais destacam-se: analise de modos, analise de tipos, análise de medidas para mensuração do tamanho de termos, interpretação abstrata, analise de dependências e analise de complexidade. A integração destes t6picos torna o GRANLOG uma rica fonte de pesquisa. Além disso, a organização modular da proposta permite o aprimoramento independente de suas partes, tornando a estrutura do modelo uma base para o desenvolvimento de novos trabalhos. Além do modelo, o texto descreve a implementação de um protótipo e propõe duas aplicações para as informações de granulosidade, ou seja, auxilio a decisões de escalonamento e simulação da execução de programas. O texto apresenta ainda uma proposta para integração do GRANLOG a um modelo para execução paralela de programas em lógica, denominado OPERA. O OPERA dedica-se a exploração do paralelismo na programação em lógica e possui atualmente um protótipo para execução paralela de programas em lógica em redes de computadores. Os bons resultados obtidos com a integração OPERA-GRANLOG demonstram a relevância das informações geradas pelo modelo proposto neste trabalho. Encontra-se ainda neste texto uma proposta para inclusão do GRANLOG numa interface gráfica, denominada XOPERA. Esta interface permite a execução do protótipo OPERA e, a partir deste trabalho, gerencia também o protótipo GRANLOG. A inclusão da gerencia do GRANLOG na interface XOPERA, contribui de forma substancial para a integração OPERA-GRANLOG. / The exploitation of parallelism in logic programming is considered an alternative for simplifying the task of programming parallel machines. Also, it provides a way to increase the performance of logic programs. Because of this, integrating parallel systems with parallel programmin g has been a topic of much interest in the scientific comunity, in the last years. Among the problems that must be solved for the adequate exploitation of parallelism, there is the granularity analysis. Granularity analysis determines the size of the grains, that is, the complexity of the modules that must be sequentially executed in a single processor. Basically, this analysis consists of a refined identification of the grains, aiming the maximum efficiency in the parallelism exploitation. In this sense, considerations must be taken about dependencies, grain complexity and costs involved in the parallelizing process. Recently, many researchers have given special attention to the granularity analysis of logic programming. The grains may be identified by the programmer via programming primitives, or they may be automatically detected by the parallel system. In logic programming, the automatic exploitation of parallelism is stimulated, because of the implicit parallelism that exists in the evaluation of the logic expressions. Besides, logic programming allows a clear distinction between the semantics and the control of the language, providing a distinct approach between the problem description and the way to obtain the results. The automatic detection of parallelism permits the utilization of already written programs, also freeing the programmer from parallelizing the program by hand. This work is dedicated to the study of automatic granularity analysis in logic programming. The text proposes a model for generating granularity informations, called GRANLOG (GRanularity Analyzer for LOGic Programming). GRANLOG performs a static analysis of a logic program. From this analysis, it results a granulated program, that is, the original program increased by the granularity annotation. This annotation has several informations that contribute in a significant way to the adequate exploitation of parallelism in logic programming. During the development of GRANLOG, several research areas have been explored, namely, mode analysis, type analysis, measure analysis for measuring the size of terms, abstract interpretation, dependencies analysis and complexity analysis. The integration of these topics makes GRANLOG a good source for researchs. Besides, the modular organization proposed permits the independent improvement of its parts, making of the model structure, a base for the development of new works. Besides the model, the text describes the implementation of a prototype and proposes two applications for the granularity informations, namely, help in scheduling decisions and program execution simulation. It also presents a proposal for integrating GRANLOG to a parallel logic execution model for logic programming, called OPERA. OPERA is dedicated to the exploitation of parallelism in logic programming and, at the present time, has a prototype for parallel execution of logic programming in computer networks. The good results obtained by integrating OPERA and GRANLOG show the importance of the information generated by the model proposed in this work. There is, also, in this work, a proposal for including GRANLOG in a graphical interface, called XOPERA. This interface allows the execution of the OPERA prototype and, from now on, also manaaes the GRANLOG prototype. The inclusion of GRANLOG in the XOPERA interfaces substantially contributes to the OPERAGRANLOG intearation.

Neste trabalho foram realizadas medidas de transporte em campos magnéticos aplicados no intervalo 0 H 18 T em supercondutores granulares Sm2-xCexCuO4-y, x = 0.17 e 0.18, constituídos de ilhas supercondutoras embutidas em uma matriz isolante e pertencentes a uma transição do tipo supercondutor-isolante (SI). Amostras que apresentam coerência de fase supercondutora via acoplamento Josephson em temperaturas abaixo de TcJ mostraram ser sensíveis a aplicação de baixos campos magnéticos (0 < H 200 Oe) e os resultados de magneto-resistência R(T,H) permitiram concluir que 0 movimento de vórtices de Josephson e governado por uma energia de ativação intergranular do tipo UJ(T,H) (l-T/TeJ)(H-o.6). Foi ainda observado que a supressão da fase do parâmetro de ordem supercondutor ocorre preferencialmente nos contornos de grão nesses supercondutores granulares. Nas amostras constituídas de ilhas supercondutoras isoladas e pertencentes ao lado dielétrico de uma transição SI, observou-se urn aumento abrupto na resistência elétrica R(T,H = 0) abaixo da temperatura critica supercondutora Tci. A aplicação de campos magnéticos intensos promove a supressão da amplitude do parâmetro de ordem supercondutor e resulta em uma magneto-resistência negativa em T < Tci. Uma análise quantitativa do excesso de resistência elétrica R em T < Tci revela que em 0.6 (T/Tci) 1, R (T/Tci)-4 como previsto pela teoria semi-fenomenológica de dois-fluidos. Em temperaturas (T/Tci) < 0.6, as medidas de magneto-transporte mostraram ser sensíveis a alterações provocadas pela aplicação de campo magnético na rede de vórtices das ilhas supercondutoras. Estas alterações são discutidas dentro do cenário de óxidos supercondutores que apresentam alta anisotropia. / We have performed transport measurements in applied magnetic fields as high as 18 T on granular superconductors of Sm2-xCexCuO4-y; x = 0.17, 0.18. These materials are comprised of small superconducting islands embedeed in a non-superconducting host and belong to a superconductorinsulator transition (SI). Transport properties of samples which show longrange phase ordering through Josephson coupling below a given temperature Tci are very sensitive to applied magnetic fields as low as 200 Oe. The results of magnetoresistance R(T,H) enabled us to conclude that dissipation due to Josephson flux flow is governed by an intergranular activation energy given by UJ(T,H) (1-T/Tcj)(H-0,6). We have also observed that the phase of the superconducting order parameter is depressed at intergranular regions or more appropriately at the grain boundaries in these granular materials. In samples that superconducting islands are essentially isolated, an abrupt increase of the electrical resistance R(T,H) below the superconducting transition temperature Tci occurs. The application of high magnetic fields suppresses the amplitude of the superconducting order parameter and an appreciable magnetoresistance below Tci is observed. A quantitative analysis of the excess of the electrical resistance R below Tci reveals that R (T/Tci)-4 ; 0.6 (T/Tci) 1; as predicted by the semi-phenomenological two-fluid theory of superconductivity. At temperatures (T/Tci) < 0.6 and under high applied magnetic fields, transport measurements showed to be very sensitive to changes in the dissipation of the vortex lattice of the isolated superconducting islands. These changes are discussed within a scenario of high anisotropic layered superconductors.

Este trabalho reporta a influencia da granularidade sobre a resistencia transversal em funcao da temperatura, RXY(T), medidas em amostras policristalinas dos sistemas supercondutores Bi2Sr2Ca-1-xPrxCu2O8+??e YBa2Cu3O7-?, e em monocristais de composicao Li0,9Mo6O17. Foi observada tensao nao nula na voltagem Hall, em campo magnetico aplicado nulo, nas proximidades da temperatura de transicao supercondutora (TC), para os tres sistemas em questao. A tensao Hall a campo zero se manifesta atraves de picos abaixo de TC, que esta relacionada com a componente longitudinal da resistencia e, por consequencia, com o carater granular das amostras. E apresentada tambem a existencia de uma assimetria no sinal Hall em campo magnetico aplicado. Estes comportamentos sao discutidos baseado no movimento de vortices e anti-vortices, de Josephson e Abrikosov no interior das amostras. Para monocristais de Li0,9Mo6O17 tambem foi observado efeito Hall a campo magnetico nulo. Alem do mais, uma nova relacao de anisotropia confirma o carater qause-unidmensional deste composto, mas mostra uma anisotropia menor do que aquela reportada previamente. Foi observado tambem que este material apresenta transicoes do tipo supercondutor-isolante (SIT) e metal- isolante (MIT) em temperaturas proximas ao zero absoluto. / This work reports the influence of the granularity on the transverse resistance as a function of temperature, RXY(T), in Bi2Sr2Ca1-xPrxCu2O8+??and YBa2Cu3O7-??polycrystalline samples, and Li0.9Mo6O17 single crystals. The effects of warming rate, temperature, applied magnetic field, and electrical current on the Hall resistance are reported. At zero magnetic field two peaks are observed in RXY(T) curves for the three compounds. The peaks are related to the double superconducting transition in the longitudinal component RXX(T) curves. In the superconducting and normal states no transverse voltage has been detected at zero magnetic field, as expected. The results are discussed within the framework of the motion of Abrikosov and Josephson vortices and anti-vortices. A new scaling relation between transverse and longitudinal voltages given by RXY ~ dRXX/dT has been confirmed. Regarding Li0.9Mo6O17 single crystals, Hall resistance at zero applied magnetic field was also observed. Furthermore, the results confirm the quasi-unidimensionality but show smaller anisotropic ratio than previously reported. Simultaneously, the result reveals that the Li0.9Mo6O17 is the first bulk superconducting compound exhibiting superconductor-insulator-transition (SIT) and metal-insulator-transition (MIT) behaviors.

Este trabalho reporta a influencia da granularidade sobre a resistencia transversal em funcao da temperatura, RXY(T), medidas em amostras policristalinas dos sistemas supercondutores Bi2Sr2Ca-1-xPrxCu2O8+??e YBa2Cu3O7-?, e em monocristais de composicao Li0,9Mo6O17. Foi observada tensao nao nula na voltagem Hall, em campo magnetico aplicado nulo, nas proximidades da temperatura de transicao supercondutora (TC), para os tres sistemas em questao. A tensao Hall a campo zero se manifesta atraves de picos abaixo de TC, que esta relacionada com a componente longitudinal da resistencia e, por consequencia, com o carater granular das amostras. E apresentada tambem a existencia de uma assimetria no sinal Hall em campo magnetico aplicado. Estes comportamentos sao discutidos baseado no movimento de vortices e anti-vortices, de Josephson e Abrikosov no interior das amostras. Para monocristais de Li0,9Mo6O17 tambem foi observado efeito Hall a campo magnetico nulo. Alem do mais, uma nova relacao de anisotropia confirma o carater qause-unidmensional deste composto, mas mostra uma anisotropia menor do que aquela reportada previamente. Foi observado tambem que este material apresenta transicoes do tipo supercondutor-isolante (SIT) e metal- isolante (MIT) em temperaturas proximas ao zero absoluto. / This work reports the influence of the granularity on the transverse resistance as a function of temperature, RXY(T), in Bi2Sr2Ca1-xPrxCu2O8+??and YBa2Cu3O7-??polycrystalline samples, and Li0.9Mo6O17 single crystals. The effects of warming rate, temperature, applied magnetic field, and electrical current on the Hall resistance are reported. At zero magnetic field two peaks are observed in RXY(T) curves for the three compounds. The peaks are related to the double superconducting transition in the longitudinal component RXX(T) curves. In the superconducting and normal states no transverse voltage has been detected at zero magnetic field, as expected. The results are discussed within the framework of the motion of Abrikosov and Josephson vortices and anti-vortices. A new scaling relation between transverse and longitudinal voltages given by RXY ~ dRXX/dT has been confirmed. Regarding Li0.9Mo6O17 single crystals, Hall resistance at zero applied magnetic field was also observed. Furthermore, the results confirm the quasi-unidimensionality but show smaller anisotropic ratio than previously reported. Simultaneously, the result reveals that the Li0.9Mo6O17 is the first bulk superconducting compound exhibiting superconductor-insulator-transition (SIT) and metal-insulator-transition (MIT) behaviors.

Neste trabalho foram realizadas medidas de transporte em campos magnéticos aplicados no intervalo 0 H 18 T em supercondutores granulares Sm2-xCexCuO4-y, x = 0.17 e 0.18, constituídos de ilhas supercondutoras embutidas em uma matriz isolante e pertencentes a uma transição do tipo supercondutor-isolante (SI). Amostras que apresentam coerência de fase supercondutora via acoplamento Josephson em temperaturas abaixo de TcJ mostraram ser sensíveis a aplicação de baixos campos magnéticos (0 < H 200 Oe) e os resultados de magneto-resistência R(T,H) permitiram concluir que 0 movimento de vórtices de Josephson e governado por uma energia de ativação intergranular do tipo UJ(T,H) (l-T/TeJ)(H-o.6). Foi ainda observado que a supressão da fase do parâmetro de ordem supercondutor ocorre preferencialmente nos contornos de grão nesses supercondutores granulares. Nas amostras constituídas de ilhas supercondutoras isoladas e pertencentes ao lado dielétrico de uma transição SI, observou-se urn aumento abrupto na resistência elétrica R(T,H = 0) abaixo da temperatura critica supercondutora Tci. A aplicação de campos magnéticos intensos promove a supressão da amplitude do parâmetro de ordem supercondutor e resulta em uma magneto-resistência negativa em T < Tci. Uma análise quantitativa do excesso de resistência elétrica R em T < Tci revela que em 0.6 (T/Tci) 1, R (T/Tci)-4 como previsto pela teoria semi-fenomenológica de dois-fluidos. Em temperaturas (T/Tci) < 0.6, as medidas de magneto-transporte mostraram ser sensíveis a alterações provocadas pela aplicação de campo magnético na rede de vórtices das ilhas supercondutoras. Estas alterações são discutidas dentro do cenário de óxidos supercondutores que apresentam alta anisotropia. / We have performed transport measurements in applied magnetic fields as high as 18 T on granular superconductors of Sm2-xCexCuO4-y; x = 0.17, 0.18. These materials are comprised of small superconducting islands embedeed in a non-superconducting host and belong to a superconductorinsulator transition (SI). Transport properties of samples which show longrange phase ordering through Josephson coupling below a given temperature Tci are very sensitive to applied magnetic fields as low as 200 Oe. The results of magnetoresistance R(T,H) enabled us to conclude that dissipation due to Josephson flux flow is governed by an intergranular activation energy given by UJ(T,H) (1-T/Tcj)(H-0,6). We have also observed that the phase of the superconducting order parameter is depressed at intergranular regions or more appropriately at the grain boundaries in these granular materials. In samples that superconducting islands are essentially isolated, an abrupt increase of the electrical resistance R(T,H) below the superconducting transition temperature Tci occurs. The application of high magnetic fields suppresses the amplitude of the superconducting order parameter and an appreciable magnetoresistance below Tci is observed. A quantitative analysis of the excess of the electrical resistance R below Tci reveals that R (T/Tci)-4 ; 0.6 (T/Tci) 1; as predicted by the semi-phenomenological two-fluid theory of superconductivity. At temperatures (T/Tci) < 0.6 and under high applied magnetic fields, transport measurements showed to be very sensitive to changes in the dissipation of the vortex lattice of the isolated superconducting islands. These changes are discussed within a scenario of high anisotropic layered superconductors.

<p>Today’s competitive business environment forces companies to introduce new product and process innovations at an increasing pace. Almost every aspect of the modern business is supported by information technology systems which, consequently, must evolve at the same pace as the business. A company’s strategic view on IT reflects the strategic importance of IT in the organization, both in terms of the opportunities IT is expected to create and the commitment to IT the business organization is willing to make.</p><p>SOA is an emerging concept which aims to structure IT in a more flexible manner. The basic idea is to encapsulate distinct units of business logic in reusable services, which can be combined to support business processes. The term service granularity refers to the amount of logic contained in a service. Even though there is immense hype around SOA today, the concept of service granularity is still relatively unexplored. The service should be coarse grained enough to be reusable, but at the same time specific enough to fit the process. Most SOA literature avoids the subject as being too implementation specific and seldom makes any attempt to concretize the rather abstract term.</p><p>The research was conducted at Handelsbanken, which for years has worked with service-oriented principles. The researchers have been given the opportunity to closely analyze the bank’s service initiative. In order to gain an understanding beyond merely technical aspects a rich case study was built, based on interviews with professionals at all levels of the organization.</p><p>The research objective was divided in three parts. The first part was to factorize the notion of service granularity, or in other words to find a number of factors which together precisely describe the granularity of a service. The second part was to explicate how the factors are interrelated, i.e. how changing one factor will affect the others. The final part of the objective was to explain how an organization’s strategic view on IT affects the optimal service granularity.</p><p>It was found that an organization’s strategic view on IT affects the amount of complexity the organization is able to handle, limiting the optimal SOA granularity, which can be precisely described using three factors: reach, range and realm. Reach defines the locations and people the service is capable of connecting, range defines how much functionality the service offers, and realm defines what kind of functionality the service offers.</p>

Today’s competitive business environment forces companies to introduce new product and process innovations at an increasing pace. Almost every aspect of the modern business is supported by information technology systems which, consequently, must evolve at the same pace as the business. A company’s strategic view on IT reflects the strategic importance of IT in the organization, both in terms of the opportunities IT is expected to create and the commitment to IT the business organization is willing to make. SOA is an emerging concept which aims to structure IT in a more flexible manner. The basic idea is to encapsulate distinct units of business logic in reusable services, which can be combined to support business processes. The term service granularity refers to the amount of logic contained in a service. Even though there is immense hype around SOA today, the concept of service granularity is still relatively unexplored. The service should be coarse grained enough to be reusable, but at the same time specific enough to fit the process. Most SOA literature avoids the subject as being too implementation specific and seldom makes any attempt to concretize the rather abstract term. The research was conducted at Handelsbanken, which for years has worked with service-oriented principles. The researchers have been given the opportunity to closely analyze the bank’s service initiative. In order to gain an understanding beyond merely technical aspects a rich case study was built, based on interviews with professionals at all levels of the organization. The research objective was divided in three parts. The first part was to factorize the notion of service granularity, or in other words to find a number of factors which together precisely describe the granularity of a service. The second part was to explicate how the factors are interrelated, i.e. how changing one factor will affect the others. The final part of the objective was to explain how an organization’s strategic view on IT affects the optimal service granularity. It was found that an organization’s strategic view on IT affects the amount of complexity the organization is able to handle, limiting the optimal SOA granularity, which can be precisely described using three factors: reach, range and realm. Reach defines the locations and people the service is capable of connecting, range defines how much functionality the service offers, and realm defines what kind of functionality the service offers.

This dissertation deals with (a) fine granularity video compression technique and (b) its application to robust video transmission over wireless Internet. First, two wavelet-domain motion estimation algorithms, HMRME (Half-pixel Multi-Resolution Motion Estimation) and HSDD (Hierarchical Sum of Double Difference Metric), have been proposed to give wavelet-based FGS (Fine Granularity Scalability) video encoder with either low-complexity or high-performance features. Second, a VLSI-friendly high-performance embedded coder ABEC (Array-Based Embedded Coder) has been built to encode motion compensation residue as bitstream with fine granularity scalability. Third, the analysis of loss-rate prediction over Gilbert channel with loss-rate feedback, and several optimal FEC (Forward Error Correction) assignment schemes applicable for any real-time FGS video transmission system will be presented in this dissertation. In addition to those theoretical works mentioned above, for future study on embedded systems for wireless FGS video transmission, an initiative FPGA-based MPEG-4 video encoder has also been implemented in this work.

Nos últimos anos, a crescente demanda por alto desempenho tem favorecido o surgimento de arquiteturas e algoritmos cada vez mais eficientes. A popularidade das plataformas distribuídas levanta novas questões no desenvolvimento de algoritmos paralelos tais como comunicação, heterogeneidade e dinamismo de recursos. Estas questões podem resultar em aplicações com carga de trabalho conhecida somente em tempo de execução. A irregularidade do algoritmo ou da entrada de dados também pode influenciar na carga de trabalho da aplicação. Uma aplicação paralela pode solucionar estas questões por meio de algoritmos dinâmicos ao utilizar técnicas de programação que definam o trabalho de uma tarefa e possibilitem a utilização de recursos sob demanda. A granularidade, que é a razão entre processamento e comunicação, considera questões práticas de execução e é um fator importante no desempenho de algoritmos dinâmicos. A implementação de um controle de granularidade é complicada e depende do suporte dos ambientes de programação. Porém, os ambientes de programação possuem interfaces extensas e complicadas que dificultam sua utilização em PAD. Este trabalho propõe a implementação de uma biblioteca (libSpawn) que incorpora um controle de granularidade em aplicações MPI dinâmicas. A biblioteca controla a granularidade ao mapear tarefas entre processos ou threads de acordo com três parâmetros: cores da arquitetura, carga e recursos de sistema. Os tempos obtidos com processos e libSpawn demonstram ganhos significativos em benchmarks sintéticos utilizados por outros ambientes de programação. Não obstante, constata-se carências na implementação atual que produzem tempos anômalos, ainda que estes sejam insignificantes em relação aos tempos com processos. / In the last years, the demand for high performance enables the emergence of more efficient computing platforms and algorithms. The increase of distributed computing platforms rises new challenges for parallel algorithm development like communication, heterogeneity, and resource management. These factors can result in applications whose work load is unknown until runtime. An irregular behavior from algorithm or data can also affect the work load. A parallel application can solve these questions through a programming technique which predicts the work load of a task and offers resource on demand. The granularity, which is the ratio of computation to communication, considers more practical issues, and is an important factor in performance of dynamic algorithms. However, this control is difficult to be designed and the support of a programming tool is needed. Yet, the programming tools have extensive and complicated interfaces which difficult your usage in HPC. This work implements a library (libSpawn) which adds a granularity control on MPI dynamic programs. The library controls the granularity by mapping tasks between processes or threads with three parameters: cores of architecture, load and resources of the operating system. The results obtained between processes and libSpawn show significant gains on synthetic benchmarks from other programming tools.