Author:
Farzan Azadeh,Madhusudan P.
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. MPI: A message-passing interface standard, http://www.mpi-forum.org/docs/mpi-11-html/mpi-report.html
2. Agha, G.: ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)
3. Bernstein, P.A., Goodman, N.: Concurrency control in distributed database systems. ACM Comput. Surv. 13(2), 185–221 (1981)
4. Chen, F., Serbanuta, T.F., Rosu, G.: jpredictor: a predictive runtime analysis tool for java. In: ICSE, pp. 221–230 (2008)
5. Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, Heidelberg (1998)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Predictive Monitoring against Pattern Regular Languages;Proceedings of the ACM on Programming Languages;2024-01-05
2. Sound Dynamic Deadlock Prediction in Linear Time;Proceedings of the ACM on Programming Languages;2023-06-06
3. Optimal prediction of synchronization-preserving races;Proceedings of the ACM on Programming Languages;2021-01-04
4. Fine-Grained Complexity of Safety Verification;Journal of Automated Reasoning;2020-07-14
5. Value-centric dynamic partial order reduction;Proceedings of the ACM on Programming Languages;2019-10-10