| Document Date: 2013-08-14 13:37:54
Open Document File Size: 258,02 KBShare Result on Facebook
Company Intel Corporation / / Currency pence / LTL / / / Facility Brigham Young University / / IndustryTerm search processes / model checking algorithm / real time systems / bitstate algorithm / active search processes / site search / simpler exploration algorithms / Parallel algorithms / df s1 search / parallel search / waggle dance advertising / depth-first search / violation discovery algorithm / sequential search / state systems / violation search / parallel algorithm / signal processing / parallel model checking algorithms / infinite real time systems / double depth-first search / information processing perspective / large transition systems / search stack / transition systems / search algorithm / student computing laboratories / df s2 search looks / non-dedicated parallel computing environment / search depth / inspired systems / / Organization Brigham Young University / Department of Computer Science Brigham Young University Provo / / Person Bt / Jacob Sorber / Michael D. Jones / / Position editor / / ProvinceOrState Manitoba / / Technology Partitioning algorithms / 3.5 Computational Platform The BEE algorithm / Three algorithms / violation discovery algorithm / 3.2 The BEE algorithm The BEE algorithm / ACO algorithms / resulting algorithm / search algorithm / model checking algorithm / then simpler exploration algorithms / random access / UDP / parallel model checking algorithms / BEE algorithms / TCP/IP / 1 Related Work The BEE algorithm / bitstate algorithm / BEE algorithm / /
SocialTag |
1 Abstract. Recent advances in parallel model checking for liveness properties achieve significant capacity increases over sequential model checkers. However, the capacity of parallel model checkers is in turn limited b