![Model checking / Partial order reduction / Transition Model checking / Partial order reduction / Transition](https://www.pdfsearch.io/img/b7d2374cb3d8ba91b098a8713151025d.jpg)
| Document Date: 2013-10-08 21:01:57 Open Document File Size: 638,06 KBShare Result on Facebook
City Indianapolis / / Company Bv(S.t) Bv / Intel / Microsoft / / Country United States / / Currency USD / / / Facility ACM Digital Library / Bounded Partial-Order Reduction Katherine E. Coons∗ Madanlal Musuvathi† The University of Texas / / IndustryTerm Selective search explores / partial-order reduction algorithms / bounded search / search visits / selective search / fair-bounded search / stateless search / depth-first search / bounded selective search / preemption-bounded search / preemption-bounded and fair-bounded search / selective search using persistent sets / preemption-bounded search explores / search using partial-order reduction / search space / unbounded search / search time / search explores / / Organization University of Texas at Austin / / Person Katherine E. Coons∗ Madanlal Musuvathi / / Position otherwise deterministic scheduler / runtime scheduler / Debugging General / programmer / / ProvinceOrState Texas / Hawaii / / Technology RAM / partial-order reduction algorithms / 2 Duo processor / dom / DPOR algorithm / shared memory / / URL http /
SocialTag |