共 50 条
- [22] A concept of portable monitoring of multithreaded programs [J]. COMPUTATIONAL SCIENCE-ICCS 2002, PT II, PROCEEDINGS, 2002, 2330 : 884 - 893
- [23] Reachability in Binary Multithreaded Programs Is Polynomial [J]. 2017 IEEE 37TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2017), 2017, : 2083 - 2088
- [24] Pointer analysis of multithreaded Java programs [J]. Proc ACM Symp Appl Computing, 1600, (1068-1075):
- [25] Predicting and speedup of multithreaded Solaris programs [J]. FOURTH INTERNATIONAL CONFERENCE ON HIGH-PERFORMANCE COMPUTING, PROCEEDINGS, 1997, : 386 - 392
- [26] On verifying distributed multithreaded Java programs [J]. Proceedings of the Annual Hawaii International Conference on System Sciences, 2000, 2000-January
- [27] Confidentiality for multithreaded programs via bisimulation [J]. PERSPECTIVES OF SYSTEM INFORMATICS, 2003, 2890 : 260 - 273
- [28] Automatic Performance Modeling of Multithreaded Programs [J]. 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014), 2014, : 721 - 723
- [29] Static analysis of the determinism of multithreaded programs [J]. SEFM 2008: Sixth IEEE International Conference on Software Engineering and Formal Methods, Proceedings, 2008, : 41 - 50