Improving Scalability of Application-Level Checkpoint-Recovery by Reducing Checkpoint Sizes

The execution times of large-scale parallel applications on nowadays multi/many-core systems are usually longer than the mean time between failures. Therefore, parallel applications must tolerate hardware failures to ensure that not all computation done is lost on machine failures. Checkpointing and rollback recovery is one of the most popular techniques to implement fault-tolerant applications. However, checkpointing parallel applications is expensive in terms of computing time, network utilization and storage resources. Thus, current checkpoint-recovery techniques should minimize these costs in order to be useful for large scale systems. In this paper three different and complementary techniques to reduce the size of the checkpoints generated by application-level checkpointing are proposed and implemented. Detailed experimental results obtained on a multicore cluster show the effectiveness of the proposed methods to reduce checkpointing cost.     

Combined ICA and FCA Schemes for a Hierarchical Network

A combined idle channel assignment (ICA) and fixed channel assignment (FCA) scheme is proposed to improve the traffic performance in a hierarchical network. This dual-mode network integrates the Frequency Division Duplex (FDD) and Time Division Duplex (TDD) modes of the Universal Mobile Telecommunication System (UMTS) and Terrestrial Radio Access (UTRA) in a given cell. This approach includes a high traffic load area and a blocked area as an example to evaluate the traffic performance. The ICA threshold and network timeout period effects on the traffic performance of this integrated dual-mode network are also investigated. The analytical results show that the handoff failure probabilities of the integrated dual-mode network can be reduced significantly with a minimal increase in the new call blocking probability when the combined ICA and FCA scheme replaces the FCA scheme. The integrated dual-mode network using the combined ICA and FCA scheme also increases the carried traffic. The traffic performance improvements for non-uniformly generated new calls are more significant than those for uniformly generated new calls when the combined ICA and FCA scheme is used. An increase in the high ICA threshold will result in an increase in the total carried traffic and an increase in the new call blocking and handoff failure probabilities for higher-tiered and low-tiered systems located in the high traffic load area. The traffic performance was evaluated using the discrete time simulation method to validate the analysis results.     

An architecture for a configurable mixed-signal device

The mixed-signal programmable system-on-chip (PSOC) architecture for high-volume low-cost applications is presented. Programmable analog, digital, and clocking circuits are combined with flash memory and a microcontroller to provide a platform for single-chip solutions for low-cost consumer applications. Both programmable analog and digital circuits are designed to support a moderate level of abstraction, balancing flexibility against cost and performance. A rough comparison of alternative approaches based on functionality and cost is presented.     

A neural network based intelligent system for tile prefetching in web map services

Web mapping has become a popular way of distributing interactive digital maps over the internet. Instead of dynamically generating map images on the fly, those can be pre-generated and served from a server-side cache for faster retrieval. However, these caches can grow unmanageably in size when the cartography covers mid to large areas for multiple rendering scales. This forces modest organizations to use partial caches containing just a subset of the total tiles, and makes their services less attractive than other mapping services like Google Maps or Microsoft Bing Maps. This work proposes a neural-network-based intelligent system that predicts which areas are likely to be requested in the future from a catalog of geographic features and a short history of past requests. These priority regions can be used by a tile prefetching policy to achieve an optimal population of the cache. Neural networks are trained and validated using supervised learning with real data-sets from a public nation-wide web map service. Trace-driven simulations demonstrate that accurate long-term predictions, up to 90% in terms of cache-hit ratio, can be obtained with the proposed model by prefetching a low fraction, only the 20% of the total tiles, and with a short training period.     

Typing artifacts in megamodeling

Model management is essential for coping with the complexity introduced by the increasing number and varied nature of artifacts involved in model-driven engineering-based projects. Global model management (GMM) addresses this issue by enabling the representation of artifacts, particularly transformation composition and execution, within a model called a megamodel. Type information about artifacts can be used for preventing type errors during execution. Built on our previous work, in this paper we present the core elements of a type system for GMM that improves its original typing approach and enables both typechecking and type inference on artifacts within a megamodel. This type system is able to deal with non-trivial situations such as the use of higher order transformations. We also present a prototypical implementation of such a type system.     

Applicability assessment of a real-time PCR assay for the specific detection of bovine,ovine and caprine material in feedstuffs

A TaqMan real-time polymerase chain reaction (PCR) method was developed for specific detection of bovine, ovine and caprine processed animal protein (PAP) in industrial feedstuffs. The method uses species-specific primers and probes targeting short mitochondrial D-loop sequences, and a positive amplification control based on 18S rRNA gene. The applicability of the real-time PCR protocol was assessed through analysis of 126 industrial feed samples that were manufactured to reproduce rendering processes of commercial feeds destined for farmed animals. The assay successfully classified samples as positive or negative according to the ruminant composition, enabling qualitative detection of banned material in feeds at levels as low as 0.1%. Although the method provides quantitative potential, results suggest that the real quantitative capability of the assay is limited by the existing variability in terms of composition and processing treatments of the feeds, which affect the amount and quality of amplifiable DNA.     

Incorporation of process integration into life cycle analysis for the production of biofuels

This article presents a new approach for incorporating process-integration tools into life cycle analysis (LCA) for biofuel production. Process synthesis techniques using mass- and energy-integration tools are employed to generate various scenarios for reducing mass and energy consumption in the process. The global implications of these changes and the associated trade-offs are assessed using the LCA tool: GREET. The developed approach enables the consideration of several levels of process integration while tracking the process economics and the reduction of the net greenhouse gas emissions. Several cases of biofuels with different processing technologies have been considered in this study, and the results show that when the process-integration tools are effectively utilized and combined with LCA, better insights are obtained and the net greenhouse gas emissions decrease drastically for different biofuels.     

Multiplex Real-time PCR for the Simultaneous Detection of Salmonella spp. and Listeria monocytogenes in Food Samples

In this study, we have developed a rapid method for the simultaneous detection of Listeria monocytogenes and Salmonella spp. in foods, combining culture enrichment and a multiplex real-time polymerase chain reaction (PCR). The assay used two pre-existing primer-probe sets, labelled with different reporter dyes to enable the direct distinction of the original contaminating agent. Amplification efficiency and inclusivity/exclusivity of the combined assay was successfully assessed. The overall process included the culture enrichment based on the ISO standard, consisting of 24 h incubation in appropriate media (Half Fraser Broth for Listeria and buffered peptone water (BPW) for Salmonella), followed by a single DNA extraction of mixed enrichment aliquots, and real-time PCR detection of the hly and bipA genes of L. monocytogenes and Salmonella spp., respectively. An internal amplification control, co-amplified during the PCR run, was included in the assay to verify the results. The tool was evaluated with a variety of artificially inoculated samples of fresh products and ready to eat and cooked dishes, allowing the identification of the target pathogens down to 5 CFU/25 g of food sample. Moreover, the analysis saved a considerable amount of time compared to the ISO standard, being performed in less than 2 working days. Specificity, sensitivity and accuracy were satisfactorily tested by comparison to the standard methods ISO 11290-2:1998 and ISO 6579:2002, suggesting that the tool has a great potential as a reliable alternative for food safety assurance providing rapid detection of both pathogens in food samples.     

Improvement of Water Status Methodology for Leafy Vegetables Reduces Consumption of Time, Skilled Labor, and Laboratory Resources

When determining the water status of leafy vegetables with oven-drying techniques, consumption of time and resources is inevitable. The aim of this work was to evaluate the performance of both relative water content (RWC) and free water and bound water content (FW–BW) techniques to obtain the water content index (WC) of different leafy vegetables in order to dispense with the traditional methodology for water content determination. By doing this, not only consumption of time is reduced, but also skilled labor and laboratory resources. Butterhead lettuces harvested at different growing stages and stored at different postharvest conditions were evaluated. In all cases, water content values obtained with RWC technique were statistically equivalent to those obtained with the traditional methodology. Instead, water content values obtained with FW–BW technique were considerably higher than the original WC. Consequently, using RWC technique data to obtain water content, the time required to determine water status in butterhead lettuce is reduced by 25%. In addition, fresh plants of swiss chard, akusay (chinese cabbage), and romaine lettuce were evaluated in order to validate the simplified methodology. Results obtained were similar to those observed for butterhead lettuce.