Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
Andreas Holzer, Christian Schallhart, Michael Taut...
— In this paper, a 2-dimensional water-filling (2D-WF) based transmit weight that maximizes the channel capacity is theoretically derived for the downlink transmit diversity of s...
Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple game...
Rudolf Berghammer, Stefan Bolus, Agnieszka Rusinow...
Single processor technology has been evolving across last decades, but due to physical limitations of chip manufacturing process, the industry is pursuing alternatives to sustain ...
Thiago S. M. C. de Farias, Mozart W. S. Almeida, J...
We present a framework that we are developing to better solve several critical issues that arise when interactive systems are extended to large displays. These issues include slow...