To Parallelize or to Optimize?

DOI10.1093/LOGCOM/EXP006MaRDI QIDQ3069999zbMATH OpenOpenAlexFDO

Authors Jonathan Ezekiel, Gerald Lüttgen, Radu I. Siminiceanu

Publication date 2 February 2011

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exp006

zbMATH Keywords

benchmarkingsaturationparallelisationsymbolic state-space generation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10)

Recommendations

• scientific article; zbMATH DE number 885180
• Which approach to parallelizing scientific codes -- That is the question
• scientific article; zbMATH DE number 4209478
• scientific article; zbMATH DE number 139699
• scientific article; zbMATH DE number 1775229
• scientific article; zbMATH DE number 3894470
• Efficient use of parallelism in algorithmic parameter optimization applications

Cited in

(6)

• Which approach to parallelizing scientific codes -- That is the question
• Measuring and evaluating parallel state-space exploration algorithms
• Parallelizing a symbolic compositional model-checking algorithm
• scientific article; zbMATH DE number 1746649 (Why is no real title available?)
• Parallel Graph-Based Stateless Model Checking
• A pattern recognition approach for speculative firing prediction in distributed saturation state-space generation

This page was built for publication: To Parallelize or to Optimize?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3069999)