Domain drehzahlmessung.de kaufen?
Wir ziehen mit dem Projekt
drehzahlmessung.de um.
Sind Sie am Kauf der Domain
drehzahlmessung.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain drehzahlmessung.de kaufen?
Polynomial Formal Verification of Approximate Functions, Fachbücher von Martha Schnieber
Das Buch "Polynomial Formal Verification of Approximate Functions" von Martha Schnieber bietet eine umfassende Analyse der formalen Verifikation von digitalen Schaltungen, insbesondere von approximativen Funktionen. In der Entwicklung digitaler Schaltungen ist die Gewährleistung der funktionalen Korrektheit von entscheidender Bedeutung. Traditionelle formale Verifikationsmethoden können jedoch aufgrund ihrer exponentiellen Zeit- und Raumkomplexität herausfordernd sein. Schnieber zeigt, dass die Verifikationskomplexität für bestimmte Schaltungen polynomial beschränkt ist, was neue Perspektiven für die Verifikation von Schaltungen eröffnet, die in fehlerresistenten Anwendungen eingesetzt werden. Diese Schaltungen approximieren in bestimmten Fällen die exakte Funktion, während sie gleichzeitig eine geringere Verzögerung oder eine höhere Flächeneffizienz aufweisen. Das Buch bietet obere Schranken für die Grösse der BDD (Binary Decision Diagram) sowie für die Zeit- und Raumkomplexität der Verifikation allgemeiner approximativer Funktionen und mehrerer moderner approximativer Addierer.
117,69 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Polynomial-Formal-Verification-of
Top-Angebote
Produkte zum Begriff Polynomial-Formal-Verification-of:
-
The Art of Ghost of TsushimaThe Art of Ghost of Tsushima , On sale date subject to change . A beautifully realized tome inspired by traditional Japanese aesthetics and featuring art from the delicately crafted video game from Sucker Punch Productions. Dark Horse Books and Sucker Punch Productions are honored to present The Art of Ghost of Tsushima . Explore a unique and intimate look at the Tsushima Islands--all collected into a gorgeous, ornately designed art book. Step into the role of Tsushima Island's last samurai, instilling fear and fighting back against the Mongolian invasion of Japan in the open-world adventure, Ghost of Tsushima . This volume vividly showcases every detail of the vast and exotic locale, featuring elegant illustrations of dynamic characters, spirited landscapes, and diagrams of Samurai sword-fighting techniques, along with a look at storyboards and renders from the most intense, eloquent, and expressive cinematic moments of the game. , > , Erscheinungsjahr: 20200901, Produktform: Leinen, Redaktion: Sucker Punch Productions, Seitenzahl/Blattzahl: 208, Themenüberschrift: ART / Video Game Art, Keyword: art book;gaming;video game;collectible;painting;sketches;drawing;fantasy;anime;manga;comics;graphic novel;japan;japanese;graphic design;art books;games;art;geek;gifts for men;coffee table book;nerd;gifts for women;artists;coffee table books;graphic novels;comic books;gifts;gifts for her;gifts for him;graphic novels for kids 12-15;geek gifts;comic book;graphic novels for teens;fun gifts;nerd gifts;YA;Young adult;war;infamous;history;playstation;playstation 4;action adventure;gamer gifts;artwork, Fachschema: Englische Bücher / Sachbuch / Hobby, Freizeit~Kunst / Computer, 3D-Art, Medien~Medienkunst~Computerspiel~Kunstgeschichte~Populärkultur~Trivialkultur, Fachkategorie: Kunst: allgemeine Themen~Electronic Art, Holografie, Videokunst~Computer- und Onlinespiele~Kunstgeschichte~Game Art (Computerspiele), Imprint-Titels: Dark Horse Books, Warengruppe: HC/Computerspiele, Fachkategorie: Populäre Kultur, Text Sprache: eng, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Verlag: Penguin LLC US, Verlag: Penguin LLC US, Länge: 312, Breite: 243, Höhe: 32, Gewicht: 1489, Produktform: Gebunden, Genre: Importe, Genre: Importe, Herkunftsland: CHINA, VOLKSREPUBLIK (CN), Katalog: LIB_ENBOOK, Katalog: Gesamtkatalog, Katalog: Internationale Lagertitel, Katalog: internationale Titel, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Relevanz: 0140, Tendenz: -1, Unterkatalog: AK, Unterkatalog: Bücher, Unterkatalog: Hardcover, Unterkatalog: Lagerartikel,37,79 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Formal Verification of Circuits, Fachbücher von Rolf DrechslerDas Fachbuch "Formal Verification of Circuits" von Rolf Drechsler bietet eine umfassende Analyse der formalen Verifikation im Bereich der Schaltungsentwicklung. In der heutigen Zeit, in der Schaltungen mehrere Millionen Transistoren enthalten können, wird die Verifikation solcher komplexen Designs zunehmend herausfordernd. Traditionelle Simulationstechniken sind oft unzureichend, da sie nicht die korrekte Funktionsweise garantieren können und eine vollständige Simulation in vielen Fällen nicht praktikabel ist. Das Buch beleuchtet, wie bestimmte Designs, insbesondere arithmetische logische Einheiten (ALUs), durch ihre regelmässigen Strukturen auf einer höheren Abstraktionsebene beschrieben und verifiziert werden können. Es wird auf neuere Ansätze eingegangen, die Word-Level Decision Diagrams (WLDDs) nutzen, um die Verifikation zu erleichtern und die Effizienz zu steigern. Diese graphenbasierten Darstellungen von Funktionen bieten eine vielversprechende Methode zur Überprüfung der Korrektheit von Schaltungen und tragen dazu bei, die Herausforderungen der formalen Verifikation zu bewältigen.160,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, Fachbücher von Tiziana Margaria, Bernhard Steffen
Das 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 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 Polynomial-Formal-Verification-of:
-
Polynomial Formal Verification of Approximate Functions, Fachbücher von Martha SchnieberDas Buch "Polynomial Formal Verification of Approximate Functions" von Martha Schnieber bietet eine umfassende Analyse der formalen Verifikation von digitalen Schaltungen, insbesondere von approximativen Funktionen. In der Entwicklung digitaler Schaltungen ist die Gewährleistung der funktionalen Korrektheit von entscheidender Bedeutung. Traditionelle formale Verifikationsmethoden können jedoch aufgrund ihrer exponentiellen Zeit- und Raumkomplexität herausfordernd sein. Schnieber zeigt, dass die Verifikationskomplexität für bestimmte Schaltungen polynomial beschränkt ist, was neue Perspektiven für die Verifikation von Schaltungen eröffnet, die in fehlerresistenten Anwendungen eingesetzt werden. Diese Schaltungen approximieren in bestimmten Fällen die exakte Funktion, während sie gleichzeitig eine geringere Verzögerung oder eine höhere Flächeneffizienz aufweisen. Das Buch bietet obere Schranken für die Grösse der BDD (Binary Decision Diagram) sowie für die Zeit- und Raumkomplexität der Verifikation allgemeiner approximativer Funktionen und mehrerer moderner approximativer Addierer.117,69 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
The Art of Ghost of TsushimaThe Art of Ghost of Tsushima , On sale date subject to change . A beautifully realized tome inspired by traditional Japanese aesthetics and featuring art from the delicately crafted video game from Sucker Punch Productions. Dark Horse Books and Sucker Punch Productions are honored to present The Art of Ghost of Tsushima . Explore a unique and intimate look at the Tsushima Islands--all collected into a gorgeous, ornately designed art book. Step into the role of Tsushima Island's last samurai, instilling fear and fighting back against the Mongolian invasion of Japan in the open-world adventure, Ghost of Tsushima . This volume vividly showcases every detail of the vast and exotic locale, featuring elegant illustrations of dynamic characters, spirited landscapes, and diagrams of Samurai sword-fighting techniques, along with a look at storyboards and renders from the most intense, eloquent, and expressive cinematic moments of the game. , > , Erscheinungsjahr: 20200901, Produktform: Leinen, Redaktion: Sucker Punch Productions, Seitenzahl/Blattzahl: 208, Themenüberschrift: ART / Video Game Art, Keyword: art book;gaming;video game;collectible;painting;sketches;drawing;fantasy;anime;manga;comics;graphic novel;japan;japanese;graphic design;art books;games;art;geek;gifts for men;coffee table book;nerd;gifts for women;artists;coffee table books;graphic novels;comic books;gifts;gifts for her;gifts for him;graphic novels for kids 12-15;geek gifts;comic book;graphic novels for teens;fun gifts;nerd gifts;YA;Young adult;war;infamous;history;playstation;playstation 4;action adventure;gamer gifts;artwork, Fachschema: Englische Bücher / Sachbuch / Hobby, Freizeit~Kunst / Computer, 3D-Art, Medien~Medienkunst~Computerspiel~Kunstgeschichte~Populärkultur~Trivialkultur, Fachkategorie: Kunst: allgemeine Themen~Electronic Art, Holografie, Videokunst~Computer- und Onlinespiele~Kunstgeschichte~Game Art (Computerspiele), Imprint-Titels: Dark Horse Books, Warengruppe: HC/Computerspiele, Fachkategorie: Populäre Kultur, Text Sprache: eng, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Verlag: Penguin LLC US, Verlag: Penguin LLC US, Länge: 312, Breite: 243, Höhe: 32, Gewicht: 1489, Produktform: Gebunden, Genre: Importe, Genre: Importe, Herkunftsland: CHINA, VOLKSREPUBLIK (CN), Katalog: LIB_ENBOOK, Katalog: Gesamtkatalog, Katalog: Internationale Lagertitel, Katalog: internationale Titel, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Relevanz: 0140, Tendenz: -1, Unterkatalog: AK, Unterkatalog: Bücher, Unterkatalog: Hardcover, Unterkatalog: Lagerartikel,37,79 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Polynomial-Formal-Verification-of
-
Formal Verification of Circuits, Fachbücher von Rolf DrechslerDas Fachbuch "Formal Verification of Circuits" von Rolf Drechsler bietet eine umfassende Analyse der formalen Verifikation im Bereich der Schaltungsentwicklung. In der heutigen Zeit, in der Schaltungen mehrere Millionen Transistoren enthalten können, wird die Verifikation solcher komplexen Designs zunehmend herausfordernd. Traditionelle Simulationstechniken sind oft unzureichend, da sie nicht die korrekte Funktionsweise garantieren können und eine vollständige Simulation in vielen Fällen nicht praktikabel ist. Das Buch beleuchtet, wie bestimmte Designs, insbesondere arithmetische logische Einheiten (ALUs), durch ihre regelmässigen Strukturen auf einer höheren Abstraktionsebene beschrieben und verifiziert werden können. Es wird auf neuere Ansätze eingegangen, die Word-Level Decision Diagrams (WLDDs) nutzen, um die Verifikation zu erleichtern und die Effizienz zu steigern. Diese graphenbasierten Darstellungen von Funktionen bieten eine vielversprechende Methode zur Überprüfung der Korrektheit von Schaltungen und tragen dazu bei, die Herausforderungen der formalen Verifikation zu bewältigen.160,49 €*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 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.