Developing software systems is a complex activity that involves numerous tasks that are critical for a successful release. Increasing size of software systems, software maintenance, versioning and distributed global development combined with ever growing expectations from users complicate development. Using a well-designed software development platform one can automate and simplify considerable...

In a typical lattice QCD project the total runtime of code on a supercomputing platform is often measured in months or even years. This means that even a modest improvement in the performance of the code can yield very tangible benefits. There are two aspects to the optimisation of code for parallel machines: single-node optimisation and the minimisation of the overhead incurred by inter-node c...

Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and difficult to validate. We present a substantial case study performed with the model-based testing tool HOL-TestGen. Based on a formal model of firewalls and their policies in higher-order logic (HOL), we first present a d...

Aspect oriented programming has been proposed as a way to improve modularity of software systems by allowing encapsulation of cross-cutting concerns. To do so, aspects specify where new functionality should apply using pointcuts. Unfortunately todays mainstream aspect oriented languages suffer from pointcut languages where pointcut declarations result in a high coupling between aspect and base ...

Three-dimensional subband coding is an alternative approach to hybrid coding schemes which are used in todays video compression standards. In this work, two possible models for three-dimensional subband coding have been tested. In model I the temporal ltering is performed directly on the input sequence. In model II the temporal ltering is performed along the trajec-tories of the motion. In both...

Efficient solution of large-scale, ill-conditioned and highly-indefinite algebraic equations often relies on high quality preconditioners together with iterative solvers. Because of their robustness, factorizationbased algorithms play a significant role in developing scalable solvers. We discuss the state-of-the-art, high performance sparse factorization techniques which are used to build spars...

Todays networks are characterized by heterogeneous environments. Various transmission techniques coexist and offer different bandwidths at different costs. Because of video conferences and similiar applications becoming more and more important this paper presents the architecture of the video communication system ”XNetvideo”, which is scalable in terms of SNR (signal to noise ratio)-scaling, im...

Many researchers agreed that the split of locator and identifier seems to be a very promising approach. Although this solution addresses the most critical issues in todays Internet architecture, new challenges arise through the mapping system which is necessary to resolve identifiers into the corresponding locators. One interesting question is how the naming of identifiers is done. In this work...

Fast methods for volume based Protein-Protein docking exist (eg. [1] or [4]). However, they employ the rigid-body assumption, and often miss the correct solution. To enhance todays docking algorithms the "induced fit" (comformational changes of a protein during the docking process) must be handled. Flexibility studies can help improving docking algorithms. Flexibility can be considered by enume...

Todays IoT solutions are typically delivered by domainspecific solution providers. In these solutions, components are highly customized for specific project requirements, limiting their users to the offerings of their providers. To overcome these limitations, we propose a novel mechanism that opens the market for OEMs and third-party developers. This paper introduces the IoT Application Market,...