The co-simulation is the chosen method within the ESPRIT Project INSYDE for the validation of hybrid SDL and VHDL specifications. This paper presents a concept for the integrated SDL and VHDL simulator and its realization in C++. The INSYDE concept for the co-simulation is based on the connection of two existing commercial simulators by the Coupling Module. The Integrated Simulator presented in...

A parallel extension to the Python language is introduced that is modeled after the Co-Array Fortran extensions to Fortran 95. A new Python module, CoArray, has been developed to provide co-array syntax that allows a Python programmer to address co-array data on a remote processor. An example of Jacobi iteration using the CoArray module is shown and corresponding performance results are presented.

W. L. Bynum introduced the weakly convergent sequence coefficient WCS(A') of the Banach space X as WCS(Jf) = sup{M: for each weakly convergent sequence {xn} in X , there is some y e co({x«}) such that M • lim sup ||x,, y\\ < A({x„})} . We consider the weakly convergent sequence coefficient of the /^-product space Z = (fTjLi Xi)t of tne finite non-Schur space Xx, ... , X„ and show that WCS(Z) = ...

Multilayer LTCC substrates with screen printed conductors are considered as a key technology for coming RF wireless communication and automotive applications. The direct integration of passive components inside the LTCC environment strongly reduces the costs of a multichip module (MCM). The aim of this paper is to present an efficient way to design a band pass filter for 25GHz with regard to th...

The notion of module extraction has been studied extensively in the ontology community. The idea is to extract, from a large ontology, those axioms that are relevant to certain concepts of interest (formalised as a subsignature). The technical concept used for the definition of module extraction is that of inseparability, which is related to indistinguishability known from observational specifi...

Let V be a simple vertex operator algebra and G a finite automorphism group of V . It was shown in [DY] that any irreducible V -module is a completely reducible V G-module. In this paper, we show that any g-twisted V -module is also a completely reducible V G-module if V is g-rational. For each g ∈ G, a g-twisted Zhu algebra Ag,n(V ) plays an important role, but the given product in Ag,n(V ) de...

In this work, we present and analyse the flow-sensing part of a recently-developed multisensor in LTCC (lowtemperature co-fired ceramic) technology; this device integrates flow / pressure / temperature sensing and is designed for diagnostics monitoring of standard industrial compressed air circuits and devices such as valves and actuators. In this prototype, flow is sensed using the constant-te...

We define a cotriple (co)homology of crossed modules with coefficients in a π1-module. We prove its general properties, including the connection with the existing cotriple theories on crossed modules. We establish the relationship with the (co)homology of the classifying space of a crossed module and with the cohomology of groups with operators. An example and an application are given.

Let V be a simple vertex operator algebra and G a finite automorphism group of V . It was shown in [DY] that any irreducible V -module is a completely reducible V G-module. In this paper, we show that any g-twisted V -module is also a completely reducible V G-module if V is g-rational. For each g ∈ G, a g-twisted Zhu algebra Ag,n(V ) plays an important role, but the given product in Ag,n(V ) de...