Current antigenic targets for influenza vaccine development are either highly immunogenic
epitopes of high variability or conserved epitopes of low immunogenicity. This requires …

Tool-assisted refactoring transformations must be trustworthy if programmers are to be
confident in applying them on arbitrarily extensive and complex code in order to improve …

Divide-and-conquer algorithms appear in the solution of many computationally intensive
problems, and are good candidates for parallelization. A divide-and-conquer computation …

Distributed actor languages are an effective means of constructing scalable reliable
systems, and the Erlang programming language has a well-established and influential …

Parallel computations in a program can be expressed conveniently, at a high level of
abstraction, using parallel patterns such as task farm, pipeline or divide-and-conquer. In …

Routines implementing divide-and-conquer algorithms are good candidates for
parallelization. Their identifying property is that such a routine divides its input into" smaller" …

Besides well-known CPU based architectures, the so-called accelerators (GPU, DSP, FPGA)
are about to gain ground in everyday programming, computing tasks. However …

Distributed programming languages and frameworks are central to engineering large scale
systems, where key properties include scalability and reliability. By scalability we mean that …

It is always a great challenge to maintain industrial-scale software. It requires a full
understanding and awareness of the different components and their connections to avoid …

Introduction łA programming language is low level when its programs require attention to the
irrelevant. ž (Alan J. Perlis) As a bachelor student, I learned from my future doctoral …