Domain w-v-a.de kaufen?
Wir ziehen mit dem Projekt
w-v-a.de um.
Sind Sie am Kauf der Domain
w-v-a.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain w-v-a.de kaufen?
Runtime Verification, Fachbücher von Borzoo Bonakdarpour, Scott A. Smolka
Das Buch "Runtime Verification" dokumentiert die referierten Beiträge der 5. Internationalen Konferenz zur Laufzeitüberprüfung, die im September 2014 in Toronto, Kanada, stattfand. Es umfasst 28 überarbeitete Volltexte, 2 Tool-Papiere und 8 Kurzbeiträge, die aus insgesamt 70 Einreichungen sorgfältig ausgewählt wurden. Die Konferenz behandelte eine Vielzahl von Themen, die sich auf die Überwachung und Analyse von Systemen konzentrieren, einschliesslich der Laufzeitüberprüfung von verteilten und parallelen Systemen sowie von Echtzeit- und eingebetteten Systemen. Darüber hinaus werden Aspekte wie Testen, Fehlersuche sowie Inferenz und Lernen behandelt. Dieses Fachbuch richtet sich an Fachleute und Forscher im Bereich Technik und IT, die sich mit den neuesten Entwicklungen und Methoden in der Laufzeitüberprüfung auseinandersetzen möchten.
53,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
ASIC/SoC Functional Design Verification, Fachbücher von Ashok B. Mehta
Das Buch "ASIC/SoC Functional Design Verification" bietet eine umfassende Darstellung der Technologien und Methoden, die erforderlich sind, um eine effektive Strategie zur funktionalen Designverifikation zu entwickeln. Es richtet sich an Fachleute, die sich mit der Herausforderung auseinandersetzen, die Funktionsfähigkeit von Silizium in der ersten Produktionsrunde zu gewährleisten. Der Autor, Ashok B. Mehta, beginnt mit einer hochrangigen Übersicht über die verschiedenen Teilbereiche der Verifikation und bietet genügend Tiefe, um ein fundiertes Verständnis zu ermöglichen. Anschliessend werden detaillierte Beschreibungen von branchenüblichen Technologien wie der Universal Verification Methodology (UVM), SystemVerilog Assertions (SVA) und Coverage Driven Verification (CDV) gegeben. Darüber hinaus werden auch moderne Ansätze wie Low Power Verification und Hardware/Software Co-verification behandelt, was das Buch zu einer wertvollen Ressource für Ingenieure in der Halbleiterindustrie macht.
128,39 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Verification
Top-Angebote
Produkte zum Begriff Verification:
-
Low-Power Design and Power-Aware Verification, Fachbücher von Progyna KhondkarDas Buch "Low-Power Design and Power-Aware Verification" bietet eine umfassende Einführung in die Techniken und Methoden des Low-Power-Designs (LP) sowie der power-aware (PA) Verifikation. Es adressiert die bisherige Lücke in der Wissensbasis, die erforderlich ist, um diese Technologien in realen Designverifikations- und Implementierungsprojekten effektiv zu nutzen. Die Inhalte sind auf die aktuellen Standards der Branche abgestimmt, einschliesslich des Unified Power Format (UPF) und der IEEE-1801 Power Format Standards. Das Buch beleuchtet die Integration von LP-Techniken in moderne Chipdesigns, die zunehmend auf Energieeffizienz angewiesen sind. Es wird erläutert, wie verschiedene Ansätze zur Spannungssteuerung und zur dynamischen sowie statischen Verifikation in den Designfluss integriert werden. Die Vielzahl an Techniken, Werkzeugen und Methoden, die vom Register-Transfer-Level (RTL) bis hin zu den physischen Designstufen eingesetzt werden, wird detailliert behandelt. Diese Entwicklungen sind entscheidend für Ingenieure und Forscher, die sich mit der Komplexität des modernen Chipdesigns auseinandersetzen.106,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, Fachbücher von Tiziana Margaria, Bernhard SteffenDas Buch "Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles" ist Teil einer dreibändigen Reihe, die die refereed Proceedings des 9. Internationalen Symposiums zu diesem Thema dokumentiert. Die Veranstaltung fand ursprünglich im Jahr 2020 auf Rhodos, Griechenland, statt, wurde jedoch aufgrund der COVID-19-Pandemie auf 2021 verschoben. Die vorliegenden Arbeiten wurden sorgfältig ausgewählt und bieten einen tiefen Einblick in die Prinzipien der Verifikation, die für die Entwicklung zuverlässiger Systeme von entscheidender Bedeutung sind. Der erste Teil des Buches konzentriert sich auf verschiedene Aspekte der Verifikation, einschliesslich Modularität, statistische Modellprüfung und die Validierung von verteilten Systemen. Die Beiträge sind sowohl theoretisch fundiert als auch praxisorientiert und richten sich an Fachleute und Forscher im Bereich der Informatik und Ingenieurwissenschaften, die sich mit formalen Methoden und deren Anwendungen beschäftigen.90,94 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Interactive Systems. Design Specification, and Verification (Englisch, Softcover, Michael D. Harrison, Stephen W. Gilroy) (15908686)Springer Interactive Systems. Design Specification, and Verification (Englisch, Softcover, Michael D. Harrison, Stephen W. Gilroy) (15908686)53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Springer Leveraging Applications of Formal Methods, Verification and Validation. Verification (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (56016676)
Springer Leveraging Applications of Formal Methods, Verification and Validation. Verification (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (56016676)
53,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Verification:
-
Runtime Verification, Fachbücher von Borzoo Bonakdarpour, Scott A. SmolkaDas Buch "Runtime Verification" dokumentiert die referierten Beiträge der 5. Internationalen Konferenz zur Laufzeitüberprüfung, die im September 2014 in Toronto, Kanada, stattfand. Es umfasst 28 überarbeitete Volltexte, 2 Tool-Papiere und 8 Kurzbeiträge, die aus insgesamt 70 Einreichungen sorgfältig ausgewählt wurden. Die Konferenz behandelte eine Vielzahl von Themen, die sich auf die Überwachung und Analyse von Systemen konzentrieren, einschliesslich der Laufzeitüberprüfung von verteilten und parallelen Systemen sowie von Echtzeit- und eingebetteten Systemen. Darüber hinaus werden Aspekte wie Testen, Fehlersuche sowie Inferenz und Lernen behandelt. Dieses Fachbuch richtet sich an Fachleute und Forscher im Bereich Technik und IT, die sich mit den neuesten Entwicklungen und Methoden in der Laufzeitüberprüfung auseinandersetzen möchten.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
ASIC/SoC Functional Design Verification, Fachbücher von Ashok B. MehtaDas Buch "ASIC/SoC Functional Design Verification" bietet eine umfassende Darstellung der Technologien und Methoden, die erforderlich sind, um eine effektive Strategie zur funktionalen Designverifikation zu entwickeln. Es richtet sich an Fachleute, die sich mit der Herausforderung auseinandersetzen, die Funktionsfähigkeit von Silizium in der ersten Produktionsrunde zu gewährleisten. Der Autor, Ashok B. Mehta, beginnt mit einer hochrangigen Übersicht über die verschiedenen Teilbereiche der Verifikation und bietet genügend Tiefe, um ein fundiertes Verständnis zu ermöglichen. Anschliessend werden detaillierte Beschreibungen von branchenüblichen Technologien wie der Universal Verification Methodology (UVM), SystemVerilog Assertions (SVA) und Coverage Driven Verification (CDV) gegeben. Darüber hinaus werden auch moderne Ansätze wie Low Power Verification und Hardware/Software Co-verification behandelt, was das Buch zu einer wertvollen Ressource für Ingenieure in der Halbleiterindustrie macht.128,39 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Low-Power Design and Power-Aware Verification, Fachbücher von Progyna KhondkarDas Buch "Low-Power Design and Power-Aware Verification" bietet eine umfassende Einführung in die Techniken und Methoden des Low-Power-Designs (LP) sowie der power-aware (PA) Verifikation. Es adressiert die bisherige Lücke in der Wissensbasis, die erforderlich ist, um diese Technologien in realen Designverifikations- und Implementierungsprojekten effektiv zu nutzen. Die Inhalte sind auf die aktuellen Standards der Branche abgestimmt, einschliesslich des Unified Power Format (UPF) und der IEEE-1801 Power Format Standards. Das Buch beleuchtet die Integration von LP-Techniken in moderne Chipdesigns, die zunehmend auf Energieeffizienz angewiesen sind. Es wird erläutert, wie verschiedene Ansätze zur Spannungssteuerung und zur dynamischen sowie statischen Verifikation in den Designfluss integriert werden. Die Vielzahl an Techniken, Werkzeugen und Methoden, die vom Register-Transfer-Level (RTL) bis hin zu den physischen Designstufen eingesetzt werden, wird detailliert behandelt. Diese Entwicklungen sind entscheidend für Ingenieure und Forscher, die sich mit der Komplexität des modernen Chipdesigns auseinandersetzen.106,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Verification
-
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, Fachbücher von Tiziana Margaria, Bernhard SteffenDas Buch "Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles" ist Teil einer dreibändigen Reihe, die die refereed Proceedings des 9. Internationalen Symposiums zu diesem Thema dokumentiert. Die Veranstaltung fand ursprünglich im Jahr 2020 auf Rhodos, Griechenland, statt, wurde jedoch aufgrund der COVID-19-Pandemie auf 2021 verschoben. Die vorliegenden Arbeiten wurden sorgfältig ausgewählt und bieten einen tiefen Einblick in die Prinzipien der Verifikation, die für die Entwicklung zuverlässiger Systeme von entscheidender Bedeutung sind. Der erste Teil des Buches konzentriert sich auf verschiedene Aspekte der Verifikation, einschliesslich Modularität, statistische Modellprüfung und die Validierung von verteilten Systemen. Die Beiträge sind sowohl theoretisch fundiert als auch praxisorientiert und richten sich an Fachleute und Forscher im Bereich der Informatik und Ingenieurwissenschaften, die sich mit formalen Methoden und deren Anwendungen beschäftigen.90,94 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Interactive Systems. Design Specification, and Verification (Englisch, Softcover, Michael D. Harrison, Stephen W. Gilroy) (15908686)Springer Interactive Systems. Design Specification, and Verification (Englisch, Softcover, Michael D. Harrison, Stephen W. Gilroy) (15908686)53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Leveraging Applications of Formal Methods, Verification and Validation. Verification (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (56016676)Springer Leveraging Applications of Formal Methods, Verification and Validation. Verification (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (56016676)53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.