To Parallelize or to Optimize?
From MaRDI portal
Publication:3069999
DOI10.1093/LOGCOM/EXP006zbMATH Open1213.68373OpenAlexW2091462223MaRDI QIDQ3069999FDOQ3069999
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
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
Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10)
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
- Title not available (Why is that?)
- 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)
