Ensuring that software executes correctly on the silicon of a multi-processor system-on-chip (MPSOC) is difficult as it requires checking of global properties that are distributed on the chip. Different to our previous work where only one token was considered, we address in this paper pipelined tokens and we discuss the scalability of the debug architecture.

Popular Abstract in English Freezing is a commonly used method of preserving food products including fruits and vegetables. A fresh-like texture and appealing visual appearance of frozen and thawed plant food products are of key importance for customer acceptance. Therefore, the food industry is constantly looking for ways to improve freezing techniques, especially for sensitive plant tissues suchFreezing is a widely used method of preserving food products. Efforts are currently being directed towards improving the quality of the sensitive tissues of plant foods such as leaves, after freezing and thawing. One of the methods under investigation is the combination of vacuum impregnation (VI) with cryoprotectants and the application of a pulsed electric field (PEF) to the plant tissue prior t

Microdialysis is an extensively used technique for the study of solutes in brain interstitial space. The method is based on collection of substances by diffusion across a dialysis membrane positioned in the brain. The outflow concentration reflects the interstitial concentration of the substance of interest, but the relationship between these two entities is at present unclear. So far, most evalua

We present an object oriented environment for the design of neural network applications. The environment is based upon an object oriented database management system and includes a programming language suited for neural network simulations. In this language, it is easy to construct and modify complex network structures in a modular fashion. Usually, using an object oriented language would increase

An adaptive resource management system combined with a thermal controller is presented. The aim of the system is to dynamically allocate computing resources to applications competing for the same computing resources in such a way that the system is not overheated. The approach has been implemented on a mobile robot. Experimental results are presented showing the feasibility of the approach.

Nuclear magnetic resonance (NMR) diffusometry provides important information about molecular motion on a microscopic scale. The advantage of NMR diffusometry is its ability to characterise microstructures non-invasively. This has made the method important not only in chemistry, biochemistry and materials science, but also in medicine. Diffusion-weighted magnetic resonance imaging (DW-MRI) has been