Fault-aware Communication Mapping for NoCs with Guaranteed Latency

As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications require guarantees on both message arrival probability and response time. We address the problem of transient link failures by means of temporally and spatially redundant transmission of messages, such that designer-imposed message arrival probabilities are guaranteed. Response time minimisation is achieved by a heuristic that statically assigns multiple copies of each message to network links, intelligently combining temporal and spatial redundancy. Concerns regarding energy consumption are addressed in two ways. First, we reduce the total amount of transmitted messages, and, second, we minimise the application response time such that the resulted time slack can be exploited for energy savings through voltage reduction. The advantages of the proposed approach are guaranteed message arrival probability and guaranteed worst case application response time.     

Synthesizing Energy-Efficient Embedded Systems with LOPOCOS

In this paper, we introduce the LOPOCOS (Low Power Co-synthesis) system, a prototype CAD tool for system level co-design. LOPOCOS targets the design of energy-efficient embedded systems implemented as heterogeneous distributed architectures. In particular, it is designed to solve the specific problems involved in architectures that include dynamic voltage scalable (DVS) processors. The aim of this paper is to demonstrate how LOPOCOS can support the system designer in identifying energy-efficient hardware/software implementations for the desired embedded systems. Hence, highlighting the necessary optimization steps during design space exploration for DVS enable architectures. The optimization steps carried out in LOPOCOS involve component allocation and task/communication mapping as well as scheduling and dynamic voltage scaling. LOPOCOS has the following key features, which contribute to this energy efficiency. During the voltage scaling valuable power profile information of task execution is taken into account, hence, the accuracy of the energy estimation is improved. A combined optimization for scheduling and communication mapping based on genetic algorithm, optimizes simultaneously execution order and communication mapping towards the utilization of the DVS processors and timing behaviour. Furthermore, a separation of task and communication mapping allows a more effective implementation of both task and communication mapping optimizationsteps. Extensive experiments are conducted to demonstrate the efficiency of LOPOCOS. We report up to 38% higher energy reductions compared to previous co-synthesis techniques for DVS systems. The investigations include a real-life example of an optical flow detection algorithm.     

Calibration of the Density-Gradient model by using the multidimensional effective-mass Schrödinger equation

A calibration method is developed for the electron effective mass in the Density-Gradient model. This method uses the two- and three-dimensional effective-mass Schrödinger equations, which are solved for bounded quantum systems. The electron effective mass is computed by fitting the electron concentration computed by using the Density-Gradient model to the electron concentration computed by using the Schrödinger equation. Results for strongly confined silicon system with (100), (110), and (111) crystallographic orientations are presented. It is shown that the effective mass varies with the shape and dimensions of the quantum box. In device simulations, one should use the value of m_n that corresponds to the right shape and dimensions of the confinement region in the device.     

Modeling and formal verification of embedded systems based on a Petri net representation

In this paper we concentrate on aspects related to modeling and formal verification of embedded systems. First, we define a formal model of computation for embedded systems based on Petri nets that can capture important features of such systems and allows their representation at different levels of granularity. Our modeling formalism has a well-defined semantics so that it supports a precise representation of the system, the use of formal methods to verify its correctness, and the automation of different tasks along the design process. Second, we propose an approach to the problem of formal verification of embedded systems represented in our modeling formalism. We make use of model checking to prove whether certain properties, expressed as temporal logic formulas, hold with respect to the system model. We introduce a systematic procedure to translate our model into timed automata so that it is possible to use available model checking tools. We propose two strategies for improving the verification efficiency, the first by applying correctness-preserving transformations and the second by exploring the degree of parallelism characteristic to the system. Some examples, including a realistic industrial case, demonstrate the efficiency of our approach on practical applications.     

Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems

We present an approach to static priority preemptive process scheduling for the synthesis of hard real-time distributed embedded systems where communication plays an important role. The communication model is based on a time-triggered protocol. We have developed an analysis for the communication delays with four different message scheduling policies over a time-triggered communication channel. Optimization strategies for the synthesis of communication are developed, and the four approaches to message scheduling are compared using extensive experiments.     

Betulinic Acid in Complex with a Gamma-Cyclodextrin Derivative Decreases Proliferation and in Vivo Tumor Development of Non-Metastatic and Metastatic B164A5 Cells

Betulinic acid, a very promising anti-melanoma agent, has very low water solubility that causes low bioavailability. To overcome this inconvenience, a highly water-soluble cyclodextrin was used (octakis-[6-deoxy-6-(2-sulfanyl ethanesulfonic acid)]-γ-cyclodextrin). The complex was physico-chemically analyzed using differential scanning calorimetry (DSC), X-ray and scanning electron microscopy (SEM) methods and then in vitro tested for its antiproliferative activity by the MTT assay and by cell cycle analysis. Finally, the complex was tested in vivo using an animal model of murine melanoma developed in C57BL/6J mice, where it caused a reduction in tumor volume and weight. The study revealed the beneficial influence of betulinic acid inclusion into the cyclodextrin in terms of antiproliferative activity and in vivo tumor development.     

Impacts of Climate Variables on Residential Water Consumption in the Czech Republic

The paper investigates whether there is a statistically significant impact of short-term climate variables (specifically air temperature and rainfall) on residential water consumption at two selected case sites in the Czech Republic. The analysis is based on a unique time series of daily data from 2004–2009. The statistical methods used are CART methodology and a decomposition of these time series based on a locally weighted regression method. Apart from the data analysis results, the investigation raises several methodological questions regarding the use of daily data and the scope of analysis based on such data sets.     

The effect of oxygen pressure on the rate of non-isothermal thermo-oxidation of low density polyethylene

The results of non-isothermal kinetic analysis of the thermo-oxidative degradation in air and in oxygen of the low density polyethylene (LDPE) are presented. It was observed that similar processes take place at thermo-oxidative degradation in air and in oxygen. The first process, which leads to solid products, is followed by thermo-oxidative degradation with generation of volatile products. It was shown that the first process of thermo-oxidation occurs at lower temperatures in oxygen than in air. The kinetic analysis of this process, performed using Kissinger method, shows that the pre-exponential factor (A) depends on the partial pressure of oxygen (P) according to the relationship: A = A ₀ P , where A ₀ and are material constants.     

The effects of groups' variety and disparity on groups' cognitive complexity.

This study examined the influence of group diversity conceptualized as disparity and as variety on group cognitive complexity. Data on individual cognitive complexity and group cognitive complexity were collected in 44 groups using a conceptual mapping technique. Also data on the quality of teamwork processes and satisfaction were collected using an individual questionnaire. The results indicate that (a) gender variety has a positive impact on group cognitive complexity, (b) cognitive disparity has a negative impact on group cognitive complexity, and (c) groups with a high average individual cognitive complexity have the highest cognitive complexity as a group only if the quality of their interactions is high. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Some remarks on the use of isothermal thermogravimetric data for the evaluation of kinetic parameters. Applications for degradation of polymeric materials

A critical analysis of the isoconversional methods for evaluating kinetic parameters of decomposition of solids from isothermal thermogravimetric data is presented. An isoconversional integral method to evaluate the activation energy is suggested. This method allows removing the errors due the correction of the degradation time by subtracting the induction period to onset of the main reaction (also including the time required to heat the sample to the temperature at which the isotherm is recorded). This procedure was used to study the degradation of two series of polymeric materials, (a) poly(vinyl chloride)/acrilonitrile–butadiene–styrene (PVC/ABS) blends and (b) poly(vinyl chloride)/chlorinated poly(ethylene) (PVC/CPE) blends. The values obtained for the activation energy are in fairly good agreement with those obtained from the Prout–Tompkins model in case (a) and from nonisothermal data in case (b). © 2003 Wiley Periodicals, Inc. J Appl Polym Sci 89: 355–360, 2003