Hardware and Software: Verification and Testing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642341878, 9783642341885

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34188-5_12 ◽

2012 ◽

pp. 115-129 ◽

Cited By ~ 2

Author(s):

Qichang Chen ◽

Liqiang Wang ◽

Zijiang Yang

Keyword(s):

Dynamic Analysis ◽

Adaptive Dynamic ◽

Multithreaded Programs ◽

Self Adaptive

Download Full-text

Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34188-5_14 ◽

2012 ◽

pp. 145-159 ◽

Cited By ~ 6

Author(s):

Kenneth Johnson ◽

Simon Reed ◽

Radu Calinescu

Keyword(s):

Quantitative Analysis

Download Full-text

Automated Detection and Repair of Concurrency Bugs

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34188-5_3 ◽

2012 ◽

pp. 3-3

Author(s):

Ben Liblit

Keyword(s):

Automated Detection ◽

Concurrency Bugs

Download Full-text

Implicative Simultaneous Satisfiability and Applications

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34188-5_9 ◽

2012 ◽

pp. 66-79 ◽

Cited By ~ 6

Author(s):

Zurab Khasidashvili ◽

Alexander Nadel

Download Full-text

Verification Challenges of Workload Optimized Hardware Systems

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34188-5_4 ◽

2012 ◽

pp. 4-4

Author(s):

Klaus-Dieter Schubert

Download Full-text

Function Summaries in Software Upgrade Checking

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34188-5_24 ◽

2012 ◽

pp. 257-258 ◽

Cited By ~ 3

Author(s):

Grigory Fedyukovich ◽

Ondrej Sery ◽

Natasha Sharygina

Keyword(s):

Software Upgrade

Download Full-text

On-Line Detection and Prediction of Temporal Patterns

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34188-5_23 ◽

2012 ◽

pp. 254-256

Author(s):

Shlomi Dolev ◽

Jonathan Goldfeld ◽

Rami Puzis

Keyword(s):

Temporal Patterns ◽

Line Detection ◽

On Line

Download Full-text

Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34188-5_11 ◽

2012 ◽

pp. 95-114 ◽

Cited By ~ 7

Author(s):

Arnab Sinha ◽

Sharad Malik ◽

Chao Wang ◽

Aarti Gupta

Download Full-text

Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34188-5_26 ◽

2012 ◽

pp. 261-262

Author(s):

Ron Zeira ◽

Dmitry Korchemny ◽

Ron Shamir

Keyword(s):

Computational Biology ◽

Microprocessor Testing

Download Full-text

Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34188-5_21 ◽

2012 ◽

pp. 242-246

Author(s):

Yongjian Li ◽

Naiju Zeng ◽

William N. N. Hung ◽

Xiaoyu Song

Keyword(s):

Theorem Proving ◽

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

Hardware and Software: Verification and Testing - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs

Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns

Automated Detection and Repair of Concurrency Bugs

Implicative Simultaneous Satisfiability and Applications

Verification Challenges of Workload Optimized Hardware Systems

Function Summaries in Software Upgrade Checking

On-Line Detection and Prediction of Temporal Patterns

Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search

Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing

Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science
Latest Publications