scientific article; zbMATH DE number 2217744

MaRDI QIDQ5699478zbMATH OpenFDO

Authors Diana Dubu, Dana Petcu

Publication date 26 October 2005

zbMATH Keywords

model checkingparallel computing

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Load balancing parallel explicit state model checking
• Parallel randomized load balancing
• scientific article; zbMATH DE number 967422
• Measuring and evaluating parallel state-space exploration algorithms
• Revisiting randomized parallel load balancing algorithms
• Revisiting Randomized Parallel Load Balancing Algorithms
• scientific article; zbMATH DE number 1263199
• Parallel load balancing for dynamic execution environments

Cited in

(3)

• Load balancing parallel explicit state model checking
• Measuring and evaluating parallel state-space exploration algorithms
• scientific article; zbMATH DE number 1746649 (Why is no real title available?)

This page was built for publication:

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