Constrained Dynamic Partial Order Reduction

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-96142-2_24
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Partial Order Reduction in Directed Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Partial-Order Reduction for General State Exploring Algorithms

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

Improving Dynamic Partial Order Reductions for Concolic Testing

2012English

Partial-Order Reduction and Trail Improvement in Directed Model Checking

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

Dynamic Iteration and Model Order Reduction for Magneto-Quasistatic Systems

2019English

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

ACM SIGPLAN Notices
Computer Science
2015English

Latency Reduction by Dynamic Core Selection and Partial Migration of Game State

2008English

Failure Driven Dynamic Search Control for Partial Order Planners: An Explanation Based Approach

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
1996English

Numerosity Reduction for Resource Constrained Learning

Journal of Information Processing
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy