共 50 条
- [1] A scalable concurrent computation and scheduling model in Java [J]. Comput. Sci. Research, Education, and Applications Press (CSREA); International Technology Institute (ITI); Korean Society for Internet Information (KSII); World Academy of Science for Information Technology (WAS), 1600, 214-216 (2004):
- [3] Model Checking of Concurrent Algorithms: From Java']Java to C [J]. DISTRIBUTED, PARALLEL AND BIOLOGICALLY INSPIRED SYSTEMS, 2010, 329 : 90 - +
- [4] Efficient computation of May-Happen-in-Parallel information for concurrent Java']Java programs [J]. LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2006, 4339 : 152 - 169
- [5] Developing scalable distributed applications - A generic model implemented in Java']Java [J]. DR DOBBS JOURNAL, 2001, 26 (09): : 21 - +
- [6] Testing concurrent Java']Java components [J]. 29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: ICSE 2007 COMPANION VOLUME, PROCEEDINGS, 2007, : 161 - +
- [8] Slicing concurrent Java']Java programs [J]. SEVENTH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 1999, : 126 - 133
- [9] Symbolic computation in Java']Java: An appraisement [J]. ISSAC 99: PROCEEDINGS OF THE 1999 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 1999, : 237 - 244
- [10] Runtime support for scalable programming in Java']Java [J]. JOURNAL OF SUPERCOMPUTING, 2008, 43 (02): : 165 - 182