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.     

Influence of long-range dipolar interactions on the phase stability and hysteresis shapes of ferroelectric and antiferroelectric multilayers

Phase transition and field driven hysteresis evolution of a two-dimensional Ising grid consisting of ferroelectric–antiferroelectric multilayers that take into account the long range dipolar interactions were simulated by a Monte–Carlo method. Simulations were carried out for a 1 + 1 bilayer and a 5 + 5 superlattice. Phase stabilities of components comprising the structures with an electrostatic-like coupling term were also studied. An electrostatic-like coupling, in the absence of an applied field, can drive the ferroelectric layers toward 180° domains with very flat domain interfaces mainly due to the competition between this term and the dipole–dipole interaction. The antiferroelectric layers do not undergo an antiferroelectric-to-ferroelectric transition under the influence of an electrostatic-like coupling between layers as the ferroelectric layer splits into periodic domains at the expense of the domain wall energy. The long-range interactions become significant near the interfaces. For high periodicity structures with several interfaces, the interlayer long-range interactions substantially impact the configuration of the ferroelectric layers while the antiferroelectric layers remain quite stable unless these layers are near the Neel temperature. In systems investigated with several interfaces, the hysteresis loops do not exhibit a clear presence of antiferroelectricity that could be expected in the presence of anti-parallel dipoles, i.e., the switching takes place abruptly. Some recent experimental observations in ferroelectric–antiferroelectric multilayers are discussed where we conclude that the different electrical properties of bilayers and superlattices are not only due to strain effects alone but also due to long-range interactions. The latter manifests itself particularly in superlattices where layers are periodically exposed to each other at the interfaces.     

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 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)