Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Hardware and Software, Verification and Testing [[electronic resource] ] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / / edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal
| Hardware and Software, Verification and Testing [[electronic resource] ] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / / edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 270 p.) |
| Disciplina | 005.1/4 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-32605-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996466102503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers / / Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)
| Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers / / Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2006 |
| Descrizione fisica | 1 online resource (X, 270 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
UrShmuel
BinEyal WolfsthalYaron |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Computer systems - Verification
Computer software - Verification Computer programs - Verification Integrated circuits - Verification |
| ISBN | 3-540-32605-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Altri titoli varianti |
First International Haifa Verification Conference
International Haifa Verification Conference |
| Record Nr. | UNINA-9910484382003321 |
| Berlin ; ; New York, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Towards a Service-Based Internet. ServiceWave 2010 Workshops [[electronic resource] ] : International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers / / edited by Michel Cezon, Yaron Wolfsthal
| Towards a Service-Based Internet. ServiceWave 2010 Workshops [[electronic resource] ] : International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers / / edited by Michel Cezon, Yaron Wolfsthal |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XXIX, 209 p.) |
| Disciplina | 384.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Management information systems Computer science Computer communication systems Application software Information storage and retrieval Artificial intelligence Software Engineering Management of Computing and Information Systems Computer Communication Networks Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence |
| ISBN | 3-642-22760-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465385603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||