Speichereffizienter Aufbau von binären Entscheidungsdiagrammen / BestMasters (PDF)

Name: Speichereffizienter Aufbau von binären Entscheidungsdiagrammen / BestMasters
Brand: Springer Fachmedien Wiesbaden
SKU: 152214273
Price: 42.99 EUR
Availability: OnlineOnly

Autor: Rune Krauss

Schreiben Sie einen Kommentar zu "Speichereffizienter Aufbau von binären Entscheidungsdiagrammen / BestMasters".

Speichereffizienter Aufbau von binären Entscheidungsdiagrammen / BestMasters, Rune Krauss

Merken

Mehr zum Inhalt Autorenporträt Video

eBook (pdf) 42.99 €

Buch (Kartoniert) 54.99 €

sofort als Download lieferbar

Bestellnummer: 152214273

Printausgabe 54.99 €

eBook (pdf) -22% 42.99 €

Download bestellen

Verschenken

21 DeutschlandCard Punkte sammeln

Lastschrift, Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
Autorenporträt
eBook Hilfe
Biblio. Angaben / Produktdetails

Produktinformationen zu „Speichereffizienter Aufbau von binären Entscheidungsdiagrammen / BestMasters (PDF)“

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 vonBenchmark-Instanzen zu untersuchen und mit dem Stand der Forschung zu vergleichen.

Der Autor

Rune Krauss ist wissenschaftlicher Mitarbeiter / Promotionsstudent an der Universität Bremen. Seine Forschungs- sowie Lehrschwerpunkte umfassen die Logiksynthese und formale Verifikation von Schaltungen. Die wesentlichen Ziele seiner Arbeit sind deren algorithmische Verbesserung und die Entwicklung neuartiger graphenbasierter Datenstrukturen zur Steigerung der Effizienz des rechnergestützten Entwurfs von integrierten Schaltkreisen in technischen Systemen.

Autoren-Porträt von Rune Krauss

Der Autor Rune Krauss ist wissenschaftlicher Mitarbeiter / Promotionsstudent an der Universität Bremen. Seine Forschungs- sowie Lehrschwerpunkte umfassen die Logiksynthese und formale Verifikation von Schaltungen. Die wesentlichen Ziele seiner Arbeit sind deren algorithmische Verbesserung und die Entwicklung neuartiger graphenbasierter Datenstrukturen zur Steigerung der Effizienz des rechnergestützten Entwurfs von integrierten Schaltkreisen in technischen Systemen.

eBook Hilfe

Informationen und Hilfe zu eBooks hier klicken!

Bibliographische Angaben

Autor: Rune Krauss
2023, 1. Aufl. 2023, 165 Seiten, Deutsch
Verlag: Springer Fachmedien Wiesbaden
ISBN-10: 3658431210
ISBN-13: 9783658431211
Erscheinungsdatum: 23.11.2023

Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.

eBook Informationen

Dateiformat: PDF
Größe: 2.64 MB
Ohne Kopierschutz
Vorlesefunktion

Kommentar zu "Speichereffizienter Aufbau von binären Entscheidungsdiagrammen / BestMasters"

Schreiben Sie einen Kommentar zu "Speichereffizienter Aufbau von binären Entscheidungsdiagrammen / BestMasters".

Wie funktionieren Bewertungen?

0 Gebrauchte Artikel zu „Speichereffizienter Aufbau von binären Entscheidungsdiagrammen / BestMasters“

Zustand	Preis	Porto	Zahlung	Verkäufer	Rating