Matisse: A System-on-Chip Design Methodology Emphasizing Dynamic Memory Management

MATISSE is a design environment intended for developing systems characterized by a tight interaction between control and data-flow behavior, intensive data storage and transfer, and stringent real-time requirements. Matisse bridges the gap from a system specification, using a concurrent object-oriented language, to an optimized embedded single-chip hardware/software implementation. Matisse supports stepwise exploration and refinement of dynamic memory management, memory architecture exploration, and gradual incorporation of timing constraints before going to traditional tools for hardware synthesis, software compilation, and inter-processor communication synthesis. With this approach, specifications of embedded systems can be written in a high-level programming language using data abstraction. Application of MATISSE on telecom protocol processing systems in the ATM area shows significant improvements in area usage and power consumption.     

Temperature Tunable 4D Polymeric Photonic Crystals

Photonic crystals owe their multitude of optical properties to the way their structure creates interference effects. It is therefore possible to influence the photonic response by acting on their physical structure. In this article, tunable photonic crystals made by elastic polymers that respond to their environment are explored, in particular with a physical deformation under temperature variation. This creates a feedback process in which the photonic response depends on its physical structure, which itself is influenced by the environmental changes. By using a multi-photon polymerization process specifically optimized for soft responsive polymers such as Liquid Crystalline Networks, highly resolved, reproducible, and mechanically self-standing photonic crystals are fabricated. The physical structure of the 3D woodpile can be tuned by an external temperature variation creating a reversible spectral tuning of 50 nm in the telecom wavelength range. By comparing these results with finite element calculations and temperature induced shape-change, it is confirmed that the observed tuning is due to an elastic deformation of the structure. The achieved nanometric patterning of tunable anisotropic photonic materials will further foster the development of reconfigurable photonic crystals with point defects acting as tunable resonant cavities and, more in general, of 4D nanostructures.     

Model-based design of horizontal subsurface flow constructed treatment wetlands: a review

The increasing application of constructed wetlands for wastewater treatment coupled with increasingly strict water quality standards is an ever growing incentive for the development of better process design tools. This paper reviews design models for horizontal subsurface flow constructed treatment wetlands, ranging from simple rules of thumb and regression equations, to the well-known first-order k-C* models, Monod-type equations and more complex dynamic, compartmental models. Especially highlighted in this review are the model constraints and parameter uncertainty. A case study has been used to demonstrate the model output variability and to unravel whether or not more complex but also less manageable models offer a significant advantage to the designer.     

Photonic Microhand with Autonomous Action

Grabbing and holding objects at the microscale is a complex function, even for microscopic living animals. Inspired by the hominid‐type hand, a microscopic equivalent able to catch microelements is engineered. This microhand is light sensitive and can be either remotely controlled by optical illumination or can act autonomously and grab small particles on the basis of their optical properties. Since the energy is delivered optically, without the need for wires or batteries, the artificial hand can be shrunk down to the micrometer scale. Soft material is used, in particular, a custom‐made liquid‐crystal network that is patterned by a photolithographic technique. The elastic reshaping properties of this material allow finger movement, using environmental light as the only energy source. The hand can be either controlled externally (via the light field), or else the conditions in which it autonomously grabs a particle in its vicinity can be created. This microrobot has the unique feature that it can distinguish between particles of different colors and gray levels. The realization of this autonomous hand constitutes a crucial element in the development of microscopic creatures that can perform tasks without human intervention and self‐organized automation at the micrometer scale.     

Exploiting Varying Resource Requirements in Wavelet-based Applications in Dynamic Execution Environments

In the context of future dynamic applications, systems will exhibit unpredictably varying platform resource requirements. To deal with this, they will not only need to be programmable in terms of instruction set processors, but also at least partial reconfigurability will be required. In this context, it is important for applications to optimally exploit the memory hierarchy under varying memory availability. This article presents a mapping strategy for wavelet-based applications: depending on the encountered conditions, it switches to different memory optimized instantations or localizations, permitting up to 51% energy gains in memory accesses. Systematic and parameterized mapping guidelines indicate which localization should be selected when, for varying algorithmic wavelet parameters. The results have been formalized and generalized to be applicable to more general wavelet-based applications.     

A proof of the nonrestoring division algorithm and its implementation on an ALU

This article describes a proof of the functional correctness of a nonrestoring division algorithm and its implementation on an ALU. The first part of the proof deals with the correctness of the division algorithm with respect to a specification of division on the integer level. The second part is concerned with the correctness of the actual implementation, which is proven by checking several refinements of the algorithm. All the proofs have been mechanically checked with the Boyer-Moore theorem-proving system, in some cases making use of the interactive proof checker for the system.     

A Safari Through the MPSoC Run-Time Management Jungle

The multiprocessor SoC (MPSoC) revolution is fueled by the need to execute multiple advanced multimedia applications on a single embedded computing platform. At design-time, the applications that will run in parallel and their respective user requirements are unknown. Hence, a run-time manager (RTM) is needed to match all application needs with the available platform resources and services. Creating such a run-time manager requires two decisions. First, one needs to decide what functionality to implement. Second, one has to decide how to implement this functionality in order to meet boundary conditions like e.g. real-time performance. This paper is the first to detail a generic view on MPSoC run-time management functionality and its design space trade-offs. We substantiate the run-time components and the implementation trade-offs with academic state-of-the-art solutions and a brief overview of some industrial multiprocessor run-time management examples. We show a clear trend towards more hardware acceleration, a limited distribution of management functionality over the platform and increasing support for adaptive multimedia applications. In addition, we briefly detail upcoming run-time management research issues.     

On the comparison of HOL and Boyer-Moore for formal hardware verification

Faced with the challenge of designing correct circuits, the research community has been applying alternative verification methodologies istead of only traditional methods like ad hoc simulation. The best choice among alternatives like tautology checking, symbolic simulation, and theorem proving depends very theorem proving is best applicable, one is faced with the problem of choosing a formalism. This article compares the proof assistant HOL and the theorem-prover Boyer-Moore based on a practical experience with both systems in order to verify a combinatorial and parameterized hardware module from the CATHEDRAL II Silicon Compiler library. Although the comparison is based on a specific application, the general features, advantages, and drawbacks of both systems are discussed, with consideration given to the verification of other kinds of circuits.     

No pain, no gain: The conditions under which upward comparisons lead to better performance.

In 3 studies, the authors explored the relation between threatening upward social comparisons and performance. In an initial study, participants were exposed to comparison targets who either threatened or boosted self-evaluations and then completed a performance task. Participants exposed to the threatening target performed better than those in a control group, whereas those exposed to the nonthreatening target performed worse. In Study 2, self-affirmation prior to comparison with threatening targets eliminated performance improvements. In Study 3, performance improvements were found only when the performance domain was different from the domain of success of the comparison target. These boundary conditions suggest that increases in performance following social comparison arise from individuals' motivations to maintain and repair self-evaluations. Implications for the study of the behavioral consequences of social comparison are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)