Energy inefficient software implementations may cause battery drain for small systems and
high energy costs for large systems. Dynamic energy analysis is often applied to mitigate …

The use of real-time distribution middleware programmed with high-level languages like
Java is becoming of increasing interest in next generation applications. Technology like …

We explore a way to find energy deficiencies in code by model checking, both properties
related to utilisation (energy hotspots) and not related to utilisation (energy bugs). Temporal …

Hardware consumes energy. Software controls hardware. So, when the hardware is given, it
is the software that determines how much energy is consumed. Energy inefficient software …

This article addresses the problem of computing an upper bound of the degree d of a
polynomial solution P (x) of an algebraic difference equation of the form G (x)(P (x− τ 1),…, P …

Tracing JIT compilation generates units of compilation that are easy to analyse and are
known to execute frequently. The AJITPar project investigates whether the information in JIT …

Saving the World Page 1 Saving the World A long and windy road towards sustainability and
formal verification in practice Marko van Eekelen Full Professor, Head of Department Computer …

Parallel programming is extremely challenging. Worse yet, parallel architectures evolve
quickly, and parallel programs must often be refactored for each new architecture. It is highly …

Writing specifications about program behavior is hard. Writing specifications about non-
functional effects such as resource usage is often even harder. If manually instrumenting the …

The use of real-time distribution middleware programmed with high-level languages like
Java is becoming of increasing interest in next generation applications. Technology like …