Speichereffizienter Aufbau von binären Entscheidungsdiagrammen
Aus der Reihe
BestMasters
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Deutsch
Fr. 81.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
24.11.2023
Abbildungen
XVII, mit 46 Abbildungen
Verlag
Springer Fachmedien Wiesbaden GmbHSeitenzahl
165
Maße (L/B/H)
21/14.8/1.1 cm
Gewicht
246 g
Auflage
1. Auflage 2023
Sprache
Deutsch
ISBN
978-3-658-43120-4
Aufgrund der steigenden Komplexität von Hardwaresystemen besteht die Notwendigkeit, effizientere Datenstrukturen und darauf operierende Algorithmen zu entwickeln, um weiterhin das korrekte Verhalten solcher Systeme zu garantieren. Ein binäres Entscheidungsdiagramm ist eine geeignete Datenstruktur, da sie eine kompakte Repräsentation boolescher Funktionen und effiziente Algorithmen zur Manipulation dieser bietet. Allerdings haben Entscheidungsdiagramme auch Herausforderungen zu bewältigen: Die Praktikabilität hängt von deren Minimierung ab und es besteht ein grosser Speicherbedarf für einige komplexe Funktionen. Dieses Buch präsentiert Ansätze, in denen boolesche Normalformen unter Ordnungsdefinitionen und Gesetzen der booleschen Algebra mit dem Ziel angeordnet werden, die Anzahl an Zwischenberechnungen zum Aufbau binärer Entscheidungsdiagramme zu verringern und den Speicher- sowie Zeitbedarf zu reduzieren. Die Methoden werden in ein Softwarepaket integriert, um die Performanz anhand von Benchmark-Instanzen zu untersuchen und mit dem Stand der Forschung zu vergleichen.
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung