Téléchargez le livre : Speichereffizienter Aufbau von binären Entscheidungsdiagrammen

Speichereffizienter Aufbau von binären Entscheidungsdiagrammen

de

Éditeur :

Springer Vieweg


Collection :

BestMasters

Paru le : 2023-11-23

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
46,34 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description

?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 großer 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.
Pages
165 pages
Collection
BestMasters
Parution
2023-11-23
Marque
Springer Vieweg
EAN papier
9783658431204
EAN PDF
9783658431211
Informations sur l'ebook
Nombre pages copiables
1
Nombre pages imprimables
16
Taille du fichier
2765 Ko
Prix
46,34 €
EAN EPUB
9783658431211
Informations sur l'ebook
Nombre pages copiables
1
Nombre pages imprimables
16
Taille du fichier
12800 Ko
Prix
46,34 €

Suggestions personnalisées