共 50 条
- [31] Performance modeling for SPMD message-passing programs CONCURRENCY-PRACTICE AND EXPERIENCE, 1998, 10 (05): : 333 - 357
- [33] Effpi: Verified Message-Passing Programs in Dotty SCALA'19: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON SCALA, 2019, : 27 - 31
- [34] Bounded phase analysis of message-passing programs International Journal on Software Tools for Technology Transfer, 2014, 16 : 127 - 146
- [35] Towards visual development of message-passing programs 1997 IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1997, : 144 - 151
- [36] Reachability testing of asynchronous message-passing programs SECOND INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1997, : 50 - 61
- [37] Deadlock analysis of synchronous message-passing programs INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1999, : 62 - 69
- [38] Automatic differentiation for message-passing parallel programs FIRST MERGED INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM & SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING, 1998, : 98 - 104
- [40] Bounded Phase Analysis of Message-Passing Programs TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, 2012, 7214 : 451 - 465