共 50 条
- [32] An environment for evolutionary prototyping Java']Java programs based on abstract interpretation [J]. ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2003, : 362 - 370
- [33] A Java']Java agent for communication in a concurrent distributed product development environment [J]. ADVANCES IN CONCURRENT ENGINEERING: CE97, 1997, 97 : 159 - 166
- [34] Ajents: towards an environment for parallel, distributed and mobile Java']Java applications [J]. CONCURRENCY-PRACTICE AND EXPERIENCE, 2000, 12 (08): : 667 - 685
- [35] Object oriented ephemeris generation in a distributed computing environment with Java']Java [J]. SPACEFLIGHT MECHANICS 1998, VOL 99, PTS 1 AND 2, 1998, 99 : 249 - 266
- [36] A PERFORMANCE AND PROGRAMMING ANALYSIS OF JAVA']JAVA COMMUNICATION MECHANISMS IN A DISTRIBUTED ENVIRONMENT [J]. SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2007, 8 (02): : 209 - 226
- [37] Extremal Optimization Approach Applied to Initial Mapping of Distributed Java']Java Programs [J]. EURO-PAR 2010 PARALLEL PROCESSING, PT I, 2010, 6271 : 180 - +
- [38] Formal verification of concurrent and distributed constraint-based Java']Java programs [J]. ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 76 - 84
- [39] Model-checking multi-threaded distributed Java']Java programs [J]. SPIN MODEL CHECKING AND SOFTWARE VERIFICATON, 2000, 1885 : 224 - 244
- [40] Changing Java']Java programs [J]. IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 479 - 487