共 50 条
- [31] Efficient execution of parallel programs using partial strict triggering of program graph nodes 1997 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1997, : 453 - 459
- [32] Opportunistic Data-driven Execution of Parallel Programs for Efficient I/O Services 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), 2012, : 330 - 341
- [36] Loop Invariant Symbolic Execution for Parallel Programs VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 412 - 427
- [37] Parallel execution of logic programs by load sharing JOURNAL OF LOGIC PROGRAMMING, 1997, 30 (01): : 25 - 51
- [38] Visualization of and/or-parallel execution of logic programs LOGIC PROGRAMMING: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1997, : 271 - 285
- [40] Identifying causes of execution failure for parallel programs Guofang Keji Daxue Xuebao/Journal of National University of Defense Technology, 2022, 44 (05): : 45 - 52