• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 266
  • 16
  • 2
  • 1
  • 1
  • Tagged with
  • 289
  • 144
  • 63
  • 56
  • 40
  • 36
  • 34
  • 32
  • 31
  • 30
  • 29
  • 29
  • 26
  • 26
  • 26
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
61

Três estudos usando a Escala centiMax de Borg® (Escala CR de Borg®, CR 100, cM) para o escalonamento de sintomas depressivos / Three studies using The Borg centiMax Scale® (Borg CR Scale®, CR100, cM) for scaling depressive symptoms

Magalhães, Adsson 17 July 2017 (has links)
Pensando nas milhoes de pessoas que sao afetadas mundialmente pelos transtornos depressivos (322 milhoes, sendo mais de 11 milhoes no Brasil e quase 450 mil na Suecia), tentamos criar um instrumento para avaliar depressao de forma mais eficaz. Em geral, os transtornos depressivos sao caracterizados por tristeza, perda de interesse/prazer, sentimentos de culpa ou baixa autoestima, disturbios no sono e apetite, sentimentos de cansaco, e baixa concentracao. Alem dos criterios diagnosticos, diversos instrumentos avaliam quadros depressivos. Utilizamos o Inventario de Depressao de Beck para validar a Escala CR100 de BorgR para o escalonamento de sintomas depressivos. As Escalas de Borg comecaram a ser desenvolvidas na decada de 60 para avaliacao do esforco percebido. A CR100 e uma escala de 0 a 100, com categorias verbais posicionadas de acordo com uma escala numerica gerando dados de razao. Esse tipo de escala tem diversas vantagens, como permitir a comparacao entre e dentre sujeitos e grupos, criacao de perfis de sintomas, analise de sintomas individualmente e a razao de intensidade entre eles. Essa tese consta de tres artigos usando a CR100. O Estudo I investigou as propriedades da CR100 comparada ao BDI. Cinquenta estudantes de Psicologia suecos responderam a um questionario online e os resultados mostraram uma alta correlacao entre as duas escalas (r = 0.754, p < 0.001), demonstrando que a Escala de BorgR avalia depressao tao bem quanto o BDI, entretanto fornece mais resultados. O perfil de sintomas gerado e muito mais detalhado do que o BDI, alem dos dados serem mais precisos e nao serem tao sensiveis as transformacoes matematicas. O Estudo II trata-se da validacao da CR100 para o portugues brasileiro e tal qual o Estudo I, da aplicacao em 50 estudantes brasileiros. Os resultados tambem apontam a alta correlacao entre as escalas (r = 0.824, p<0,001) com todas as caracteristicas se mantendo em ambas as nacionalidades A primeira analise de confiabilidade revelou um alto valor de alfa (entre 0.952 e 0.947) e R2 (entre 0.778 e 0.976), maiores que o BDI. O Estudo III teve como principal objetivo investigar propriedades psicometricas da CR100 em participantes depressivos (N=25) e - 10 - saudaveis (N=25), e encontrar pontos de corte para depressao leve, media e severa. A analise de confiabilidade da Escala revelou um indice alpha de 0.954 e por meio de uma reducao fatorial, os 32 itens foram agrupados em sete componentes. Tambem foi possivel construir um perfil de sintomas entre as duas populacoes corroborando a sensibilidade da CR100 em diferenciar populacao saudavel e com depressao em um intervalo de confianca de 95%. Um indice da razao entre pacientes e sujeitos saudaveis pode ser criado, gerando uma mini escala com oito itens, com um valor alpha de 0.80, e correlacao com a escala completa de r = 0.915 (p <0.001) e com o BDI de r = 0.820 (p<0,001). Os tres estudos revelaram resultados satisfatorios que vao ao encontro do que ja foi corroborado pelas pesquisas com as Escalas de BorgR. Demonstrou-se tambem ser possivel fazer o uso da CR100 para avaliar sintomas depressivos com mais informacoes e cujos dados sao mais precisos do que os instrumentos analisados / Thinking about the millions of people who are affected worldwide by depressive disorders (322 million, more than 11 million in Brazil and almost 450.000 in Sweden), we tried to create an instrument to assess depression more effectively. In general, depressive disorders are characterized by sadness, loss of interest/pleasure, feelings of guilt or low self-esteem, changes in sleep and appetite, tiredness, and low concentration. In addition to the diagnostic criteria, several instruments evaluate depressive disorders. We used the Beck Depression Inventory to validate the Borg CR100 ScaleR for scaling depressive symptoms. The Borg ScalesR were developed in the 60\'s for the evaluation of perceived exertion. The CR100 is a scale from 0 to 100, with verbal categories placed in agreement with the numerical scale so as to obtain ratio data. This type of scale has several advantages, such as allowing comparison between and within subjects and groups, creating symptoms profile, analyzing individual symptoms and the intensity ratio between them. This thesis consists of three papers using the CR100. Study #1 investigated the properties of CR100 compared to BDI. Fifty Swedish students of Psychology answered an online questionnaire and the results pointed a high correlation between the two scales (r = 0.754, p <0.001), demonstrating that the Borg Scale evaluates depression as well as the BDI, providing more results though. The symptom profile generated was much more detailed than the BDI, in addition, the data was more accurate and not that sensitive to mathematical transformations. Study #2 looked after the validation of CR100 for Brazilian Portuguese and, like #1, the application in 50 Brazilian students. The results also pointed to the high correlation between the scales (r = 0.824, p <0.001) with all characteristics preserved in both nationalities. The first reliability analysis revealed a high alpha value (between 0.952 and 0.947) and R2 (between 0.778 and 0.976), higher than the BDI. The aim of Study #3 was to investigate the psychometric properties of CR100 in depressive (N = 25) and healthy participants (N = 25), and to find cutoff points for light, medium and severe depression. The reliability analysis of the Scale revealed an alpha of 0.954 and by running a factorial reduction, - 12 - the 32 items were grouped into seven components. It was also possible to construct a profile of symptoms between the two populations verifying the sensitivity of CR100 to differentiate healthy from depressive population, in a 95% confidence interval. An index of the ratio between patients and healthy subjects could be created, generating a mini scale with eight items with an alpha value of 0.80 and correlation with the full scale of r = 0.915 (p <0.001) and with the BDI of r = 0.820 (p <0.001). The three studies have shown satisfactory results that match with what has already been demonstrated by researches with the Borg ScalesR. It has also been presented the possibility of using the CR100 to assess depressive symptoms with more information and which data are more accurate than the instruments analyzed
62

Método de programação de sistemas de manufatura do tipo Job Shop dinâmico não determinístico. / Programming method for non-deterministic dynamic Job Shop manufacturing systems.

Araújo Junior, Lindolpho Oliveira de 29 June 2006 (has links)
Esta tese explora características de sistemas de manufatura celular virtual, de técnicas de escalonamento e despacho em tempo de execução e de algoritmos genéticos para assegurar um alto grau de flexibilidade de rotas de processo e eficiência na programação de tarefas de sistemas de manufatura do tipo (NDDJSS – non-deterministic dynamic job shop system). Desenvolve-se assim, um método de programação baseado em duas novas técnicas, de clustering e de escalonamento e despacho, respectivamente, aplicado a sistemas de manufatura do tipo NDDJSS. Apresentam-se inicialmente os conceitos fundamentais considerados na organização de sistemas de manufatura em células de trabalho e suas implicações em termos de esforço de coordenação e controle das células e das tarefas; a abordagem por organização funcional das células de manufatura virtuais; ascaracterísticas, definições e notação usadas para problemas de escalonamento; a descrição de técnicas de escalonamento e despacho de sistemas de manufatura; aspectos relevantes de computação evolutiva, mais especificamente, de algoritmos genéticos. Em seguida, introduz-se a nova técnica de clustering e a nova técnica de escalonamento e despacho, juntamente com os requisitos e as formulações associadas. A nova técnica de clustering forma células de manufatura virtuais balanceadas quanto ao volume de trabalho, com alto grau de flexibilidade de rotas de processo. A nova técnica de escalonamento e despacho é autônoma, estável, adaptativa, flexível, contingente, monotônica e relativamente robusta, permitindo a geração de escalas em tempo de execução, ao mesmo tempo em que mantém a medida de desempenho, o makespan, dentro de uma faixa de desempenho pré-estabelecida. Exemplificam-se as aplicações das duas novas técnicas, através de exemplos extraídos da literatura técnica e simulados através de um programa de computador chamado (DEVICE – Design of virtual cells), desenvolvido especialmente para esta pesquisa. Após simulação obtêm-se os resultados de forma estruturada para análise. Os respectivos resultados da aplicação do método de programação proposto comprovam o potencial dessa abordagem. / This thesis explores characteristics of virtual cellular manufacturing systems, of scheduling and dispatching techniques for real time requirements and genetic algorithms for assures a high level of routeing flexibility and efficiency in tasks programming for (NDDJSS – non-deterministic dynamic job shop system). It introduces a programming method based in two new clustering and scheduling and dispatching techniques, respectively, applied in NDDJSS manufacturing systems. Initialy, the work presents basic concepts considered in the organization of cellular manufacturing systems and its implications for coordination and control efforts of cells and tasks, respectively; an approach of virtual mufacturing cells through the functional organization; the characteristics, definitions and notation used for scheduling problems; the description of more manufacturing systems scheduling and dispatching techniques; relevant aspects of evolutionary computation in specialty, the genetic algorithms. Subsequently, the work also introduces the new clustering and scheduling and dispatching techniques, the requirements and the formulas associated. The new clustering technique builds balanced workload with high flexibility of process routeing. Also, the new scheduling and dispatching technique is autonomous, stable, adaptative, flexible, contingent, monotonic and relatively robust, providing scales generating in running mode (real time) and mantaining the performance measures “makespan" within the stabilished range of performance. The applications of the two new techniquesare exemplified based on two examples picked from technique literature and so simulated through a new software called (DEVICE – design of virtual cells). The software DEVICE was designed specialty for this research. After run some simulations, the structured form results are obtained for analisys. The respectively results obtained for the proposed method application proves the powerful of this approach.
63

Escalonamento de painéis reforçados sujeitos a cargas de impacto. / Scaling of reinforced panels subjected to impact loads.

Mazzariol, Leonardo Monteiro 05 October 2012 (has links)
Esta dissertação avalia a aplicação de leis de similaridade distorcidas no contexto de impacto estrutural. A análise se apoia em um estudo teórico, numérico e experimental do impacto de um indentador contra um painel duplo. O modelo analítico descreve de forma simplificada o comportamento de partes desta estrutura e as simulações numéricas reproduzem os ensaios experimentais que utilizam um protótipo (tamanho real) e modelo (escala reduzida). A diferença nas propriedades mecânicas do material de construção do modelo e protótipo é considerada no procedimento de escalonamento, bem como os efeitos de escala por causa da taxa de deformação. Ainda, diante das limitações do aparato experimental, é desenvolvida uma formulação para as leis de similaridade que permite variações da massa impacto e da velocidade inicial do elemento impactante no ensaio. Dessa forma, apresenta-se um procedimento que permite inferir o comportamento de estruturas em tamanho real sob carregamento de impacto através do uso de estruturas em escala, mesmo com as limitações de aparato ou diferenças das propriedades mecânicas do material. / This work evaluates the distorted similarity laws applied in structural impact. The analysis is based in theoretical, numerical and experimental studies of the impact of an indenter to a reinforced panel. The theoretical approach describes, in a simplified manner, the behaviour of the structure components while the numerical analysis reproduces the experiments performed in two scales: prototype (large scale) and model (small scale). Although the panels are made of different materials, this mismatch in mechanical behaviour is taken into account in the scaling procedure, as well as the scale effects due to strain rate. A formulation that allows flexibility in experiment variables such as initial velocity and impact mass is developed due to experimental apparatus limitations. In general lines, is developed a procedure allowing to infer the behaviour of a large scale structure under impact load using scaled structures, while using different materials for prototype and model and respecting the experimental apparatus limits.
64

Autopiloto adaptativo para foguete com tubeira móvel

João Gilberto Cunha 01 December 1987 (has links)
Este trabalho concerne à aplicação de teoria LQ para pilotagem de foguetes de médio porte controlados por desvio de jato. No sistema de controle proposto, os parâmetros são estimados usando um algoritmo mínimos quadrados padrão, na forma recursiva. O ângulo de ataque é obtido a partir de um observador de ordem reduzida. As outras componentes do estado são medidas diretametne por sensores. O estado é então realimentado com ganhos calculados usando a teoria LQ, para gerar o valor do ângulo de desvio de jato. São propostas duas formas de implementação desta estratégia: uma adaptativa e outra em &quot;gain scheduling&quot;, sem usar a estimação de parâmetros mas sim o valor nominal destes. Os esquemas propostos foram extensivamente testados através de simulação digital usando um modelo completo de validação, incluindo termos não lineares e perturbações devidas ao vento.
65

Controladores robustos com a metodologia de escalonamento de ganhos

Letícia Paraguassú Amaral 01 May 1995 (has links)
Este trabalho apresenta o projeto de sistema de controle com a metodologia de escalonamento de ganhos para modelos lineares com parâmetro variando no tempo. A idéia base desta metodologia é projetar controladores lineares invariantes no tempo para valores fixos distintos de parâmetro e posteiormente interpolar estes compensadores resultando na realidade em um compensador global para o modelo. Apresenta-se uma exposição da metodologia de escalonamento de ganhos padrão que, para garantir resultados satisfatórios, impõe condições sobre a variação da dinâmica do modelo no tempo. No entanto, dá-se maior ênfase a uma abordagem mais recente que mostra como tornar irrelevante para o projeto, o modo de variação da dinâmica do modelo no tempo. Neste contexto demonstra-se maior preocupação com a estabilidade de sistemas de controle projetados com a metodologia de escalonamento de ganhos. Para o projeto dos controladores a parâmetro fixo é empregada a tecnica TFL/LTR (TargetFeedback Loop/Loop Transfer Recovery). Com a tecnica TFL/LTR usa-se duas estruturas de controladores. Uma é a tradicional estrutura LQG/LTR (Linear Quadratic Gaussian/Loop Transfer Recovery), que é usada na abordagem mais recente da metodologia de escalonamento de ganhos e a outra, que não tem nome específico, é apresentada na referência 5 e neste trabalho denominar-se-á a estrutura #2. O uso desta última estrutura de controlador no âmbito do projeto com a metodologia de escalonamento de ganhos é uma contribuição desta tese. Em relação a estrutura LQG/LTR a estrutura #2 requer menores valores de ganhos para atingir os mesmos resultados. No uso de cada uma das estruturas de controladores salienta-se as dificuldades na verificação da estabilidade do processo de recuperação inerente à técnica TFL/LTR. O modelo do VLS (Veículo Lançador de Satélites) é usado como exemplo de aplicação da metodologia de escalonamento de ganhos.
66

Controle multivariável de sistema de ar condicionado aeronáutico com base no conforto térmico

Eduardo Augusto Gallo 04 March 2011 (has links)
As condições ambientais da cabine de uma aeronave em cruzeiro diferem das de um ambiente predial: valores de temperatura radiante, umidade relativa e densidade do ar são inferiores, o que implica em preferência por valores diferentes de temperatura no interior da aeronave por parte dos passageiros. Como a utilização de indicadores conforto térmico como parâmetro de controle em diversos sistemas ambientais vem sendo amplamente estudada e tem se mostrado mais eficiente em relação aos tradicionais controles realimentados pela temperatura do ambiente, no presente estudo propõe-se a utilização do índice PMV (Predicted Mean Vote), originalmente desenvolvido para mensurar o conforto térmico em um ambiente predial, como parâmetro de controle através da atuação conjugada na temperatura e na velocidade do ar da cabine de uma aeronave de transporte regional. Para tal, um modelo térmico da aeronave foi desenvolvido e estratégias de projeto com escalonamento de ganhos foram aplicadas para compensar não linearidades do modelo do índice PMV, possibilitando a utilização de controladores lineares. Outros três controladores tradicionais foram projetados, permitindo a comparação de desempenho da estratégia proposta.
67

Políticas de escalonamento de tempo-real para garantia de QoS absoluta em array de servidores web heterogêneos / Real-time scheduling policies for QoS absolute garantee on heterogenous array web-servers

Peixoto, Maycon Leone Maciel 02 April 2008 (has links)
Em relação aos significativos resultados em Qualidade de Serviço (QoS) para servidores Web, existem ainda muitos problemas não resolvidos. Enquanto as abordagens atuais se limitam a prover QoS relativa através de diferenciação de serviço, este projeto apresenta e compara três modelos que tem por objetivo prover QoS absoluta para um array de servidores Web heterogêneos por meio de uma arquitetura de escalonamento ortogonal: A Multiple Queue (MQ), a Single Queue (SQ) e a Dynamic Single Queue (DSQ). A MQ consiste em receber a requisição HTTP e enviá-la para o servidor escolhido do array de servidores através do balanceamento de carga. A SQ e a DSQ possuem uma única fila gerenciada de forma centralizada. Enquanto a SQ envia a requisição somente quando o servidor esta livre, a DSQ seleciona o servidor com mais curto tempo de término mediante o uso de filas virtuais. Os modelos foram simulados considerando diferentes parâmetros e configurações para o ambiente. A avaliação de desempenho da arquitetura ortogonal demonstra que a mesma provê um bom desempenho na provisão de QoS absoluta com relação as mudanças instantâneas das cargas de trabalho no ambiente Web. Esta pesquisa estende os resultados da politica de escalonamento chamada EBS, concebida para provisão de garantias de tempo de resposta estocásticas em ambientes interativos online, especificamente para os servidores Web. Os resultados demonstram que a combinação da EBS na política de fila com a disciplina de recurso proposta neste trabalho é superior às outras combinações examinadas. Um modelo de política adaptativa é também introduzido / Despite the significant body of results in Quality of Service (QoS) for Web-Servers, many real-world problems are not easily supported. While the current approaches limit to provide relative QoS through service differentiation, this work presents and compares three models aiming at providing absolute QoS to Web Server on heterogeneous cluster by means of an Orthogonal Scheduling Architecture: The Multiple Queue (MQ), the Single Queue (SQ) and the Dynamic Single Queue (DSQ). The MQ consists in receiving the HTTP requests and delivering them for the selected processor in the server array to balance the load. SQ and DSQ have only one queue being managed by a central server. While SQ sends requests to the first free processors, the DSQ selects the processor with the minimun completion time with the aid of a virtual queue. The models were simulated considering different parameters and configurations for the environment. Performance evaluation of the Orthogonal Architecture demonstrates that it performs well in providing absolute QoS in face of instantaneous changes in the workloads. This work extends the results of a scheduling policy named EBS, tailored for providing stochastic response-time guarantees in online interactive systems, specifically for Web servers. Results show that the combination of EBS as the queue discipline with the resource discipline proposed in this work outperforms the other studied. An adaptive policy model is also introduced
68

Método beam search aplicado ao problema de escalonamento de tarefas flexível / Beam search method applied to the flexible job shop scheduling problem

Jesus Filho, José Eurípedes Ferreira de 06 June 2013 (has links)
O Job Shop Scheduling Problem é um problema NP-Difícil que chama a atenção de muitos pesquisadores devido seu desafio matemático e sua aplicabilidade em contextos reais. Geralmente, principalmente em cenários próximos aos de fábricas e indústrias, obter um escalonamento ótimo por meio de métodos computacionais exatos implica em um alto desprendimento de tempo. Em contrapartida, devido às exigências de um mercado cada vez mais competitivo, as decisões de onde, como, quando e com o que produzir devem ser tomadas rapidamente. O presente trabalho propõe o desenvolvimento de um método heurístico Beam Search para solucionar o Job Shop Scheduling Problem e o Flexible Job Shop Scheduling Problem. Para isso, inicialmente um algoritmo do tipo list scheduling é definido e então o método Beam Search é construído baseado neste algoritmo. Os métodos propostos foram avaliados em diferentes níveis de complexidade utilizando instâncias da literatura que retratam diferentes cenários de planejamento. Em linhas gerais, as soluções encontradas se mostraram bastante competitivas quando comparadas a outras soluções da literatura. / The Job Shop Scheduling Problem is a NP-Hard problem which draws the attention of researchers due to both its mathematical challenge and its applicability in real contexts. Usually, mainly in industry and factory environments, an optimal schedule got by the use of exact computational methods implies in a long spending time. On the other hand, due to a more and more competitive marketplace, the decisions on where, how, when and with which to produce must be taken quickly. The present work proposes the development of an heuristic Beam Search method to solve both the Job Shop Scheduling Problem and the Flexible Job Shop Scheduling Problem. To that end, at rst a list scheduling algorithm is dened and then the Beam Search method is built based on the list scheduling algorithm. The proposed methods were evaluated over dierent complexity levels using instances from the literature that report dierent planning environments. In general terms, the solutions implemented have been proved very competitive when compared against other solutions in the literature.
69

Um estudo comparativo de cargas de trabalho e políticas de escalonamento para aplicações paralelas em clusters e grids computacionais / A comparative study of workloads and policies for parallel job scheduling on clusters and grid computing

Oliveira, Juliano Amorim de 01 September 2006 (has links)
Diversas políticas de escalonamento para aplicações paralelas voltadas a ambientes computacionais distribuídos têm sido propostas. Embora tais políticas apresentem bons resultados, elas são, geralmente, avaliadas em cenários específicos. Quando o cenário muda, com diferentes ambientes distribuídos e condições de carga, essas políticas podem ter seu desempenho deteriorado. Nesse contexto, este trabalho apresenta um estudo comparativo envolvendo dez políticas de escalonamento avaliadas em diferentes cenários. Cada uma das políticas foi submetida a uma combinação de quatro cargas de trabalho de ocupação da UCP e três variações da taxa de comunicação média entre os processos, utilizando a rede. Foram considerados ainda três sistemas distribuídos distintos: dois clusters, com diferentes quantidades de nós, e um grid computacional. Foi utilizada a simulação com ambientes próximos ao real e cargas de trabalho obtidas de modelos realísticos. Os resultados demonstraram que, embora as políticas sejam voltadas a ambientes computacionais paralelos e distribuídos, quando o cenário muda, o desempenho cai e a ordem de classificação entre as políticas se altera. Os resultados permitiram ainda demonstrar a necessidade de se considerar a comunicação entre os processos durante o escalonamento em grids computacionais. / Several scheduling policies for parallel applications directed to the distributed computational environments have been proposed. Although such policies present good results, they, generally, are evaluated in specific scenarios. When scenario change, by using different distributed environments and workload conditions, these policies can have its performance spoiled. In this context, this work presents a comparative study involving ten scheduling policies evaluated on different scenarios. Each policy was submitted to a combination of four CPU occupation workloads and three variations of interprocess average communication rates, using the network. Three different distributed systems had been yet considered: two clusters, with different amounts of nodes, and one grid computing. Simulation was used with environments near to the real and workloads obtained of realistic models. Although the policies are directed to parallel and distributed environments, the results have demonstrated that when scenario change, the performance falls and the ranking between the policies changes too. The results have still allowed to demonstrate the necessity of considering interprocess communication during the scheduling in a grid computing.
70

Anahy-DVM: um módulo para escalonamento distribuído / Anahy-DVM: a module for distributed scheduling

Cardozo Junior, Marcelo Augusto 14 March 2006 (has links)
Made available in DSpace on 2015-03-05T13:56:58Z (GMT). No. of bitstreams: 0 Previous issue date: 14 / Hewlett-Packard Brasil Ltda / Atualmente o uso de aglomerados de computadores para fins de alto desempenho tem aumentado. Contudo, a programação desse tipo de arquitetura não é trivial. Pois,além de desenvolver a aplicação, detectar e explicitar a concorrência nela existente, o programador também é responsável por implementar o escalonamento de sua aplicação para efetivamente usar o paralelismo dos aglomerados. Existem ferramentas que se propõem a solucionar esses problemas; a ferramenta de programação Anahy é uma destas. Este trabalho se propõe a implementar um módulo para Anahy com fins de provêla de suporte à execução em ambientes dotados de memória distribuída. Para isso seu núcleo executivo foi estendido para que se possa ter acesso as estruturas de dados imprescindíveis à distribuição da carga computacional. Também será necessário desenvolver um mecanismo de comunicação entre os nós do aglomerado para que estes troquem as informações necessárias para o andamento da computação. Por fim, o módulo desenvolvido é avaliado através do / Lately, the usage of computer clusters has increased. However, programming for this class of architecture is non trivial. This happens due the fact that, besides programming the application, detecting and specifying its concurrency, the programmer is also responsible for coding the scheduler of the application so it can use computer clusters efficiently. There are programming tools that propose solutions for these problems, one of these tools is Anahy. This work proposes an extension for Anahy runtime in order to provide support for distributed memory environments. In order to achieve this objective, the execution core of Anahy is extended so the necessary data structures can be accessed by this module. It is also necessary to develop a comunication mechanism among the nodes of the cluster so they can exchange the necessary information to complete the computation. Finally, the module is evaluated using a synthetic application. Through this evaluation, the module is analyzed relating to its usability in the

Page generated in 0.0753 seconds