Ralf Fetzer: Untertanenkonflikte im Ritterstift Odenheim vom ausgehenden Mittelalter bis zum Ende des Alten Reiches (Veröffentlichungen der Kommission für geschichtliche Landeskunde in Baden-Württemberg B 150), Stuttgart (Kohlhammer) 2002, 433 S., 1 Karte

This paper presents a framework for designing, verifying, and evaluating register allocation algorithms. The proposed framework has three main components. The first component is MIRA, a language for describing programs prior to register allocation. The second component is FORD, a language that describes the results produced by the register allocator. The third component is a type checker for th...

Communicating coverage of automatic BPH light trap surveillance network characterizes how well an area is monitored or tracked by automatic light traps. Connectivity is an important required that shows how nodes in a automatic BPH light trap surveillance network (BSNET) can effectively communicate. Some areas in the deployment region are more important than other areas and need to be covered. I...

Abstract Besides the original acknowledgements, authors Ralf Riedel and Magdalena Graczyk-Zajac would like to also acknowledge EU support in frame of H2020 project SIMBA under grant agreement number 963542.