Browsing by Author "Bühler, Stefan"

Filter results by typing the first few letters
Now showing 1 - 2 of 2
  • Thumbnail Image
    ItemOpen Access
    Entwicklung und Implementierung eines nebenläufigen Constraint-Solver für die Points-To-Analyse
    (2011) Bühler, Stefan
    Die Points-To-Analyse ist eine statische Programmanalyse, um zu bestimmen, auf welche Speicherbereiche ein Zeiger zeigen kann. Ziel der Arbeit ist, einen Constraint-Solver zu implementieren, mit dessen Hilfe eine flussinsensitive, kontextinsensitive, gerichtete, struktursensitive aber feldinsensitive Points-To-Analyse umgesetzt werden kann. Die Implementierung des Constraint-Solver kann dabei mehrere Prozessoren verwenden. Eine Zyklenkontraktion von Speicherfeldern, die dieselben Points-To-Mengen haben, soll zu weiterem Performancegewinn führen. Der Ergebnisse der Implementierung können mit einer bereits existierenden prototypischen Implementierung verglichen werden, und die neue Implementierung zeigt in einem Bench- mark eine Beschleunigung mit Faktor 2 im Vergleich zur existierenden Implementierung.
  • Thumbnail Image
    ItemOpen Access
    Onboard-Routenplanung auf dem Smartphone
    (2013) Bühler, Stefan
    Online-Routenplaner erfreuen sich zunehmender Beliebtheit, aber eine Internetverbindung ist aufgrund von Kosten, Datenschutz, geringer Bandbreite oder fehlender Mobilfunknetzabdeckung nicht immer in ausreichender Qualität verfügbar. Diese Arbeit stellt die Implementierung einer Kürzeste-Wege-Suche vor, die auf Androidgeräten ohne Internetverbindung schnell Ergebnisse liefert. In Kombination mit dem mapsforge-Renderer und der osmfind-Point-of-Interest-Suche entsteht eine Androidanwendung, die auf Grundlage von Openstreetmapdaten einen Routenplaner implementiert, der zur Laufzeit ohne Internetverbindung auskommt.