Miniaturized, integrated sensors and actuators are more and more used in m i c r o s y s t e m applications. In order to promote their use further, specialists must make them more accessible t o system designers. This can be done through behavioral modeling of sensors and actuators. The resulting models can be used in conjunction w i t h models of the associated electronics to simulate a comple...

We consider non-compact WZW models at critical level (equal to the dual Coxeter number) as tensionless limits of gravitational backgrounds in string theory. Special emphasis is placed on the Euclidean black hole coset SL(2, R)k/U(1) when k = 2. In this limit gravity decouples in the form of a Liouville field with infinite background charge and the world-sheet symmetry of the model becomes a tru...

The design of a high performance system requires an integrated environment to simulate and analyze the performance of various design alternatives. In this thesis, we have developed a generic disassembler for an integrated environment where Sim-nML acts as the speci cation language for processor performance model. The Sim-nML, an extension of nML machine description formalism, is a simple, elega...

In modern day chip design, the pressure for time to market is increasing and recovery time for investment is decreasing. So design times have to be shortened. An Artificial Neural Network (ANN) based predictive model for power to speed-up the cost function evaluation during High Level Synthesis (HLS) is presented here. Genetic Algorithms (GA) have been used successfully to solve HLS problems. O...

In this paper we study coordinated multipath routing at the flow-level in networks with routes of length one. As a first step the static case is considered, in which the number of flows is fixed. A clustering pattern in the rate allocation is identified, and we describe a finite algorithm to find this rate allocation and the clustering explicitly. Then we consider the dynamic model, in which th...

Level-expanding quasi-birth-and-death (QBD) processes have been shown to be an efficient modeling tool for studying multi-dimensional systems, especially twodimensional ones. Computationally, it changes the more challenging problem of dealing with algorithms for two-dimensional systems to a less challenging one for block-structured transition matrices of QBD type with a varying finite block siz...

Transaction Level Modeling with SystemC has become a de-facto industry standard for modeling of system-on-chip designs. The correctness of these models is therefore of crucial importance. In this paper, we propose a novel methodology to apply AssertionBased Verification to Transaction Level Models. The novelty is based on two contributions: (1) Using Aspect-Oriented Programming techniques permi...

We show that parametric level correlations in random–matrix theories are closely related to a breaking of the symmetry between the advanced and the retarded Green’s functions. The form of the parametric level correlation function is the same as for the disordered case considered earlier by Simons and Altshuler and is given by the graded trace of the commutator of the saddle–point solution with ...

This paper proposed a class of novel Deep Recurrent Neural Networks which can incorporate language-level information into acoustic models. For simplicity, we named these networks Recurrent Deep Language Networks (RDLNs). Multiple variants of RDLNs were considered, including two kinds of context information, two methods to process the context, and two methods to incorporate the language-level in...

This paper proposes subjLDA for sentence-level subjectivity detection by modifying the latent Dirichlet allocation (LDA) model through adding an additional layer to model sentence-level subjectivity labels. A variant, called joint-subjLDA, has also been described. The model inference and parameter estimation algorithms, and Gibbs sampling procedure are presented.