共 50 条
- [31] Constraint graph analysis of multithreaded programs 12TH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS, 2003, : 4 - 14
- [33] Asserting and Checking Determinism for Multithreaded Programs 7TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2009, : 3 - 12
- [34] On Verifying Distributed Multithreaded Java Programs Software Quality Journal, 1999, 8 : 321 - 341
- [35] A concept of portable monitoring of multithreaded programs COMPUTATIONAL SCIENCE-ICCS 2002, PT II, PROCEEDINGS, 2002, 2330 : 884 - 893
- [37] Reachability in Binary Multithreaded Programs Is Polynomial 2017 IEEE 37TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2017), 2017, : 2083 - 2088
- [40] Predicting and speedup of multithreaded Solaris programs FOURTH INTERNATIONAL CONFERENCE ON HIGH-PERFORMANCE COMPUTING, PROCEEDINGS, 1997, : 386 - 392