Name: Speichereffizienter Aufbau von Binären Entscheidungsdiagrammen (en Alemán)
Price: 1167.47 MXN
Availability: InStock
Author: Rune Krauss
ISBN: 9783658431204

Envío gratis

portada Speichereffizienter Aufbau von Binären Entscheidungsdiagrammen (en Alemán)

Formato

Libro Físico

Editorial

Springer Vieweg

Autor

Rune Krauss

Idioma

Alemán

Encuadernación

Tapa Blanda

ISBN13

9783658431204

Speichereffizienter Aufbau von Binären Entscheidungsdiagrammen (en Alemán)

Rune Krauss (Autor) · Springer Vieweg · Tapa Blanda

Libro Nuevo

$ 1,167.47

$ 2,122.68

Ahorras: $ 955.20

45% descuento

Envío normal

Origen: España (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Viernes 02 de Agosto y el Lunes 12 de Agosto.

Lo recibirás en cualquier lugar de México entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Speichereffizienter Aufbau von Binären Entscheidungsdiagrammen (en Alemán)"

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.