共 50 条
- [31] Constructing formal rules to verify message communication in distributed systems The Journal of Supercomputing, 2012, 59 : 1396 - 1418
- [32] Experimental grid access for dynamic discovery and data transfer in distributed interactive simulation systems COMPUTATIONAL SCIENCE - ICCS 2003, PT I, PROCEEDINGS, 2003, 2657 : 284 - 292
- [33] Hashed Data transfer in SHM distributed systems with the use of Power Line Communication technology STRUCTURAL HEALTH MONITORING II, 2012, 518 : 154 - 159
- [36] Editorial message: Special track on distributed systems and grid computing Proceedings of the ACM Symposium on Applied Computing, 2006, 1 : 739 - 740
- [37] Reducing Null Message Traffic in Large Parallel and Distributed Systems 2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, : 746 - +
- [38] Adaptive Message Clustering for Distributed Agent-Based Systems 2011 IEEE WORKSHOP ON PRINCIPLES OF ADVANCED AND DISTRIBUTED SIMULATION (PADS), 2011,
- [39] A causal message logging protocol with asynchronous checkpointing for distributed systems PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2000, : 523 - 528
- [40] Configuration of distributed message converter systems using performance modeling CONFERENCE PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL PERFORMANCE, COMPUTING, AND COMMUNICATIONS CONFERENCE, 2001, : 57 - 67