Articoli correlati a Hardware and Software, Verification and Testing: First...
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers: 3875 - Brossura
Sinossi
This book constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in November 2005. The conference combines the sixth IBM Verification Workshop, the fourth IBM Software Testing Workshop, and the third PADTAD (Parallel and Distributed Systems: Testing and Debugging) Workshop. The 14 revised full papers presented together with three invited contributions were carefully reviewed and selected from 31 submissions. The papers address all current issues in hardware/software verification, software testing, and testing of parallel and concurrent applications.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Hardware Verification.- Path-Based System Level Stimuli Generation.- The Safety Simple Subset.- A Case for Runtime Validation of Hardware.- Assertion-Based Verification for the SpaceCAKE Multiprocessor – A Case Study.- Simultaneous SAT-Based Model Checking of Safety Properties.- HaifaSat: A New Robust SAT Solver.- Software Testing.- Production-Testing of Embedded Systems with Aspects.- Assisting the Code Review Process Using Simple Pattern Recognition.- An Extensible Open-Source Compiler Infrastructure for Testing.- Effective Black-Box Testing with Genetic Algorithms.- Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains.- Benchmarking and Testing OSD for Correctness and Compliance.- PADTAD.- A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems.- Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring.- Dynamic Deadlock Analysis of Multi-threaded Programs.- Verification of the Java Causality Requirements.- Choosing Among Alternative Futures.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Hardware and Software, Verification and Testing: First...
Foto dell'editore
Hardware and Software Verification and Testing. First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers.
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Valutazione del venditore 3 su 5 stelle
X, 264 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Stamped/gestempelt. Lecture Notes in Computer Science, Vol. 3875 Sprache: Englisch. Codice articolo 5466DB
Compra usato
EUR 12,00
Spedizione EUR 30,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Print on DemandDa: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice articolo 6666-IUK-9783540326045
Compra nuovo
EUR 58,95
Spedizione EUR 5,98
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 20 disponibili
Foto dell'editore
Hardware And Software, Verification And Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 6909104
Compra usato
EUR 63,54
Spedizione EUR 2,35
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Immagini fornite dal venditore
Hardware And Software, Verification And Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 6909104-n
Compra nuovo
EUR 64,33
Spedizione EUR 2,35
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Hardware and Software, Verification and Testing
Da: Books Puddle, Woodside, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 284. Codice articolo 26299078
Compra nuovo
EUR 86,46
Spedizione EUR 3,55
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Hardware and Software, Verification and Testing
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 284 Illus. Codice articolo 7548825
Compra nuovo
EUR 86,14
Spedizione EUR 7,79
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Hardware and Software, Verification and Testing
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 284. Codice articolo 18299084
Compra nuovo
EUR 87,78
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Hardware and Software. Verification and Testing
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. This book constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in November 2005. The conference combines the sixth IBM Verification Workshop, the fourth IBM Software T. Codice articolo 4887701
Compra nuovo
EUR 60,83
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Editore:
Springer, Berlin, Springer, 2006
ISBN 10: 3540326049
ISBN 13: 9783540326045
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware - The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery. Codice articolo 9783540326045
Compra nuovo
EUR 82,87
Spedizione EUR 35,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili