Approximate Partial Order Reduction? Chuchu Fan, Zhenqi Huang, and Sayan Mitra University of Illinois at Urbana-Champaign, ECE Department {cfan10, zhuang25, mitras}@illinois.edu Abstract. We present a new partial order

Source URL: mitras.ece.illinois.edu

• Mathematical analysis
• Mathematics
• Symbol
• Continuous function
• Kazhdan's property
• Limit of a function
• Ergodic theory
• Hopf decomposition
• Ergodic flow

Unfolding-based Partial Order Reduction∗ César Rodríguez1 , Marcelo Sousa2 , Subodh Sharma3 , and Daniel Kroening4 1 Université Paris 13, Sorbonne Paris Cité, LIPN, CNRS, France 2,4 Department of Computer Science,

Source URL: drops.dagstuhl.de

Optimal Dynamic Partial Order Reduction Parosh Abdulla Stavros Aronis Bengt Jonsson

Source URL: user.it.uu.se

• Theoretical computer science
• Algorithm
• Mathematical logic
• Mathematics
• ReedSolomon error correction
• Discrete mathematics
• Formal methods

Preprint The Lazy Happens-Before Relation: Better Partial-Order Reduction for Systematic Concurrency Testing ∗ Paul Thomson and Alastair F. Donaldson Imperial College London, UK

Source URL: www.doc.ic.ac.uk

Runtime Model Checking of Multithreaded C Programs using Automated Instrumentation Dynamic Partial Order Reduction and Distributed Checking ⋆ Ganesh Gopalakrishnan

Source URL: www.fm2008.abo.fi

• Application programming interfaces
• Parallel computing
• Model checking
• Formal methods
• Logic in computer science
• Principles of Programming Languages
• SPIN model checker
• Thread
• Formal verification
• Computing
• Computer science
• Computer programming

A Stubborn Set Algorithm for Optimal Planning 1 and Malte Helmert2 ¨ Yusra Alkhazraji1 and Martin Wehrle2 and Robert Mattmuller Abstract. We adapt a partial order reduction technique based on

Source URL: ai.cs.unibas.ch

• Artificial intelligence
• A* search algorithm
• Combinatorial optimization
• Pruning
• Algorithm
• Heuristic function
• Specific Area Message Encoding
• Partial order reduction
• Applied mathematics
• Search algorithms
• Mathematics
• Game artificial intelligence

Microsoft PowerPoint - Partial Order Reduction.ppt

Source URL: www.cse.unsw.edu.au

• Mathematics
• Group actions
• Group theory
• Symmetry

Bounded Partial-Order Reduction Katherine E. Coons∗ Madanlal Musuvathi† The University of Texas at Austin∗

Source URL: research.microsoft.com

• Model checking
• Partial order reduction
• Transition

[removed]Nadia Marie Ott* ([removed]), 5787 College Ave. Apt 46, San Diego, CA 92120, and Timothy Mark Dunster. Reduction of Order for Higher Order Linear Ordinary Differential Equations. Preliminary report.

Source URL: www.ams.org

• Ordinary differential equations
• Differential equations
• Partial differential equation
• Variation of parameters
• Reduction of order
• Linear differential equation
• Stochastic partial differential equation
• Integrating factor
• Calculus
• Differential calculus
• Mathematical analysis

17 Super Integral of the Product of Two Functions 17.1 Super Integral of f (x) g (x[removed]Super Intagration by parts Formula[removed]r , p are positive numbers, f r be an arbitrary r th order primitive function of f(x)

Source URL: fractional-calculus.com

• Differential equation
• Integral calculus
• Integration by reduction formulae
• Partial fraction
• Mathematical analysis
• Mathematics
• Calculus