R Kersten, O Shkaravska, B van Gastel… - Proceedings of the 10th …, 2012 - dl.acm.org
For real-time and embedded systems limiting the consumption of time and memory resources is often an important part of the requirements. Being able to predict bounds on the …
Practically every modern electronic device is controlled by software. It is important to establish certain quality characteristics of this software. In his dissertation, Rody Kersten …