Partial order reduction - PDFSEARCH.IO - Document Search Engine

Partial order reduction
Results: 10

#	Item
1	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 Add to Reading List Source URL: mitras.ece.illinois.edu Language: English - Date: 2018-09-21 21:52:10 Mathematical analysis Mathematics Symbol Continuous function Kazhdan's property Limit of a function Ergodic theory Hopf decomposition Ergodic flow
2	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, Add to Reading List Source URL: drops.dagstuhl.de - Date: 2015-08-25 09:27:37
3	Optimal Dynamic Partial Order Reduction Parosh Abdulla Stavros Aronis Bengt Jonsson Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2013-11-24 12:01:27 Theoretical computer science Algorithm Mathematical logic Mathematics ReedSolomon error correction Discrete mathematics Formal methods
4	Preprint The Lazy Happens-Before Relation: Better Partial-Order Reduction for Systematic Concurrency Testing ∗ Paul Thomson and Alastair F. Donaldson Imperial College London, UK Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2015-06-26 06:07:42
5	Runtime Model Checking of Multithreaded C Programs using Automated Instrumentation Dynamic Partial Order Reduction and Distributed Checking ⋆ Ganesh Gopalakrishnan Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-21 11:36:45 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
6	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 Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 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
7	Microsoft PowerPoint - Partial Order Reduction.ppt Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:10 Mathematics Group actions Group theory Symmetry
8	Bounded Partial-Order Reduction Katherine E. Coons∗ Madanlal Musuvathi† The University of Texas at Austin∗ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-10-08 21:01:57 Model checking Partial order reduction Transition
9	[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. Add to Reading List Source URL: www.ams.org Language: English - Date: 2013-03-01 00:33:12 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
10	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) Add to Reading List Source URL: fractional-calculus.com Language: English - Date: 2013-11-11 01:11:26 Differential equation Integral calculus Integration by reduction formulae Partial fraction Mathematical analysis Mathematics Calculus