共 50 条
- [41] A method for verifying concurrent Java']Java components based on an analysis of concurrency failures CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2007, 19 (03): : 281 - 294
- [42] JaConTeBe: A Benchmark Suite of Real-World Java']Java Concurrency Bugs 2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, : 178 - 189
- [43] Understanding Threads in an Advanced Java']Java Course ITICSE 2007: 12TH ANNUAL CONFERENCE ON INNOVATION & TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, 2007, : 323 - 323
- [45] A framework for advanced process control and portable multi-threaded implementation in Java']Java ADVANCES IN PROCESS CONTROL 5, 1998, : 79 - 86
- [46] Concurrencer: a Tool for Retrofitting Concurrency into Sequential Java']Java Applications via Concurrent Libraries 2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME, 2009, : 399 - 400
- [47] Modelling Java concurrency: An approach and a UPPAAL library 2013 Federated Conference on Computer Science and Information Systems, FedCSIS 2013, 2013, : 1373 - 1380
- [48] The Expression of Common Concurrency Patterns in Join Java Proc. Int. Conf. Parall. Distr. Process. Tech. Appl. PDPTA'04, (1021-1027):
- [50] Transforming Java']Java Programs for Concurrency using Double-Checked Locking Pattern 2014 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE (ISPASS), 2014, : 128 - 129