Filetype
[Context and motivation] This research preview presents ongoing work on a free software requirements modeling tool called reqT that is developed in an educational context. [Question/problem] The work aims to engage computer science students in Requirements Engineering (RE) through a tool that captures essential RE concepts in executable code. [Principal ideas] Requirements are modeled using an int
Many cryptographic primitives rely on word rotations (R) and xor (X) to provide proper mixing. We give RX-system mixing a very general treatment and deduce some theoretical results on related probability distributions. Pure RX-systems are easy to break, so we show how to apply our theory to a more complex system that uses RX operations in combination with S-boxes. We construct an impractical (key
This book focuses on domain-specific heterogeneous reconfigurable architectures, demonstrating for readers a computing platform which is flexible enough to support multiple standards, multiple modes, and multiple algorithms. The content is multi-disciplinary, covering areas of wireless communication, computing architecture, and circuit design. The platform described provides real-time processing c
Clustering is a key concept of existing MIMO channel models, such as the COST 2100 model. Parameter based clustering has been studied for a while, but how parameter based clusters relate to the physical environment is not well known yet. A measurement based ray launching tool is developed and used for studying clustering and its relation to physical scatterers. By using estimated angles and delays
The problem of burst losses in OBS networks has an impact on the service quality perceived by end users. In order to guarantee certain level of Service Quality (QoS) in terms of burst losses, wavelength resources have to be dimensioned properly. In this paper, we address the problem of the Virtual Topology (VT) design that concerns the establishment of explicit routing paths and the allocation of
This article presents an architecture of a Digital Front-End Receiver (DFE-Rx) for the next-generation mobile terminals. A main focus is placed in flexibility, scalability and concurrency. The architecture is capable of detecting, synchronizing and reporting carrier-frequency offset, of multiple concurrent radio standards. The proposed receiver is fabricated in a 65nm CMOS low power high-VT cell t
Geometric reconstruction from image collections is a classical computer vision problem. The problem essentially consists of two steps; First, the identification of matches and assembling of point tracks, and second, multiple view geometry computations. In this paper we address the problem of constructing point tracks using graph theoretical algorithms. From standard descriptor matches between all
When developing applications for end-user nodes in distributed systems, it is not unusual to find that the business logic part of the solution is relatively inexpensive to develop. The resource intense parts of the solution are more likely to be those of presenting the functionality provided by the node to the end-user, and of connecting the node with the rest of the system. By considering systems
We propose a distributed learning algorithm for fair scheduling in common-pool games. Common-pool games are strategic-form games where multiple agents compete over utilizing a limited common resource. A characteristic example is the medium access control problem in wireless communications, where multiple users need to decide how to share a single communication channel so that there are no collisio
Abstract— Context: Software product lines (SPL) are used in industry to achieve more efficient software development. To test a SPL is complex and costly and often becomes a bottleneck in the product line organization. Objective: This research aims to develop and evaluate strategies for improving system test selection in a SPL. Method: Initially industrial practices and research in both SPL testing
This note studies lumped-delay approximations of distributed-delay elements arising in various problems involving delay compensation or preview utilization. Several approaches to reduce implementation complexity, understood as the number of delays required to attain a required accuracy level, are put forward. First, we derive the H2-optimal coefficients for a given delay pattern. This can be seen
In a dispatchable wind power plant, turbines are free to continuously vary their power production as long as the sum of their productions meets the total power demand. Previous research has shown that this freedom can be used to reduce structural loads by allowing turbines in the plant to coordinate their power. This paper explains the mechanisms that make power coordination useful for reducing st
Cloud applications are often subject to unexpected events like flash crowds and hardware failures. Without a predictable behaviour, users may abandon an unresponsive application. This problem has been partially solved on two separate fronts: first, by adding a self-adaptive feature called brownout inside cloud applications to bound response times by modulating user experience, and, second, by intr
Pervasive middleware systems are important for enabling the configuration and coordination of the services provided by devices in pervasive environments. PalCom is an example of such a system that aims to enable interaction among pervasive services over heterogeneous networks. In this paper we discuss the need for providing networking-media independent messaging among pervasive devices, and identi
Massive MIMO is considered a key technology for the future wireless communication systems. The promising properties in terms of higher spectral and transmit-energy efficiency are brought by the large number of antennas at the base station (BS). As the number of antennas increases, the aperture of the BS antenna array may become much larger, as compared to today's antenna arrays. In this case, mobi
This study is concerned with a specific rerouting strategy in telecommunication networks named Elastic Robust Rerouting (ERR), introduced first in [8]. We recall main points on this strategy, provide mathematical formulation and discuss in details a solution method. The second question studied in this paper is concerned with its distributed version and some related implementation issues. We report
This paper describes how PID controllers can be designed by optimizing performance subject to robustness constraints. The optimization problem is solved using convex-concave programming. The method admits general process descriptions in terms of frequency response data and it can cope with many different constraints. Examples are presented and some pitfalls in optimization are discussed.
We present a method to compute, quickly and efficiently, the mutual information achieved by an IID (independent identically distributed) complex Gaussian input on a block Rayleigh-faded channel. The method accommodates both scalar and MIMO (multiple-input multiple-output) settings. Operationally, the mutual information thus computed represents the highest spectral efficiency that can be attained u
