共 50 条
- [41] Interactive visualization environment of multi-threaded parallel programs [J]. PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 311 - 318
- [42] Handling information release and erasure in multi-threaded programs [J]. CIS: 2007 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY, PROCEEDINGS, 2007, : 824 - 828
- [43] Logic of multi-threaded programs for non-interference [J]. Ruan Jian Xue Bao/Journal of Software, 2014, 25 (06): : 1143 - 1153
- [44] Threader: A Verifier for Multi-threaded Programs (Competition Contribution) [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 633 - 636
- [46] Information Flow Security of Multi-Threaded Distributed Programs [J]. PLAS'08: PROCEEDINGS OF THE ACM SIGPLAN THIRD WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2008, : 113 - 124
- [47] Complexity and information flow analysis for multi-threaded programs [J]. The European Physical Journal Special Topics, 2017, 226 : 2375 - 2392
- [48] Condensed forms for the symmetric eigenvalue problem on multi-threaded architectures [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2011, 23 (07): : 694 - 707
- [49] Deterministic Synchronization of Multi-Threaded Programs with Operational Transformation [J]. PROCEEDINGS OF 2014 IEEE INTERNATIONAL PARALLEL & DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2014, : 381 - 390
- [50] A study of common pitfalls in simple multi-threaded programs [J]. SIGCSE 2000: PROCEEDINGS OF THE THIRTY-FIRST SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2000, 32 (01): : 325 - 329