We present a novel matching and similarity evaluation method for planar geometric shapes represented by sets of polygonal curves. Given two shapes, the matching algorithm randomly...
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
: Die Technologie der Radiofrequenzidentifikation (RFID) ermöglicht die Erweiterung der automatischen Prozessdatenerfassung im Pflanzenbau auf die drahtlose Identifikation von Ger...
Abstract: Es wird die Erweiterung von logistischen Servicenetzen um ein selbststeuerendes Verfahren zur Kapazit¨ats- und Robustheitssteigerung beschrieben. Dazu werden die zugeh¨...