A new technique has been implemented with the aim of providing an adaptive tool for the generation of computational meshes for 3-D semiconductor device simulation. The core of the proposed wavelet-based adaptive method (WAM) is a refinement algorithm based on the wavelet transform, which gives an estimation of solution regularity and progressively adapts the grid by increasing the resolution only in regions where the important physical phenomena take place. WAM is inserted into a validation tool that provides the interfacing filters with both the solver and a meshing engine. Additional features assure the quality of the generated meshes by increasing the selectivity properties of the refinement tool, preventing numerical instabilities or artifacts, such as abrupt variations of I-V curves between successive bias points during quasi-stationary simulations. Simulation results are provided, which show the effectiveness of the proposed approach as a means to guide the automatic refinement of the discretization grid, preserving accuracy with negligible computational overhead and no skilled control from the user.

New computing paradigms for network-aware applications need specification languages able to deal with the features of mobile code-based systems. A coordination language provides a formal framework in which the interaction of active entities can be expressed. A coordination language deals with the creation and destruction of code or complex agents, their communication activites, as well as their distribution and mobility in space. We show how the coordination language PoliS offers a flexible basis for the description and the automatic analysis of architectures of systems including mobile entities. Polis is based on multiple tuple spaces and offers a basis for defining, studying, and controlling mobility as it allows decoupling mobile entities from their environments both in space and in time. The pattern-matching mechanism adopted for communication helps in abstracting from addressing issues. We have developed a model-checking technique for the automatic analysis of PoliS specifications. In the article we show how this technique can be applied to mobile code-based systems