• Medientyp: Elektronische Hochschulschrift; E-Book; Bachelorarbeit; Sonstige Veröffentlichung
  • Titel: Hashing Strategies for Concurrent Building of Binary Decision Diagrams
  • Beteiligte: Klier, Daniel [VerfasserIn]
  • Erschienen: Universität Ulm, 2024-05-08
  • Sprache: Englisch
  • DOI: https://doi.org/10.18725/OPARU-52712
  • Schlagwörter: Binary Decision Diagram ; Hash Table ; Binäres Entscheidungsdiagramm ; Hashing (Computer science) ; BDD
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: Binary Decision Diagrams (BDDs) have many applications in todays software engineering. Especially when it comes to feature-model analysis, the performance of the BDD packages becomes important. As BDD packages heavily rely on hash tables, the performance of the used hash table has a significant impact on the overall performance of the package. Especially in multithreaded contexts, no hash table seems to be available yet, which handles the write heavy work load of a BDD package with sufficient performance. In this work, approaches towards parallelized hash tables optimized for the purposes of a BDD package are developed and compared using a benchmark.
  • Zugangsstatus: Freier Zugang
  • Rechte-/Nutzungshinweise: Namensnennung - Weitergabe unter gleichen Bedingungen (CC BY-SA)