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 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](https://www.pdfsearch.io/img/80f58b4dc8fde38aceb8930926c0aeac.jpg) | Add to Reading ListSource URL: mitras.ece.illinois.eduLanguage: English - Date: 2018-09-21 21:52:10
|
---|
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, 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,](https://www.pdfsearch.io/img/b290303a7c878730427f940fbec57323.jpg) | Add to Reading ListSource URL: drops.dagstuhl.de- Date: 2015-08-25 09:27:37
|
---|
3![Optimal Dynamic Partial Order Reduction Parosh Abdulla Stavros Aronis Bengt Jonsson Optimal Dynamic Partial Order Reduction Parosh Abdulla Stavros Aronis Bengt Jonsson](https://www.pdfsearch.io/img/ba35695d24035be44bcb9c863228fdab.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2013-11-24 12:01:27
|
---|
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 Preprint The Lazy Happens-Before Relation: Better Partial-Order Reduction for Systematic Concurrency Testing ∗ Paul Thomson and Alastair F. Donaldson Imperial College London, UK](https://www.pdfsearch.io/img/660833642323c343cd1866dc47ee4a40.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: 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 Runtime Model Checking of Multithreaded C Programs using Automated Instrumentation Dynamic Partial Order Reduction and Distributed Checking ⋆ Ganesh Gopalakrishnan](https://www.pdfsearch.io/img/fbefb70d0782339ff246db3bbb6433e9.jpg) | Add to Reading ListSource URL: www.fm2008.abo.fiLanguage: English - Date: 2007-12-21 11:36:45
|
---|
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 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](https://www.pdfsearch.io/img/7a59690195ff1dd83b3902c45ea940ad.jpg) | Add to Reading ListSource URL: ai.cs.unibas.chLanguage: English - Date: 2013-01-07 17:29:29
|
---|
7![Microsoft PowerPoint - Partial Order Reduction.ppt Microsoft PowerPoint - Partial Order Reduction.ppt](https://www.pdfsearch.io/img/e4f23fa6541da768702bb9a1d19df356.jpg) | Add to Reading ListSource URL: www.cse.unsw.edu.auLanguage: English - Date: 2006-06-05 00:33:10
|
---|
8![Bounded Partial-Order Reduction Katherine E. Coons∗ Madanlal Musuvathi† The University of Texas at Austin∗ Bounded Partial-Order Reduction Katherine E. Coons∗ Madanlal Musuvathi† The University of Texas at Austin∗](https://www.pdfsearch.io/img/b7d2374cb3d8ba91b098a8713151025d.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2013-10-08 21:01:57
|
---|
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. [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.](https://www.pdfsearch.io/img/d04f948e8644d64d9ea85431a226e536.jpg) | Add to Reading ListSource URL: www.ams.orgLanguage: English - Date: 2013-03-01 00:33:12
|
---|
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) 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)](https://www.pdfsearch.io/img/cd3dfa52652cfe2068d8b03e4709c9f2.jpg) | Add to Reading ListSource URL: fractional-calculus.comLanguage: English - Date: 2013-11-11 01:11:26
|
---|