There are many problems in analysis which involve constructing a function with desirable properties or understanding the properties of a function without completely precise information about its structure that cannot be easily tackled using direct “hands on” methods. A fruitful strategy for dealing with such problems is to recast it as a problem concerning the geometry of a well-chosen space of...

Write-back caches are a popular choice in embedded microprocessors as they promise higher performance than write-through caches. So far, however, their use in hard real-time systems has been prohibited by the lack of adequate worst-case execution time (WCET) analysis support. In this paper, we introduce a new approach to statically analyze the behavior of write-back caches. Prior work took an “...