Partial-Order Reduction for General State Exploring Algorithms

International Journal on Software Tools for Technology Transfer - Germany
doi 10.1007/s10009-008-0093-y
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Constrained Dynamic Partial Order Reduction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Partial Order Reduction in Directed Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Evaluating the Trade-Offs in Partial-Order Planning Algorithms

1994English

The Lazy Happens-Before Relation: Better Partial-Order Reduction for Systematic Concurrency Testing

ACM SIGPLAN Notices
Computer Science
2015English

Partial-Order Reduction and Trail Improvement in Directed Model Checking

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2004English

Optimistic Algorithms for Partial Database Replication

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A New Genetic Algorithms Working on State Domain Order Statistics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Generalization Algorithms for Second-Order Terms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Approximation Algorithms for Partial Covering Problems*1

Journal of Algorithms
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy