Heterogeneous 3D integrated systems with Wide-I/O DRAMs are a promising solution to squeeze more functionality and storage bits into an ever-decreasing volume. Unfortunately, with 3D stacking the challenges of high power densities and thermal dissipation are exacerbated. In order to provide a framework for exhaustive design space explorations, we developed an advanced Transaction Level (TLM) ba...

This paper reports explorations on a novel approach for speech information retrieval with spoken queries. The method uses a two-layer decoding scheme, where the intermediary representation of speech is based on phonemes, which makes the system vocabularyindependent. Moreover, the use of synchronized lattices at this intermediary level is shown to improve the discriminative performance while dec...

We explore various aspects of General Gauge Mediation (GGM). We present a reformulation of the correlation functions used in GGM, and further elucidate their IR and UV properties. Additionally we clarify the issue of UV sensitivity in the calculation of the soft masses in the MSSM, highlighting the role of the supertrace over the messenger spectrum. Finally, we present weakly coupled messenger ...

In this paper we describe an approach for automated modelbased test case and test data generation based on constraint types well known from bounded model checking. Our main contribution consists of a demonstration showing how this process can be considerably accelerated by using abstract interpretation techniques for preliminary explorations of the model state space. The techniques described su...