共 50 条
- [1] Controlling and synchronizing space time chaos Physical Review E. Statistical Physics, Plasmas, Fluids, and Related Interdisciplinary Topics, 1999, 59 (06):
- [3] State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI FM 2016: FORMAL METHODS, 2016, 9995 : 102 - 118
- [5] Intelligent Real-Time Scheduling of Dynamic Processes in MPI 2017 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2017,
- [6] Abstracting and Counting Synchronizing Processes VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2015), 2015, 8931 : 227 - 244
- [8] Counting dynamically synchronizing processes International Journal on Software Tools for Technology Transfer, 2016, 18 : 517 - 534
- [9] Synchronizing Objectives for Markov Decision Processes ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (50): : 61 - 75
- [10] Improved MPI collectives for MPI processes in shared address spaces CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2014, 17 (04): : 1139 - 1155