Search

The recognition of patterns in the electrical activities of plants (electromes, in time series format) has gained prominence in recent years. The use of Internet of Things (IoT) devices and Machine Learning (ML) techniques has automated and enhanced data collection and classification, helping researchers identify behaviors and classify them to detect plant stress. However, processing this information means dealing with large amounts of data, which is a major challenge from a computer science perspective. Thus, in this work, we propose an approach for reduction and classification of time series representing plant electromes to balance the trade-off between reduction and data quality, without compromising the classification task. We investigated the use of three time series approximation techniques (PAA, SAX, and MCB) in combination with ML algorithms, such as ANN, KNN, and SVM, in order to find the most suitable approach for this scope. The results validated the proposed approach, with the best performance obtained with the PAA+SAX techniques combined with the SVM algorithm, achieving good data reduction and improving stress detection, without compromising data quality. The main challenges in these tasks and future research directions are also discussed.

A programação concorrente, ou paralela, é uma realidade na produção de software em função da popularização das arquiteturas multicore. No entanto, as formações em nível superior, em geral, introduzem este modelo de programação a partir da segunda metade dos cursos, reduzindo o tempo que os alunos tem para se apropriar completamente das técnicas no restante de suas formações. Neste trabalho é apresentada uma ferramenta interativa para percepção dos impactos da aplicação de diferentes recursos de programação paralela no comportamento e desempenho de uma aplicação com forte apelo visual, um gerador de fractais. A ferramenta construída permite visualização da execução explorando o paralelismo entre nós (MPI), intra-nós (OpenMP) e entre instruções (instruções vetoriais), alterando em tempo real o conjunto nível de paralelismo explorado.

Memória transacional em hardware (HTM) minimiza custos de desempenho implementando mecanismos de detecção e resoluções de conflitos diretamente no hardware. Atualmente algumas ferramentas oferecem recursos para utilização de Memória Transacional em forma de bibliotecas, contudo, não estão diretamente vinculadas as ferramentas de programação multithread. Com essa melhora de desempenho oferecida pelo HTM e não integração do HTM a interfaces de programação, este estudo tem como objetivo o desenvolvimento de uma extensão ao OpenMP para suporte a HTM, diretamente ao kernel da aplicação.

This paper describes an experimental study on the effect of reducing time series collected from IoT electrical agro-sensors through approximation techniques, in time series classification tasks, for plant stress detection. From large sets of real data, stored in time series format, experiments were carried out to analyze: (i) performance of mathematical methods to reduce the dimensionality of time series - PAA, SAX and MCB; and (ii) Whether the application of these techniques influences the performance of time series classification models for plant stress detection, using machine learning algorithms KNN, SVM and ANN. Both in terms of data volume reduction and time series classification, the experiment showed significant improvements in terms of compression rate and accuracy, with the best result found in the use of PAA+SAX techniques for reduction and SVM for classification.

Os atuais compiladores dotados de recursos para paralelização automática de código limitam-se a detectar trechos de código paralelizáveis automaticamente, não reportando trechos de código candidatos a paralelização por reprogramação manual. Este artigo apresenta uma estratégia para detecção de trechos de código refletindo o padrão iterativo de redução candidatos a paralelização por transformação manual. A validação foi realizada comparando os resultados obtidos com os apresentados por Cetus sobre o benchmark BOTS. A análise dos resultados indicou a validade da proposta, sendo discutidos os casos de falsos positivos reportados na aplicação da técnica proposta.

The Transactional Memory model was proposed as a mechanism offering a higher-level programming interface to abstract some of the complexities associated with simultaneous access to shared data. Although modern tools for multithreaded programming offer resources, such as programming interface and scheduling facilities, for efficient hardware exploitation, the support for shared data synchronization still reflects classic critical section-based models. This work proposes an extension to the OpenMP, a de facto standard for multithread programming, offering the Transaction Memory model. Different from other approaches found in literature to extend OpenMP with Transaction Memory, we propose an interface that not only promotes the access to a Transaction Memory but also reflects the OpenMP programming style. A specification of the OpenMP extension is presented, and a prototype implementation is evaluated with the help of transactional memory tools in software: the TinySTM library and the TM support offered by the GNU C Compiler (GCC). The proposed interface and its prototype are presented, in the form of an intermediate language, Vanilla-TM, and the interface validation was performed based on the analysis of the results obtained. These results point to the viability of incorporate the proposed extension in an OpenMP dialect, as well as the analysis of the experiments allowed us to conclude that the policies applied for TM management are decisive for a good performance of the programs.

Este trabalho apresenta uma proposta de estudo que tem como objetivo definir estratégias para racionalizar a adoção de nuvens computacionais para apoio à pesquisa acadêmica, determinando os modelos de custo necessários para implantação de uma solução, atendendo a uma comunidade federada de Instituições de Ensino e Pesquisa (IEP). O enfoque será dado considerando a realidade do Estado do Rio Grande do Sul, com um olhar sobre as vocações de pesquisa de suas instituições e a realidade de financiamentos de projetos. Dentre as contribuições esperadas para este trabalho, está a modelagem de diferentes configurações de nuvem, públicas, privadas ou híbridas, que possam atender as demandas do conjunto de IEPs do estado.

With the consolidation of cloud computing technology, there is a growing interest in exploring it to support High Performance Computing (HPC). However, migrating such applications to public or private cloud environments brings some challenges, in particular, the cost in financing the migration process. In this paper, a literature review is presented with selected papers about analyzing cloud infrastructure investments. In particular, the selected papers analyse how investments impact applications. For discussion of related works, conditions for running HPC applications in the cloud are characterized.

Embora as modernas ferramentas para programação multithread ofereçam recursos para exploração eficiente do hardware, os suportes à sincronização a dados compartilhados ainda refletem modelos baseados em seção crítica clássicos. Memória Transacional (TM) propõe um modelo de controle de concorrência de mais alto nível, mas não se encontra disponível em tais ferramentas. Neste artigo é apresentada uma extensão à OpenMP para suporte à TM e uma avaliação de desempenho de sua prototipação sobre duas ferramentas que suportam TM. Os resultados apontam a viabilidade da extensão proposta e a análise das execuções permitiu concluir que as políticas aplicadas para gestão da TM são decisivas para o bom desempenho do programa.

The widespread of modern parallel architectures brought many challenges in terms of programming. In response, many parallel programming tools intend to aid the user in order to exploit hardware resources effectively. As a new alternative, this paper introduces the design and implementation of JAMPI, a generic parallel programming interface developed in C++ focused on code reuse, productivity and high-level abstraction to enable the construction of parallel applications. JAMPI is totally integrated with its host programming language and offers, as main feature, a fully disassociation of its programming interface from its scheduling mechanism. Aiming to manage and optimize the parallel execution, the proposed interface allows the programmer to implement a custom scheduling heuristic for each portion of the application code. Besides JAMPI model description, we proceeded some preliminary experiments using applications encoded with the proposed framework. Results showed that JAMPI can be used to reach performance on multicore platforms and does not add performance penalty over the sequential version of the benchmarks.

O presente trabalho propõe uma interface de programação paralela de alto nível em C++ fazendo uso do C++11. Sua abordagem visa separar a descrição da concorrência da aplicação, expressada de forma explícita, da exploração do paralelismo, que ocorrerá de forma implícita. Neste sentido, objetiva-se apresentar uma interface que permita dividir a concorrência de um programa da extração do paralelismo, oferecendo com isso suporte a diferentes tipos de arquiteturas.

This paper presents a meta-analysis of the publications from all 18 previous editions of WSCAD in order to understand how performance results are validated and reported. This meta-analysis extract from these papers terms (keywords) belonging to three categories: statistics, metrics and tests. From all 426 papers analyzed, 93% referred at least one of the terms considered, indicating that there is a concern that results should be reported in order to the paper be considered relevant for this conference. Nevertheless, this analysis shows that only 3% of the papers applies reliable statistical tests to validate them. This paper depicts the meta-analysis achieved and proposes a direction to promote the adoption of a guideline to improve the results reporting in this conference and other with related subjects.

Este artigo apresenta a concepção e a implementação de um motor de geração procedural de mapas, baseado em gramáticas de grafos, para jogos do tipo roguelike. A implementação realizada explora a programação multitarefa sobre arquiteturas multiprocessadas, viabilizando o uso desta ferramenta em tempo de execução, tendo em vista o alto custo computacional decorrente do uso de gramática de grafos. Os resultados obtidos foram muito positivos, tanto no que se refere ao ganho de desempenho quanto no sucesso em geração de mapas, viabilizando o uso dessa técnica de geração de mapas dungeon crawl em tempo de execução. Estes resultados são ilustrados com a apresentação da instanciação de um jogo e de uma discussão sobre o desempenho da execução paralela em um computador com configuração gamer.

Transactional Memory is an abstraction that helps concurrent programming, however, in high contention sceneries, it presents low performance because of the high conflict rate between transactions. In this work, we present four transactional schedulers implemented entirely in Haskell using different abstraction levels. The results present, despite the inherent overheadof high-level implementations, a reduction in the conflict rates.

O objetivo deste trabalho, denominado EXEHDA-AR (Execution Environment for Highly Distributed Applications-Activity Recognition), é prover recursos arquiteturais que permitam o reconhecimento de atividades no middleware EXEHDA, explorando uma abordagem baseada em processamento semântico. Para tanto foram concebidos componentes arquiteturais, os quais foram integrados ao Subsistema de Reconhecimento de Contexto e Adaptação do EXEHDA. Um estudo de caso sobre casas inteligentes foi desenvolvido para avaliar as funcionalidades propostas para o EXEHDA-AR, sendo obtida uma acurácia média de 94,36% no reconhecimento de atividades. Estes resultados apontam que métodos baseados em processamento semântico constituem uma alternativa viável, com baixo nível de intrusão.

Com a ampla diversidade de dispositivos moveis disponiveis, de diferentes tipos, capacidades e tecnologias, associando-se a profusao das redes de comunicacao sem fio, possibilita-se a oferta de servicos moveis e ubiquos que podem ser destinados a atender pessoas com deficiencia visual (PCDVs). Nesse sentido, este artigo tem como contribuicao central a proposta de uma abordagem, denominada HELIX, para prover acessibilidade as pessoas com deficiencia visual atraves do emprego de conceitos da Internet das Coisas (Internet of Things - IoT) em ambientes Indoor e Outdoor. A arquitetura funcional da abordagem HELIX esta integrada ao Subsistema de Reconhecimento de Contexto e Adaptacao do middleware EXEHDA, o qual prove suporte para a aquisicao, armazenamento e processamento das informacoes de contexto utilizadas pelas aplicacoes moveis da HELIX. As aplicacoes prototipadas foram avaliadas atraves do modelo TAM (Technology Acceptance Model), sendo que os resultados obtidos apontaram para a viabilidade de prover acessibilidade as pessoas com deficiencia visual por meio de uma abordagem baseada na Internet das Coisas.

Os processadores modernos oferecem informacoes sobre o seu consumo energetico. No entanto, nao ha padronizacao da interface de acesso aos servicos que as disponibilizam e nem uma etapa de tratamento ou uniformizacao dos dados coletados por essas ferramentas. Isso constitui um inconveniente para o programador final e restringe a portabilidade das solucoes que utilizam essas informacoes. Este artigo apresenta um framework que prove uma interface comum de servicos para acesso as informacoes sobre o consumo energetico dos processadores. A solucao desenvolvida fornece uma representacao uniforme para os dados coletados e e desenvolvida utilizando uma arquitetura modular e extensivel. Nessa abordagem, o consumo energetico de programas paralelos, executando em arquiteturas baseadas em processadores multicore, pode ser monitorado de forma dinâmica, independente da familia de processadores suportando a execucao. Esse framework e validado com dois estudos de caso que ilustram sua aplicabilidade.

Ataques por canais laterais exploram vulnerabilidades de um sistema criptográfico por meio do monitoramento de grandezas físicas tais como consumo de energia e tempo de execução. Estes ataques exigem grande poder computacional por atuarem em uma grande quantidade de dados e por explorar diferentes variações do ataque durante a execução. Neste trabalho é apresentada uma implementação inicial de Análise Diferencial de Potência (DPA) e são propostos quatro modos de otimização a fim de explorar seu paralelismo e reduzir o tempo de execução. Os resultados obtidos em uma arquitetura multiprocessada mostram ganhos significativos de desempenho, reduzindo em até 3000 vezes o tempo de execução do algoritmo DPA.

Evoluir grandes volumes de dados requer sítios com capacidade de processamento e armazenamento de informação. O processamento distribuído utiliza tecnologias que permitem o compartilhamento de recursos e custos de processamento, e necessitam de ferramentas que façam a comunicação entre aplicação e processamento. O Espaço de Tuplas é um modelo de programação concebido sobre essas tecnologias que foi retomado neste trabalho como uma alternativa para o desenvolvimento de aplicações em ambiente de nuvem. A biblioteca ILUCTUS é apresentada neste artigo, bem como um estudo dos custos de suas operações elementares e aplicações.

This paper compares the performance and stability of two Big Data processing tools: the Apache Spark and the High Performance Analytics Toolkit (HPAT). The comparison was performed using two applications: a unidimensional vector sum and the K-means clustering algorithm. The experiments were performed in distributed and shared memory environments with different numbers and configurations of virtual machines. By analyzing the results we are able to conclude that HPAT has performance improvements in relation to Apache Spark in our case studies. We independently validated the results and potential presented by the HPAT developers. We also provide an analysis of both frameworks in the presence of failures.

This paper presents a high level model to describe bag of tasks (BoT) applications and a framework to evaluate user level approaches to scheduler BoTs on coarser works units. The scheduler consolidates the load of the tasks in a given number of virtual machines (VMs) providing the estimated makespan. The framework allows to change the policy of tasks selection in order to compare the length of the scheduling produced giving a limited number of VMs. The framework has as input a BoT description and produces for each VM its trace of processing load. This paper validates the BoT model and the proposed framework with a performance assessment. In our case studies, the output of the framework is submitted to a real OpenStack based IaaS infrastructure. The results show that the makespan can be reduced by grouping tasks in coarse units of loads.

Multithread programming tools become popular for exploitation of high performance processing with the dissemination of multicore processors. In this context, it is also popular to exploit compiler optimization to improve the performance at execution time. In this work, we evaluate the performance achieved by the use of flags -O1, -O2, and -O3 of two C compilers (GCC and ICC) associated with five different APIs: Pthreads, C++11, OpenMP, Cilk Plus, and TBB. The experiments were performed on two distinct but compatible architectures (Intel Xeon and AMD Opteron). In our experiments, the use of optimization improves the performance independently from the API. We observe that the application scheduling performed by the programming interfaces providing an application level scheduler has more impact on the final performance than the optimizations.

A Internet das Coisas considera um cenário no qual recursos dinamicamente entram e saem do ambiente computacional. O procedimento de descoberta neste cenário, cuja quantidade de recursos é crescente, caracteriza um desafio de pesquisa em aberto. Este artigo apresenta o EXEHDA-RD, um serviço de descoberta de recursos integrado ao middleware EXEHDA que emprega tecnologias de Web Semântica e o padrão arquitetural REST. Os principais componentes da arquitetura foram implementados considerando características relevantes para IoT, tais como: controle de presença, auto-descoberta e aumento de expressividade nas consultas. Os resultados obtidos se mostram promissores e apontam para continuidade dos esforços de estudo e pesquisa.

Nos sistemas cientes de contexto, os processos de aquisição e distribuição de informações estão inerentemente sujeitos a imperfeições que levamá produção de dados contextuais imprecisos, ambíguos e/ou errõneos. Tais imperfeições podem ter seus impactos minorados por meio da modelagem e da gerência de indicadores de Qualidade de Contexto (QoC), obtidos a partir de metadados contextuais. A proposta deste trabalho é a concepção de um arcabouço para manipulação de metadados de QoC em um middleware para IoT, com aplicação imediata na redução dos conflitos causados por dados contextuais contraditórios. Em um estudo de caso, emprega-se a solução desenvolvida para prover ciência de QoC a um ambiente ubíquo gerenciado pelo EXEHDA.

Este artigo descreve os principais resultados da aplicacao da atividade Caca ao Tesouro, abordando conceitos de busca de dados, desenvolvida no âmbito do Pensamento Computacional. O diferencial e o desenvolvimento de um software, jogo digital, como ferramenta para execucao de suas tarefas. E apresentada a concepcao deste aplicativo e realizada uma comparacao dos resultados de sua aplicacao com os obtidos pelo metodo classico empregando materiais manufaturados. O artigo documenta os resultados da aplicacao da nova concepcao da atividade em termos de apropriacao do conteudo e da usabilidade da ferramenta construida.

This paper presents seven hash table Haskell implementations, ranging from low-level synchronization mechanisms to high-level ones such as transactional memories. The result of the comparison between the algorithms showed that the implementation using the STM Haskell transactional memory library and fine-grain synchronization presented the best performance and good scalability.

This paper proposes a concurrent implementation of a background subtraction algorithm suitable for monochromatic video sequences. In the training period, a set of frames is used to determine an estimate of the scene background, as well as background noise. In the test period, each new frame of the video sequence is compared to the background model, and foreground objects are obtained taking into account the background noise estimate. Shadows and highlights are also detected and removed. Concurrent programming tools and techniques, such as multithreading, are used to implement a concurrent solution for this problem, and combined with other optimization tools (such as destination word accumulation for morphological operators and the use of lookup tables for shadow detection/removal) to achieve the highest frame rate possible. Experimental results comprise a comparison of the performance including progressively each optimization tool, and they show that the fully optimized algorithm is much faster than a naive sequential implementation. Also, experiments performed on two-way processor and on dual-core processor computers indicate that the proposed algorithm is suited for the recent multi-core technology.

Os processadores modernos oferecem informações sobre seu consumo de energia. No entanto, a inexistência de uniformização e padronização desses dados restringe a portabilidade de soluções que os utilizam. Este trabalho apresenta um framework que provê uma interfaceúnica de serviços para acessar as informações de consumo energético de processadores de forma uniforme em tempo de execução. Como validação, o consumo energético de aplicações concorrentes é monitorado. Um estudo de casos discute a aplicabilidade dessa ferramenta em uma estratégia de escalonamento sensível ao consumo energético.

The current spread of multicore processors reinforces the need for strategies to implement mutithreaded programs. Since using synchronization methods to coordinate the access to shared data introduces contention, finding new strategies to implement concurrent data structures can lead to performance gains. This paper introduces a case study in which a graph data structure is implemented using low contention strategies: one based on low level atomic operations, one based on mutexes and another using transactional memory. Results show that the first presents better performance, the second the worst performance and the later a higher level of abstraction for programmers with a similar performance to the first.

Concurrent programming tools strive to exploit hardware resources as much as possible. Nonetheless, the lack of high level abstraction of such tools often require from the user a reasonable amount of knowledge in order to achieve satisfactory performance requirements as well as they do not prevent error prone situations. In this paper we present Kanga, a framework based on the abstractions of skeletons to provide a generic tool that encapsulate many common parallel patterns. Through two case studies we validate the framework implementation.

Arquiteturas paralelas tem se tornado onipresentes como suporte computacional em funcao da popularidade da tecnologia multicore. Nestas arquiteturas, as ferramentas de programacao mais adequadas sao aquelas que implementam modelos de programacao multithread, permitindo que programas sejam descritos por multiplos fluxos de execucao concorrente capazes de ocupar as varias unidades de processamento de forma paralela. Existem dois modelos basicos para decomposicao do paralelismo de uma aplicacao: a decomposicao em termos de paralelismo de dados ou de tarefas. A opcao por um ou outro destes modelos se da em funcao da natureza do problema que esta sendo implementado, sendo que diferentes ferramentas de programacao multithread oferecem diferentes facilidades de desenvolvimento para cada caso. Este trabalho avalia a interface de programacao oferecida por quatro ferramentas multithread como suporte a implementacao de diferentes padroes de paralelismo expresso por problemas recorrentes em aplicacoes matematicas. Neste texto sao considerados quatro padroes de problemas: (i) trivialmente paralelizaveis, (ii) recursivos, (iii) programacao dinâmica, e (iv) com grande numero de dependencias entre as atividades paralelas. Estes padroes sao representados, respectivamente, pelas seguintes aplicacoes: (i) problema de Satisfatibilidade Booleana (denominado 3Sat no restante deste texto), (ii) calculo da serie de Fibonacci (Fibo), (iii) o algoritmo Smith-Waterman para o alinhamento de sequencias (S-W), e (iv) decomposicao LU de uma matriz (LU). O estudo e completado com uma analise do desempenho dos programas construidos para estas aplicacoes nas diferentes ferramentas considerando suas estrategias de escalonamento. Com este tipo de trabalho, interdisciplinar, entende-se obter avancos tanto na area de desenvolvimento de software matematico como aprimoramento nas tecnicas de execucao paralela, conforme discutido em [1] Este texto limita-se a caracterizar as ferramentas de programacao selecionadas nesta fase do trabalho, que sao a academica Athreads [2], e as comerciais Cilk, OpenMP e TBB, sumarizadas em [4], e exemplificar os resultados pela analise de um conjunto de resultados de desempenho. Um dos objetivos a ser atingido e identificar a usabilidade de ferramentas de programacao multithread [3] no desenvolvimento de diferentes padroes de problemas matematicos. Athreads, Cilk e TBB embutem um nucleo de escalonamento que explora informacoes sobre a ordem lexicografica definida entre os threads pelo programa em execucao. Destas dependencias sao inferidos os custos computacionais de cada thread, assumindo que quanto mais antigo um thread for, maior sera seu custo computacional. Esta informacao de custo e considerada nas tomadas de decisao sobre os recursos de processamento disponiveis. A diferenca entre estas ferramentas se da na interface de programacao. Enquanto Cilk restringe o modelo de programacao em uma estrutura de criacao e sincronizacao aninhada de threads (nested fork/join), Athreads permite a construcao de qualquer estrutura de dependencias. Como consequencia, a estrutura regular em Cilk pode ser explorada com uma eficiencia maior por uma heuristica simples de escalonamento que considere esta regularidade nas dependencias entre threads. Por outro lado, em Athreads cabe ao programador conhecer a estrategia de escalonamento e organizar a criacao de threads de forma a refletir a heuristica de escalonamento empregada. TBB tambem tem como padrao a criacao aninhada de threads, mas, para nao limitar tanto como Cilk o poder de expressao de paralelismo, esta ferramenta permite ao programador criar threads externas a esta estrutura aninhada. Com uma interface de programacao totalmente diversa das anteriores, OpenMP e voltado para problemas onde ocorre paralelismo de dados, sendo seus programas caracterizados pela criacao, tambem aninhada, de lotes de trabalho. Seu nucleo de escalonamento considera a distribuicao da carga de trabalho contida neste lote. Operando, portanto, em rodadas de lotes de trabalhos recebidos. Dependencias entre os trabalhos nao sao consideradas, apenas o programador pode indicar que diferentes trabalhos, em um mesmo lote, possuem cargas computacionais diferentes para auxiliar nas heuristicas de escalonamento. Na Figura 1 sao apresentados os desempenhos, em termos de speedup (relacao entre o tempo de execucao do problema com uma thread e seu tempo de execucao paralelo) em uma arquitetura com oito cores. Por questoes de espaco, o grafico reflete o speedup apenas para o caso de execucao paralela com tambem oito threads. Figura 1. Grafico de speedup para o caso de oito threads. Observamos que, para uma aplicacao trivialmente paralelizavel, como o 3Sat, nao houve grande impacto do mecanismo de escalonamento e tambem as interfaces de programacao oferecidas pelas ferramentas nao impuseram nenhuma restricao a sua implementacao. No outro extremo, em aplicacoes como LU, em que o numero de dependencias entre threads e alto, tambem observamos que o nucleo de escalonamento nao possui margem de trabalho que permita diferenciar as ferramentas. Neste tipo de problema tambem notou-se uma maior dificuldade de desenvolvimento do programa em ferramentas vocacionadas ao paralelismo de dados, como OpenMP. Ja em aplicacoes onde existe uma estrutura regular na criacao de tarefas, como no calculo recursivo de Fibonacci, a heuristica de escalonamento adotada por Athreads, Cilk e TBB reflete em ganho de desempenho. Note-se que, quanto maior for a restricao imposta pela ferramenta para expressao do paralelismo (como em Cilk e TBB), maiores as chances de sucesso do escalonamento. Por outro lado, em Athreads, pequenas variacoes na ordem de criacao de threads, o que e permitido pela ferramenta, ocasionam impacto no desempenho obtido. Finalmente, no caso de um algoritmo de programacao dinâmica, como o S-W, encontramos dificuldades em modelar o problema considerando as diferentes interfaces de programacao utilizadas. No grafico e traduzido o desempenho obtido na melhor implementacao realizada ate o momento pelo grupo.

STM Haskell extends the Haskell functional programming language with a set of primitives for writing composable memory transactions. STM Haskell employs lazy version management and lazy conflict detection algorithms. This paper describes a new implementation of STM Haskell, completely implemented in Haskell, the LSTM. Different of all previous implementations of the library, it uses eager version management and early conflict detection. It is possible to avoid unnecessary computation using eager versioning by early conflict detection. Preliminary experiments of our prototype applied to the Haskell STM Benchmark suite show that our prototype provides similar speedup behavior to those provided by the native C implementation of STM Haskell. We also compare the performance of our prototype with an STM Haskell implementation using the TL2 algorithm, noticing an effective gain in terms of performance.

Applications of the cellular Potts model to investigate cellular structures are becoming widely spread in the scientific literature. Despite its realism and generality, the standard Monte Carlo algorithm used to evolve this model in the scientific literature lacks computational efficiency. As an alternative we introduce the Random Walker algorithm that is a modified Monte Carlo procedure of simpler parallelization. We test it in cell sorting and foam coarsening simulations obtaining velocity increase factors of 10 and 3 times, respectively, in relation to the standard algorithm. The results obtained with these simulations are equivalent to those obtained with the standard algorithm.

ISAM is a proposal directed to supporting physical and logical mobility, context-awareness, dynamic adaptation and the execution of large-scale distributed applications. In order to achieve its goals, ISAM uses, as strategy, an integrated environment that provides: (a) a programming language; (b) an execution environment; (c) a context recognition server. The integration is accomplished through an adaptation process that uses a multilevel collaborative model, in which both the system and the application contribute for that. In this paper we discuss the main components used to implement the ISAM features, and we also present a distributed application that explores some of this features.