Distributed binary decision diagrams for symbolic reachability-Reference-Cited by-同舟云学术

Distributed binary decision diagrams for symbolic reachability

Published:2017-07-13 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
language:
Short-container-title:

Author:

Oortwijn Wytse¹,Dijk Tom van²,Pol Jaco van de¹

Affiliation:

1. University of Twente, Netherlands

2. JKU Linz, Austria

Funder

Austrian Science Fund

Nederlandse Organisatie voor Wetenschappelijk Onderzoek

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3092282.3092284

Reference39 articles.

1. 2008. Infiniband Trade Association. (2008). http://www.infinibandta.org 2015. Mellanox’s Messaging Accelerator. (2015). http://www.mellanox.com/vma 2015. The Distributed ASCI Supercomputer 5. (2015). http://www.cs.vu.nl/das5 2008. Infiniband Trade Association. (2008). http://www.infinibandta.org 2015. Mellanox’s Messaging Accelerator. (2015). http://www.mellanox.com/vma 2015. The Distributed ASCI Supercomputer 5. (2015). http://www.cs.vu.nl/das5

2. Scheduling parallel programs by work stealing with private deques

3. Designing fast LTL model checking algorithms for many-core GPUs

4. Cilk: An Efficient Multithreaded Runtime System

5. R.D. Blumofe and D.S. Park. 1994. Scheduling large-scale parallel computations on networks of workstations. In High Performance Distributed Computing. IEEE 96–105. R.D. Blumofe and D.S. Park. 1994. Scheduling large-scale parallel computations on networks of workstations. In High Performance Distributed Computing. IEEE 96–105.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Efficient and Generic Algorithms for Quantitative Attack Tree Analysis;IEEE Transactions on Dependable and Secure Computing;2022

2. Efficient Algorithms for Quantitative Attack Tree Analysis;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06

3. Multi-core On-The-Fly Saturation;Tools and Algorithms for the Construction and Analysis of Systems;2019

4. State Compression Based on One-Sided Communications for Distributed Model Checking;2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS);2018-12

5. One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters;Euro-Par 2018: Parallel Processing;2018