The parallelization of binary decision diagram operations for model checking
暂无分享,去创建一个
[1] Nagisa Ishiura,et al. Shared binary decision diagram with attributed edges for efficient Boolean function manipulation , 1990, 27th ACM/IEEE Design Automation Conference.
[2] Alex Groce,et al. Swarm Verification , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
[3] Gregory R. Andrews,et al. Gossamer: a lightweight programming framework for multicore machines , 2010 .
[4] Debashis Sahoo,et al. Multi-threaded reachability , 2005, Proceedings. 42nd Design Automation Conference, 2005..
[5] Yi Guo,et al. SLAW: A scalable locality-aware adaptive work-stealing scheduler , 2010, IPDPS.
[6] Marco Pistore,et al. Nusmv version 2: an opensource tool for symbolic model checking , 2002, CAV 2002.
[7] Bradley C. Kuszmaul,et al. Cilk: an efficient multithreaded runtime system , 1995, PPOPP '95.
[8] John L. Gustafson,et al. Reevaluating Amdahl's law , 1988, CACM.
[9] Maurice Herlihy,et al. The art of multiprocessor programming , 2020, PODC '06.
[10] G. Amdhal,et al. Validity of the single processor approach to achieving large scale computing capabilities , 1967, AFIPS '67 (Spring).
[11] Samuel Williams,et al. Roofline: an insightful visual performance model for multicore architectures , 2009, CACM.
[12] Olivier Coudert,et al. A Performance Study of BDD-Based Model Checking , 1998, FMCAD.
[13] David A. Bader,et al. SWARM: A Parallel Programming Framework for Multicore Processors , 2007, IPDPS.
[14] Herb Sutter,et al. The Free Lunch Is Over A Fundamental Turn Toward Concurrency in Software , 2013 .
[15] Mats Brorsson,et al. A Comparison of some recent Task-based Parallel Programming Models , 2010 .
[16] Silvano Gai,et al. A data parallel algorithm for Boolean function manipulation , 1995, Proceedings Frontiers '95. The Fifth Symposium on the Frontiers of Massively Parallel Computation.
[17] Sheldon B. Akers,et al. Binary Decision Diagrams , 1978, IEEE Transactions on Computers.
[18] Alfons Laarman,et al. Boosting multi-core reachability performance with shared hash tables , 2010, Formal Methods in Computer Aided Design.
[19] Rolf Drechsler,et al. Binary decision diagrams in theory and practice , 2001, International Journal on Software Tools for Technology Transfer.
[20] Karl-Filip Faxén. Efficient Work Stealing for Fine Grained Parallelism , 2010, 2010 39th International Conference on Parallel Processing.
[21] L. Dagum,et al. OpenMP: an industry standard API for shared-memory programming , 1998 .
[22] R. Bellman. The theory of dynamic programming , 1954 .
[23] Peter Sanders. Asynchronous Random Polling Dynamic Load Balancing , 1999, ISAAC.
[24] Claude E. Shannon,et al. A symbolic analysis of relay and switching circuits , 1938, Transactions of the American Institute of Electrical Engineers.
[25] Michael L. Scott,et al. Algorithms for scalable synchronization on shared-memory multiprocessors , 1991, TOCS.
[26] Jörn Ossowski,et al. JINC: a multi-threaded library for higher-order weighted decision diagram manipulation , 2009 .
[27] David R. O'Hallaron,et al. Parallel breadth-first BDD construction , 1997, PPOPP '97.
[28] Fabio Somenzi,et al. Efficient manipulation of decision diagrams , 2001, International Journal on Software Tools for Technology Transfer.
[29] Edmund M. Clarke,et al. Symbolic model checking for sequential circuit verification , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[30] D. Miller,et al. Negation and duality in reduced ordered binary decision diagrams , 1997, 1997 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, PACRIM. 10 Years Networking the Pacific Rim, 1987-1997.
[31] Alan J. Hu,et al. BDDNOW: A Parallel BDD Package , 1998, FMCAD.
[32] Radek Pelánek,et al. BEEM: Benchmarks for Explicit Model Checkers , 2007, SPIN.
[33] Jaco van de Pol,et al. 1 Motivation : A Modular , High-Performance Model Checker , 2010 .
[34] Pierre Wolper,et al. An automata-theoretic approach to branching-time model checking , 2000, JACM.
[35] Randal E. Bryant,et al. Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.
[36] Quan Chen,et al. CAB: Cache Aware Bi-tier Task-Stealing in Multi-socket Multi-core Architecture , 2011, 2011 International Conference on Parallel Processing.