Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process. To fulļ...
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We deļ¬ne tw...
This paper explores subband processing of complex (I/Q) signals which ļ¬nds various important applications especially in communications signal processing. Instead of using tradit...
Ari Viholainen, Tobias Hidalgo Stitz, Juuso Alhava...
This paper proposes a novel parallel approach for pipelining of nested multiplexer loops to design high speed decision feedback equalizers (DFEs) based on look-ahead techniques. I...
āThis paper deals with the case of a high speed mobile receiver operating in an orthogonal-frequency-divisionmultiplexing (OFDM) communication system. Assuming the knowledge of d...