Real-Time Application Mapping for Many-Cores Using a Limited Migrative Model

Many-core platforms are an emerging technology in the real-time embedded domain. These devices offer various options for power savings, cost reductions and contribute to the overall system flexibility, however, issues such as unpredictability, scalability and analysis pessimism are serious challenges to their integration into the aforementioned area. The focus of this work is on many-core platforms using a limited migrative model (LMM). LMM is an approach based on the fundamental concepts of the multi-kernel paradigm, which is a promising step towards scalable and predictable many-cores. In this work, we formulate the problem of real-time application mapping on a many-core platform using LMM, and propose a three-stage method to solve it. An extended version of the existing analysis is used to assure that derived mappings (i) guarantee the fulfilment of timing constraints posed on worst-case communication delays of individual applications, and (ii) provide an environment to perform load balancing for e.g. energy/thermal management, fault tolerance and/or performance reasons.

Typhoid fever as cellular microbiological model

The knowledge about typhoid fever pathogenesis is growing in the last years, mainly about the cellular and molecular phenomena that are responsible by clinical manifestations of this disease. In this article are discussed several recent discoveries, as follows: a) Bacterial type III protein secretion system; b) The five virulence genes of Salmonella spp. that encoding Sips (Salmonella invasion protein) A, B, C, D and E, which are capable of induce apoptosis in macrophages; c) The function of Toll R2 and Toll R4 receptors present in the macrophage surface (discovered in the Drosophila). The Toll family receptors are critical in the signalizing mediated by LPS in macrophages in association with LBP and CD14; d) The lines of immune defense between intestinal lumen and internal organs; e) The fundamental role of the endothelial cells in the inflammatory deviation from bloodstream into infected tissues by bacteria. In addition to above subjects, the authors comment the correlation between the clinical features of typhoid fever and the cellular and molecular phenomena of this disease, as well as the therapeutic consequences of this knowledge.

McCoy cell line as a possible model containing CD4+ receptors for the study of HIV-1 replication

Several studies have recently shown the use of recombinant rabies virus as potential vector-viral vaccine for HIV-1. The sequence homology between gp 120 and rabies virus glycoprotein has been reported. The McCoy cell line has therefore been used to show CD4+ or CD4+ like receptors. Samples of HIV-1 were isolated, when plasma of HIV-1 positive patients was inoculated in the McCoy cell line. The virus infection was then studied during successive virus passages. The proteins released in the extra cellular medium were checked for protein activity, by exposure to SDS Electrophoresis and blotting to nitro-cellulose filter, then reacting with sera of HIV positive and negative patients. Successive passages were performed, and showed viral replication, membrane permeabilization, the syncytium formation, and the cellular lysis (cytopathic effect). Flow cytometry analysis shows clear evidence that CD4+ receptors are present in this cell line, which enhances the likelihood of easy isolation and replication of HIV. The results observed allow the use of this cell line as a possible model for isolating HIV, as well as for carrying out studies of the dynamics of viral infection in several situations, including exposure to drugs in pharmacological studies, and possibly studies and analyses of the immune response in vaccine therapies.

An Execution Model for Fine-Grained Parallelism in Ada

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 25 to 29, Jun, 2015. Madrid, Spain. Best Paper Award.

The CONCERTO methodology for model-based development of avionics SW

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 22 to 26, Jun, 2015, Madrid, Spain.

A Multi-DAG Model for Real-Time Parallel Applications with Conditional Execution

The 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015). 13 to 17, Apr, 2015, Embedded Systems. Salamanca, Spain.

A system model and stack for the parallelization of time-critical applications on many-core architectures

3rd Workshop on High-performance and Real-time Embedded Systems (HIRES 2015). 21, Jan, 2015. Amsterdam, Netherlands.

Per-unit royalty and fixed-fee licensing in a differentiated Stackelberg model

In the present paper we consider a differentiated Stackelberg model, when the leader firm engages in an R&D process that gives an endogenous cost-reducing innovation. The aim is to study the licensing of the cost-reduction by a per-unit royalty and a fixed-fee. We analyse the implications of these types of licensing contracts over the R&D effort, the profits of the firms, the consumer surplus and the social welfare. By using comparative static analysis, we conclude that the degree of the differentiation of the goods plays an important role in the results.

Punçoamento em lajes fungiformes pré-esforçadas no model code 2010

Dissertação para obtenção do grau de Mestre em Engenharia Civil - Perfil Estruturas

Stochastic model of transcription initiation of closely spaced promoters in escherichia coli

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Performance Model for MRC Receivers with Adaptive Modulation and Coding in Rayleigh Fading Correlated Channels with Imperfect CSIT

RTUWO Advances in Wireless and Optical Communications 2015 (RTUWO 2015). 5-6 Nov Riga, Latvia.

How realistic is the mixed-criticality real-time system model?

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee

Geomorphic dam-break flows. Part I: conceptual model

Proceedings of the Institution of Civil Engineers - Water Management 163 Issue WM6

Development and validation of a risk model for prediction of hazardous alcohol consumption in general practice attendees : the PredictAL study

Background: Little is known about the risk of progression to hazardous alcohol use in people currently drinking at safe limits. We aimed to develop a prediction model (predictAL) for the development of hazardous drinking in safe drinkers. Methods: A prospective cohort study of adult general practice attendees in six European countries and Chile followed up over 6 months. We recruited 10,045 attendees between April 2003 to February 2005. 6193 European and 2462 Chilean attendees recorded AUDIT scores below 8 in men and 5 in women at recruitment and were used in modelling risk. 38 risk factors were measured to construct a risk model for the development of hazardous drinking using stepwise logistic regression. The model was corrected for over fitting and tested in an external population. The main outcome was hazardous drinking defined by an AUDIT score >= 8 in men and >= 5 in women. Results: 69.0% of attendees were recruited, of whom 89.5% participated again after six months. The risk factors in the final predictAL model were sex, age, country, baseline AUDIT score, panic syndrome and lifetime alcohol problem. The predictAL model's average c-index across all six European countries was 0.839 (95% CI 0.805, 0.873). The Hedge's g effect size for the difference in log odds of predicted probability between safe drinkers in Europe who subsequently developed hazardous alcohol use and those who did not was 1.38 (95% CI 1.25, 1.51). External validation of the algorithm in Chilean safe drinkers resulted in a c-index of 0.781 (95% CI 0.717, 0.846) and Hedge's g of 0.68 (95% CI 0.57, 0.78). Conclusions: The predictAL risk model for development of hazardous consumption in safe drinkers compares favourably with risk algorithms for disorders in other medical settings and can be a useful first step in prevention of alcohol misuse.

An immunofluorescence test for diagnosis of ophthalmic herpes in a mouse corneal model

Herpes simplex virus type 1 (HSV-1) ophthalmic disease is the most common cause of corneal blindness in humans world-wide. Current culture techniques for HSV take several days and commercially available HSV laboratory based diagnostic techniques vary in sensitivity. Our study was conducted to evaluate the use of a quicker and simpler method to herpes ophthalmic diagnosis. Corneal smears were made by firm imprints of infected mouse eyes to glass slides, after smears were fixated with cold acetone, and an indirect immunofluorescence (IIF) method was performed using monoclonal antibodies in a murine model of ophthalmic herpes. Eye swabs from infected mice were inoculated in Vero cells for virus isolation. Cytology and histology of the eye were also performed, using hematoxylin-eosin routine. Mouse eyes were examined by slit-lamp biomicroscopy for evidence of herpetic disease at various times postinoculation. We made a comparative evaluation of sensitivity, specificity and speed of methods for laboratory detection of HSV. Our results indicate that this IIF method is quick, sensitive, specific and can be useful in the diagnosis of ophthalmic herpes as demonstrated in an animal model.