Angebote zu "Scalable" (18 Treffer)

Kategorien

Shops

Ganai, Malay: SAT-Based Scalable Formal Verific...
152,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 08/2007, Medium: Buch, Einband: Gebunden, Titel: SAT-Based Scalable Formal Verification Solutions, Autor: Ganai, Malay // Gupta, Aarti, Verlag: Springer-Verlag GmbH // Springer US, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Elektrotechnik // Bauelement // elektronisch // Baustein // Elektronik // Bauelemente // Schaltung // Grundschaltung // Standardschaltung // CAD // Computer Aided Design // Informatik // Datenverarbeitung // Anwendungen // Betrieb // Verwaltung // CAM // Computer Aided Manufacturing // Computer-Aided Design // Unternehmensanwendungen // Computerunterstützte Fertigung, Rubrik: Anwendungs-Software, Seiten: 330, Reihe: Series on Integrated Circuits and Systems, Informationen: Gb, Gewicht: 719 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 03.04.2020
Zum Angebot
SAT-Based Scalable Formal Verification Solutions
170,99 € *
ggf. zzgl. Versand

SAT-Based Scalable Formal Verification Solutions ab 170.99 € als pdf eBook: . Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet,

Anbieter: hugendubel
Stand: 03.04.2020
Zum Angebot
SAT-Based Scalable Formal Verification Solutions
176,49 € *
ggf. zzgl. Versand

SAT-Based Scalable Formal Verification Solutions ab 176.49 € als gebundene Ausgabe: Auflage 2007. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,

Anbieter: hugendubel
Stand: 03.04.2020
Zum Angebot
SAT-Based Scalable Formal Verification Solutions
176,49 € *
ggf. zzgl. Versand

SAT-Based Scalable Formal Verification Solutions ab 176.49 € als Taschenbuch: Softcover reprint of hardcover 1st ed. 2007. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,

Anbieter: hugendubel
Stand: 03.04.2020
Zum Angebot
SAT-Based Scalable Formal Verification Solutions
176,49 € *
ggf. zzgl. Versand

SAT-Based Scalable Formal Verification Solutions ab 176.49 EURO Softcover reprint of hardcover 1st ed. 2007

Anbieter: ebook.de
Stand: 03.04.2020
Zum Angebot
SAT-Based Scalable Formal Verification Solutions
176,49 € *
ggf. zzgl. Versand

SAT-Based Scalable Formal Verification Solutions ab 176.49 EURO Auflage 2007

Anbieter: ebook.de
Stand: 03.04.2020
Zum Angebot
SAT-Based Scalable Formal Verification Solutions
170,99 € *
ggf. zzgl. Versand

SAT-Based Scalable Formal Verification Solutions ab 170.99 EURO

Anbieter: ebook.de
Stand: 03.04.2020
Zum Angebot
Static Detection of Software Errors
59,00 € *
ggf. zzgl. Versand

Revision with unchanged content. Automatic program analysis tools are increasingly developed and deployed to combat the perenniel software quaility problem that plagues the IT industry. Traditional tools faces a stark tradeoff between precision and scalability: scalable tools are often imprecise, limiting themselves to detecting relatively shallow errors, precise tools are often not scalable and are thus only applied to simplified models of the core parts of large systems. This study presents techniques and results on how to exploit existing struc tures of large software systems to make precise program analyses scale. As an example, the author show how to scale Boolean Satisfiability (SAT) based a na lysis - traditionally applied to small models with hundreds of lines of code - to the whole Linux kernel, which contains millions of lines of code. This study is directed to designers and users of software analysis tools alike. It offers detailed descriptions of several state-of-the-art automatic error detection algorithms and presents experimental results on mature open-source systems. The approach can be potentially generalized to the design and deployment of a wide range of program analysis tools.

Anbieter: Dodax
Stand: 03.04.2020
Zum Angebot
SAT-Based Scalable Formal Verification Solutions
176,54 € *
ggf. zzgl. Versand

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

Anbieter: Dodax
Stand: 03.04.2020
Zum Angebot