A new MDA-SOA based framework for intercloud interoperability

Cloud computing has been one of the most important topics in Information Technology which aims to assure scalable and reliable on-demand services over the Internet. The expansion of the application scope of cloud services would require cooperation between clouds from different providers that have heterogeneous functionalities. This collaboration between different cloud vendors can provide better Quality of Services (QoS) at the lower price. However, current cloud systems have been developed without concerns of seamless cloud interconnection, and actually they do not support intercloud interoperability to enable collaboration between cloud service providers. Hence, the PhD work is motivated to address interoperability issue between cloud providers as a challenging research objective. This thesis proposes a new framework which supports inter-cloud interoperability in a heterogeneous computing resource cloud environment with the goal of dispatching the workload to the most effective clouds available at runtime. Analysing different methodologies that have been applied to resolve various problem scenarios related to interoperability lead us to exploit Model Driven Architecture (MDA) and Service Oriented Architecture (SOA) methods as appropriate approaches for our inter-cloud framework. Moreover, since distributing the operations in a cloud-based environment is a nondeterministic polynomial time (NP-complete) problem, a Genetic Algorithm (GA) based job scheduler proposed as a part of interoperability framework, offering workload migration with the best performance at the least cost. A new Agent Based Simulation (ABS) approach is proposed to model the inter-cloud environment with three types of agents: Cloud Subscriber agent, Cloud Provider agent, and Job agent. The ABS model is proposed to evaluate the proposed framework.

A domain specific language for domotic systems

To cope with modernity, the interesting of having a fully automated house has been increasing over the years, as technology evolves and as our lives become more stressful and overloaded. An automation system provides a way to simplify some daily tasks, allowing us to have more spare time to perform activities where we are really needed. There are some systems in this domain that try to implement these characteristics, but this kind of technology is at its early stages of evolution being that it is still far away of empowering the user with the desired control over a habitation. The reason is that the mentioned systems miss some important features such as adaptability, extension and evolution. These systems, developed from a bottom-up approach, are often tailored for programmers and domain experts, discarding most of the times the end users that remain with unfinished interfaces or products that they have difficulty to control. Moreover, complex behaviors are avoided, since they are extremely difficult to implement mostly due to the necessity of handling priorities, conflicts and device calibration. Besides, these solutions are only reachable at very high costs, yet they still have the limitation of being difficult to configure by non-technical people once in runtime operation. As a result, it is necessary to create a tool that allows the execution of several automated actions, with an interface that is easy to use but at the same time supports all the main features of this domain. It is also desirable that this tool is independent of the hardware so it can be reused, thus a Model Driven Development approach (MDD) is the ideal option, as it is a method that follows those principles. Since the automation domain has some very specific concepts, the use of models should be combined with a Domain Specific Language (DSL). With these two methods, it is possible to create a solution that is adapted to the end users, but also to domain experts and programmers due to the several levels of abstraction that can be added to diminish the complexity of use. The aim of this thesis is to design a Domain Specific Language (DSL) that uses the Model Driven Development approach (MDD), with the purpose of supporting Home Automation (HA) concepts. In this implementation, the development of simple and complex scenarios should be supported and will be one of the most important concerns. This DSL should also support other significant features in this domain, such as the ability to schedule tasks, which is something that is limited in the current existing solutions.

An agent based architecture to support monitoring in plug and produce manufacturing systems using knowledge extraction

In recent years a set of production paradigms were proposed in order to capacitate manufacturers to meet the new market requirements, such as the shift in demand for highly customized products resulting in a shorter product life cycle, rather than the traditional mass production standardized consumables. These new paradigms advocate solutions capable of facing these requirements, empowering manufacturing systems with a high capacity to adapt along with elevated flexibility and robustness in order to deal with disturbances, like unexpected orders or malfunctions. Evolvable Production Systems propose a solution based on the usage of modularity and self-organization with a fine granularity level, supporting pluggability and in this way allowing companies to add and/or remove components during execution without any extra re-programming effort. However, current monitoring software was not designed to fully support these characteristics, being commonly based on centralized SCADA systems, incapable of re-adapting during execution to the unexpected plugging/unplugging of devices nor changes in the entire system’s topology. Considering these aspects, the work developed for this thesis encompasses a fully distributed agent-based architecture, capable of performing knowledge extraction at different levels of abstraction without sacrificing the capacity to add and/or remove monitoring entities, responsible for data extraction and analysis, during runtime.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Monitoring and analysis of queries in distributed databases

Dissertação de Mestrado em Engenharia Informática

Caso de demonstração de uma framework para automatização do teste de APIs de aplicações SaaS

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Monitoring for a decidable fragment of MTL-∫

Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.

Dissecando o GEN

In thee present paper the classical concept of the corpuscular gene is dissected out in order to show the inconsistency of some genetical and cytological explanations based on it. The author begins by asking how do the genes perform their specific functions. Genetists say that colour in plants is sometimes due to the presence in the cytoplam of epidermal cells of an organic complex belonging to the anthocyanins and that this complex is produced by genes. The author then asks how can a gene produce an anthocyanin ? In accordance to Haldane's view the first product of a gene may be a free copy of the gene itself which is abandoned to the nucleus and then to the cytoplasm where it enters into reaction with other gene products. If, thus, the different substances which react in the cell for preparing the characters of the organism are copies of the genes then the chromosome must be very extravagant a thing : chain of the most diverse and heterogeneous substances (the genes) like agglutinins, precipitins, antibodies, hormones, erzyms, coenzyms, proteins, hydrocarbons, acids, bases, salts, water soluble and insoluble substances ! It would be very extrange that so a lot of chemical genes should not react with each other. remaining on the contrary, indefinitely the same in spite of the possibility of approaching and touching due to the stato of extreme distension of the chromosomes mouving within the fluid medium of the resting nucleus. If a given medium becomes acid in virtue of the presence of a free copy of an acid gene, then gene and character must be essentially the same thing and the difference between genotype and phenotype disappears, epigenesis gives up its place to preformation, and genetics goes back to its most remote beginnings. The author discusses the complete lack of arguments in support of the view that genes are corpuscular entities. To show the emharracing situation of the genetist who defends the idea of corpuscular genes, Dobzhansky's (1944) assertions that "Discrete entities like genes may be integrated into systems, the chromosomes, functioning as such. The existence of organs and tissues does not preclude their cellular organization" are discussed. In the opinion of the present writer, affirmations as such abrogate one of the most important characteristics of the genes, that is, their functional independence. Indeed, if the genes are independent, each one being capable of passing through mutational alterations or separating from its neighbours without changing them as Dobzhansky says, then the chromosome, genetically speaking, does not constitute a system. If on the other hand, theh chromosome be really a system it will suffer, as such, the influence of the alteration or suppression of the elements integrating it, and in this case the genes cannot be independent. We have therefore to decide : either the chromosome is. a system and th genes are not independent, or the genes are independent and the chromosome is not a syntem. What cannot surely exist is a system (the chromosome) formed by independent organs (the genes), as Dobzhansky admits. The parallel made by Dobzhansky between chromosomes and tissues seems to the author to be inadequate because we cannot compare heterogeneous things like a chromosome considered as a system made up by different organs (the genes), with a tissue formed, as we know, by the same organs (the cells) represented many times. The writer considers the chromosome as a true system and therefore gives no credit to the genes as independent elements. Genetists explain position effects in the following way : The products elaborated by the genes react with each other or with substances previously formed in the cell by the action of other gene products. Supposing that of two neighbouring genes A and B, the former reacts with a certain substance of the cellular medium (X) giving a product C which will suffer the action, of the latter (B). it follows that if the gene changes its position to a place far apart from A, the product it elaborates will spend more time for entering into contact with the substance C resulting from the action of A upon X, whose concentration is greater in the proximities of A. In this condition another gene produtc may anticipate the product of B in reacting with C, the normal course of reactions being altered from this time up. Let we see how many incongruencies and contradictions exist in such an explanation. Firstly, it has been established by genetists that the reaction due.to gene activities are specific and develop in a definite order, so that, each reaction prepares the medium for the following. Therefore, if the medium C resulting from the action of A upon x is the specific medium for the activity of B, it follows that no other gene, in consequence of its specificity, can work in this medium. It is only after the interference of B, changing the medium, that a new gene may enter into action. Since the genotype has not been modified by the change of the place of the gene, it is evident that the unique result we have to attend is a little delay without seious consequence in the beginning of the reaction of the product of B With its specific substratum C. This delay would be largely compensated by a greater amount of the substance C which the product of B should found already prepared. Moreover, the explanation did not take into account the fact that the genes work in the resting nucleus and that in this stage the chromosomes, very long and thin, form a network plunged into the nuclear sap. in which they are surely not still, changing from cell to cell and In the same cell from time to time, the distance separating any two genes of the same chromosome or of different ones. The idea that the genes may react directly with each other and not by means of their products, would lead to the concept of Goidschmidt and Piza, in accordance to which the chromosomes function as wholes. Really, if a gene B, accustomed to work between A and C (as for instance in the chromosome ABCDEF), passes to function differently only because an inversion has transferred it to the neighbourhood of F (as in AEDOBF), the gene F must equally be changed since we cannot almH that, of two reacting genes, only one is modified The genes E and A will be altered in the same way due to the change of place-of the former. Assuming that any modification in a gene causes a compensatory modification in its neighbour in order to re-establich the equilibrium of the reactions, we conclude that all the genes are modified in consequence of an inversion. The same would happen by mutations. The transformation of B into B' would changeA and C into A' and C respectively. The latter, reacting withD would transform it into D' and soon the whole chromosome would be modified. A localized change would therefore transform a primitive whole T into a new one T', as Piza pretends. The attraction point-to-point by the chromosomes is denied by the nresent writer. Arguments and facts favouring the view that chromosomes attract one another as wholes are presented. A fact which in the opinion of the author compromises sereously the idea of specific attraction gene-to-gene is found inthe behavior of the mutated gene. As we know, in homozygosis, the spme gene is represented twice in corresponding loci of the chromosomes. A mutation in one of them, sometimes so strong that it is capable of changing one sex into the opposite one or even killing the individual, has, notwithstading that, no effect on the previously existing mutual attraction of the corresponding loci. It seems reasonable to conclude that, if the genes A and A attract one another specifically, the attraction will disappear in consequence of the mutation. But, as in heterozygosis the genes continue to attract in the same way as before, it follows that the attraction is not specific and therefore does not be a gene attribute. Since homologous genes attract one another whatever their constitution, how do we understand the lack cf attraction between non homologous genes or between the genes of the same chromosome ? Cnromosome pairing is considered as being submitted to the same principles which govern gametes copulation or conjugation of Ciliata. Modern researches on the mating types of Ciliata offer a solid ground for such an intepretation. Chromosomes conjugate like Ciliata of the same variety, but of different mating types. In a cell there are n different sorts of chromosomes comparable to the varieties of Ciliata of the same species which do not mate. Of each sort there are in the cell only two chromosomes belonging to different mating types (homologous chromosomes). The chromosomes which will conjugate (belonging to the same "variety" but to different "mating types") produce a gamone-like substance that promotes their union, being without action upon the other chromosomes. In this simple way a single substance brings forth the same result that in the case of point-to-point attraction would be reached through the cooperation of as many different substances as the genes present in the chromosome. The chromosomes like the Ciliata, divide many times before they conjugate. (Gonial chromosomes) Like the Ciliata, when they reach maturity, they copulate. (Cyte chromosomes). Again, like the Ciliata which aggregate into clumps before mating, the chrorrasrmes join together in one side of the nucleus before pairing. (.Synizesis). Like the Ciliata which come out from the clumps paired two by two, the chromosomes leave the synizesis knot also in pairs. (Pachytene) The chromosomes, like the Ciliata, begin pairing at any part of their body. After some time the latter adjust their mouths, the former their kinetochores. During conjugation the Ciliata as well as the chromosomes exchange parts. Finally, the ones as the others separate to initiate a new cycle of divisions. It seems to the author that the analogies are to many to be overlooked. When two chemical compounds react with one another, both are transformed and new products appear at the and of the reaction. In the reaction in which the protoplasm takes place, a sharp difference is to be noted. The protoplasm, contrarily to what happens with the chemical substances, does not enter directly into reaction, but by means of products of its physiological activities. More than that while the compounds with Wich it reacts are changed, it preserves indefinitely its constitution. Here is one of the most important differences in the behavior of living and lifeless matter. Genes, accordingly, do not alter their constitution when they enter into reaction. Genetists contradict themselves when they affirm, on the one hand, that genes are entities which maintain indefinitely their chemical composition, and on the other hand, that mutation is a change in the chemica composition of the genes. They are thus conferring to the genes properties of the living and the lifeless substances. The protoplasm, as we know, without changing its composition, can synthesize different kinds of compounds as enzyms, hormones, and the like. A mutation, in the opinion of the writer would then be a new property acquired by the protoplasm without altering its chemical composition. With regard to the activities of the enzyms In the cells, the author writes : Due to the specificity of the enzyms we have that what determines the order in which they will enter into play is the chemical composition of the substances appearing in the protoplasm. Suppose that a nucleoproteln comes in relation to a protoplasm in which the following enzyms are present: a protease which breaks the nucleoproteln into protein and nucleic acid; a polynucleotidase which fragments the nucleic acid into nucleotids; a nucleotidase which decomposes the nucleotids into nucleoids and phosphoric acid; and, finally, a nucleosidase which attacs the nucleosids with production of sugar and purin or pyramidin bases. Now, it is evident that none of the enzyms which act on the nucleic acid and its products can enter into activity before the decomposition of the nucleoproteln by the protease present in the medium takes place. Leikewise, the nucleosidase cannot works without the nucleotidase previously decomposing the nucleotids, neither the latter can act before the entering into activity of the polynucleotidase for liberating the nucleotids. The number of enzyms which may work at a time depends upon the substances present m the protoplasm. The start and the end of enzym activities, the direction of the reactions toward the decomposition or the synthesis of chemical compounds, the duration of the reactions, all are in the dependence respectively o fthe nature of the substances, of the end products being left in, or retired from the medium, and of the amount of material present. The velocity of the reaction is conditioned by different factors as temperature, pH of the medium, and others. Genetists fall again into contradiction when they say that genes act like enzyms, controlling the reactions in the cells. They do not remember that to cintroll a reaction means to mark its beginning, to determine its direction, to regulate its velocity, and to stop it Enzyms, as we have seen, enjoy none of these properties improperly attributed to them. If, therefore, genes work like enzyms, they do not controll reactions, being, on the contrary, controlled by substances and conditions present in the protoplasm. A gene, like en enzym, cannot go into play, in the absence of the substance to which it is specific. Tne genes are considered as having two roles in the organism one preparing the characters attributed to them and other, preparing the medium for the activities of other genes. At the first glance it seems that only the former is specific. But, if we consider that each gene acts only when the appropriated medium is prepared for it, it follows that the medium is as specific to the gene as the gene to the medium. The author concludes from the analysis of the manner in which genes perform their function, that all the genes work at the same time anywhere in the organism, and that every character results from the activities of all the genes. A gene does therefore not await for a given medium because it is always in the appropriated medium. If the substratum in which it opperates changes, its activity changes correspondingly. Genes are permanently at work. It is true that they attend for an adequate medium to develop a certain actvity. But this does not mean that it is resting while the required cellular environment is being prepared. It never rests. While attending for certain conditions, it opperates in the previous enes It passes from medium to medium, from activity to activity, without stopping anywhere. Genetists are acquainted with situations in which the attended results do not appear. To solve these situations they use to make appeal to the interference of other genes (modifiers, suppressors, activators, intensifiers, dilutors, a. s. o.), nothing else doing in this manner than displacing the problem. To make genetcal systems function genetists confer to their hypothetical entities truly miraculous faculties. To affirm as they do w'th so great a simplicity, that a gene produces an anthocyanin, an enzym, a hormone, or the like, is attribute to the gene activities that onlv very complex structures like cells or glands would be capable of producing Genetists try to avoid this difficulty advancing that the gene works in collaboration with all the other genes as well as with the cytoplasm. Of course, such an affirmation merely means that what works at each time is not the gene, but the whole cell. Consequently, if it is the whole cell which is at work in every situation, it follows that the complete set of genes are permanently in activity, their activity changing in accordance with the part of the organism in which they are working. Transplantation experiments carried out between creeper and normal fowl embryos are discussed in order to show that there is ro local gene action, at least in some cases in which genetists use to recognize such an action. The author thinks that the pleiotropism concept should be applied only to the effects and not to the causes. A pleiotropic gene would be one that in a single actuation upon a more primitive structure were capable of producing by means of secondary influences a multiple effect This definition, however, does not preclude localized gene action, only displacing it. But, if genetics goes back to the egg and puts in it the starting point for all events which in course of development finish by producing the visible characters of the organism, this will signify a great progress. From the analysis of the results of the study of the phenocopies the author concludes that agents other than genes being also capaole of determining the same characters as the genes, these entities lose much of their credit as the unique makers of the organism. Insisting about some points already discussed, the author lays once more stress upon the manner in which the genes exercise their activities, emphasizing that the complete set of genes works jointly in collaboration with the other elements of the cell, and that this work changes with development in the different parts of the organism. To defend this point of view the author starts fron the premiss that a nerve cell is different from a muscle cell. Taking this for granted the author continues saying that those cells have been differentiated as systems, that is all their parts have been changed during development. The nucleus of the nerve cell is therefore different from the nucleus of the muscle cell not only in shape, but also in function. Though fundamentally formed by th same parts, these cells differ integrally from one another by the specialization. Without losing anyone of its essenial properties the protoplasm differentiates itself into distinct kinds of cells, as the living beings differentiate into species. The modified cells within the organism are comparable to the modified organisms within the species. A nervo and a muscle cell of the same organism are therefore like two species originated from a common ancestor : integrally distinct. Like the cytoplasm, the nucleus of a nerve cell differs from the one of a muscle cell in all pecularities and accordingly, nerve cell chromosomes are different from muscle cell chromosomes. We cannot understand differentiation of a part only of a cell. The differentiation must be of the whole cell as a system. When a cell in the course of development becomes a nerve cell or a muscle cell , it undoubtedly acquires nerve cell or muscle cell cytoplasm and nucleus respectively. It is not admissible that the cytoplasm has been changed r.lone, the nucleus remaining the same in both kinds of cells. It is therefore legitimate to conclude that nerve ceil ha.s nerve cell chromosomes and muscle cell, muscle cell chromosomes. Consequently, the genes, representing as they do, specific functions of the chromossomes, are different in different sorts of cells. After having discussed the development of the Amphibian egg on the light of modern researches, the author says : We have seen till now that the development of the egg is almost finished and the larva about to become a free-swimming tadepole and, notwithstanding this, the genes have not yet entered with their specific work. If the haed and tail position is determined without the concourse of the genes; if dorso-ventrality and bilaterality of the embryo are not due to specific gene actions; if the unequal division of the blastula cells, the different speed with which the cells multiply in each hemisphere, and the differential repartition of the substances present in the cytoplasm, all this do not depend on genes; if gastrulation, neurulation. division of the embryo body into morphogenetic fields, definitive determination of primordia, and histological differentiation of the organism go on without the specific cooperation of the genes, it is the case of asking to what then the genes serve ? Based on the mechanism of plant galls formation by gall insects and on the manner in which organizers and their products exercise their activities in the developing organism, the author interprets gene action in the following way : The genes alter structures which have been formed without their specific intervention. Working in one substratum whose existence does not depend o nthem, the genes would be capable of modelling in it the particularities which make it characteristic for a given individual. Thus, the tegument of an animal, as a fundamental structure of the organism, is not due to gene action, but the presence or absence of hair, scales, tubercles, spines, the colour or any other particularities of the skin, may be decided by the genes. The organizer decides whether a primordium will be eye or gill. The details of these organs, however, are left to the genetic potentiality of the tissue which received the induction. For instance, Urodele mouth organizer induces Anura presumptive epidermis to develop into mouth. But, this mouth will be farhioned in the Anura manner. Finalizing the author presents his own concept of the genes. The genes are not independent material particles charged with specific activities, but specific functions of the whole chromosome. To say that a given chromosome has n genes means that this chromonome, in different circumstances, may exercise n distinct activities. Thus, under the influence of a leg evocator the chromosome, as whole, develops its "leg" activity, while wbitm the field of influence of an eye evocator it will develop its "eye" activity. Translocations, deficiencies and inversions will transform more or less deeply a whole into another one, This new whole may continue to produce the same activities it had formerly in addition to those wich may have been induced by the grafted fragment, may lose some functions or acquire entirely new properties, that is, properties that none of them had previously The theoretical possibility of the chromosomes acquiring new genetical properties in consequence of an exchange of parts postulated by the present writer has been experimentally confirmed by Dobzhansky, who verified that, when any two Drosophila pseudoobscura II - chromosomes exchange parts, the chossover chromosomes show new "synthetic" genetical effects.

Análisis y sintonización de aplicaciones paralelas/distribuidas de bioinformática: caso de estudio mpiBLAST

En termes de temps d'execució i ús de dades, les aplicacions paral·leles/distribuïdes poden tenir execucions variables, fins i tot quan s'empra el mateix conjunt de dades d'entrada. Existeixen certs aspectes de rendiment relacionats amb l'entorn que poden afectar dinàmicament el comportament de l'aplicació, tals com: la capacitat de la memòria, latència de la xarxa, el nombre de nodes, l'heterogeneïtat dels nodes, entre d'altres. És important considerar que l'aplicació pot executar-se en diferents configuracions de maquinari i el desenvolupador d'aplicacions no port garantir que els ajustaments de rendiment per a un sistema en particular continuïn essent vàlids per a d'altres configuracions. L'anàlisi dinàmica de les aplicacions ha demostrat ser el millor enfocament per a l'anàlisi del rendiment per dues raons principals. En primer lloc, ofereix una solució molt còmoda des del punt de vista dels desenvolupadors mentre que aquests dissenyen i evaluen les seves aplicacions paral·leles. En segon lloc, perquè s'adapta millor a l'aplicació durant l'execució. Aquest enfocament no requereix la intervenció de desenvolupadors o fins i tot l'accés al codi font de l'aplicació. S'analitza l'aplicació en temps real d'execució i es considra i analitza la recerca dels possibles colls d'ampolla i optimitzacions. Per a optimitzar l'execució de l'aplicació bioinformàtica mpiBLAST, vam analitzar el seu comportament per a identificar els paràmetres que intervenen en el rendiment d'ella, com ara: l'ús de la memòria, l'ús de la xarxa, patrons d'E/S, el sistema de fitxers emprat, l'arquitectura del processador, la grandària de la base de dades biològica, la grandària de la seqüència de consulta, la distribució de les seqüències dintre d'elles, el nombre de fragments de la base de dades i/o la granularitat dels treballs assignats a cada procés. El nostre objectiu és determinar quins d'aquests paràmetres tenen major impacte en el rendiment de les aplicacions i com ajustar-los dinàmicament per a millorar el rendiment de l'aplicació. Analitzant el rendiment de l'aplicació mpiBLAST hem trobat un conjunt de dades que identifiquen cert nivell de serial·lització dintre l'execució. Reconeixent l'impacte de la caracterització de les seqüències dintre de les diferents bases de dades i una relació entre la capacitat dels workers i la granularitat de la càrrega de treball actual, aquestes podrien ser sintonitzades dinàmicament. Altres millores també inclouen optimitzacions relacionades amb el sistema de fitxers paral·lel i la possibilitat d'execució en múltiples multinucli. La grandària de gra de treball està influenciat per factors com el tipus de base de dades, la grandària de la base de dades, i la relació entre grandària de la càrrega de treball i la capacitat dels treballadors.

Exploring Cross-layer power management for PGAS applications on the SCC platform

Technological limitations and power constraints are resulting in high-performance parallel computing architectures that are based on large numbers of high-core-count processors. Commercially available processors are now at 8 and 16 cores and experimental platforms, such as the many-core Intel Single-chip Cloud Computer (SCC) platform, provide much higher core counts. These trends are presenting new sets of challenges to HPC applications including programming complexity and the need for extreme energy efficiency.In this work, we first investigate the power behavior of scientific PGAS application kernels on the SCC platform, and explore opportunities and challenges for power management within the PGAS framework. Results obtained via empirical evaluation of Unified Parallel C (UPC) applications on the SCC platform under different constraints, show that, for specific operations, the potential for energy savings in PGAS is large; and power/performance trade-offs can be effectively managed using a cross-layerapproach. We investigate cross-layer power management using PGAS language extensions and runtime mechanisms that manipulate power/performance tradeoffs. Specifically, we present the design, implementation and evaluation of such a middleware for application-aware cross-layer power management of UPC applications on the SCC platform. Finally, based on our observations, we provide a set of recommendations and insights that can be used to support similar power management for PGAS applications on other many-core platforms.

CLFP intrinsic constraints-based group management of blended learning situations

When applying a Collaborative Learning Flow Pattern (CLFP) to structure sequences of activities in real contexts, one of the tasks is to organize groups of students according to the constraints imposed by the pattern. Sometimes,unexpected events occurring at runtime force this pre-defined distribution to be changed. In such situations, an adjustment of the group structures to be adapted to the new context is needed. If the collaborative pattern is complex, this group redefinitionmight be difficult and time consuming to be carried out in real time. In this context, technology can help on notifying the teacher which incompatibilitiesbetween the actual context and the constraints imposed by the pattern. This chapter presents a flexible solution for supporting teachers in the group organization profiting from the intrinsic constraints defined by a CLFPs codified in IMS Learning Design. A prototype of a web-based tool for the TAPPS and Jigsaw CLFPs and the preliminary results of a controlled user study are alsopresented as a first step towards flexible technological systems to support grouping tasks in this context.

ATS3-testausjärjestelmän evaluointi

Työ tehtiin Nokia Technology Platforms S60 Mobile Runtime-yksikölle. Työn tavoitteena oli evaluoida ATS3-testausjärjestelmä. ATS3-järjestelmällä voidaan automatisoida ohjelmistotestausta. Evaluoinnilla pyrittiin selvittämään voidaanko tuotekehitysvaiheessa oleva järjestelmä ottaa jo käyttöön vai vaatiiko se vielä lisäkehitystä. Työssä kerrotaan aluksi yleisesti ohjelmistotestauksesta. Siinä käydään läpi myös testausprosessin vaiheet sekä kerrotaan lyhyesti avuksi kehitetyistä työkaluista. Työssä kerrotaan myös ATS3-järjestelmän edeltäjien ominaisuuksista, sekä miten ne eroavat tarkastelun kohteena olevasta järjestelmästä. Varsinainen evaluointi alkoi tutustumalla ja asentamalla järjestelmä. Tämän jälkeen suoritettiin samat testit sekä ATS2.x-järjestelmässä että ATS3-järjestelmäss. Testauksen jälkeen analysoitiin testitulosten yhdenmukaisuuden perusteella, voidaanko siirtyä käyttömään ATS3-järjestelmää. Testitulokset olivat käytännässä yhdenmukaiset suoritettaessa testejä matkapuhelimessa, mutta emulaattoritestaus täytyi jättää väliin. Lukuisista yrityksistä sekä järjestelmän kehittäjän avusta huolimatta testejä ei onnistuttu suorittamaan ATS3-järjestelmän emulaattoriympäristössä. Näin ollen päädyttiin tulokseen, ettei järjestelmää voida ottaa vielä käytöön emulaattoritestauksessa, vaan se vaatii lisätutkimusta sekä perehtymistä järjestelmään.

Argumentation et narration dans le discours publicitaire

De la publicité au discours politique, les procédés d'argumentation sont variés. Un seul d'entre eux, aux multiples occurrences, occupe ce mémoire : l'emploi de la narration dans le discours publicitaire. Il s'agit plus précisément d'étudier les manières dont s'articulent l'argumentation et la narration dans le contexte publicitaire. Les exemples analysés se réfèrent à deux modalités narratives distinctes, les récits factuels et les récits fictionnels. Ils sont au nombre de quatre, relatifs à trois produits différents : une publicité pour la gamme Excellence de Lindt publiée en avril 2008 dans Femina ; un publi-reportage consacré au café Jinogalpa de Nespresso diffusé en février 2008 dans un magazine promotionnel ; un fascicule promotionnel consacré à Jinogalpa, distribué avec le même magazine ; un iconotexte publicitaire datant de février 1938 pour le Cognac Hennessy issu de L'Illustration. D'une part, l'analyse confirme les observations faites par les études rhétoriques: l'usage de la narration par l'argumentation publicitaire recouvre les catégories de l'exemplum (l'illustration ou l'analogie) et de la narratio (narration orientée favorisant une réception pertinente de l'argumentation). D'autre part, l'analyse pointe également des phénomènes nouveaux : l'emploi d'assertions présuppositionnelles par la reformulation des cadres spatio-temporels implicites du récit en pôles d'argumentation explicites, l'utilisation de fragments de récit et de scripts narratifs comme embrayeurs d'une interprétation orientée ou encore l'usage des genres narratifs comme brouilleurs du contrat de communication préétabli.

Protecting mobile agents from external replay attacks

Peer-reviewed