Scheduling and Controlling Semantics for Distributed Resource Based Computing Engines
暂无分享,去创建一个
[1] Maurice Herlihy,et al. A methodology for implementing highly concurrent data objects , 1993, TOPL.
[2] Vijay K. Naik,et al. Active Middleware Services in a Decision Support System for Managing Highly Available Distributed Resources , 2000, Middleware.
[3] Peter Steenkiste,et al. Darwin: customizable resource management for value-added network services , 1998, Proceedings Sixth International Conference on Network Protocols (Cat. No.98TB100256).
[4] K. H. Kim. Toward globally optimal resource management in large-scale real-time distributed computer systems , 1997, Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.
[5] Sanjiva Prasad,et al. Introduction to Operational Semantics , 2002, The Compiler Design Handbook.
[6] Luca Cardelli,et al. Mobile Ambients , 1998, FoSSaCS.
[7] W. Keith Edwards,et al. Core Jini , 1999 .
[8] K. H. Kim,et al. Dynamic Configuration Management in Reliable Distributed Real-Time Information Systems , 1999, IEEE Trans. Knowl. Data Eng..
[9] Amy W. Apon,et al. Middleware , 2001, 2006 ACS/IEEE International Conference on Pervasive Services.
[10] Wolfgang Ziegler,et al. Semantic Support for Meta-Scheduling in Grids , 2005, Knowledge and Data Management in GRIDs.
[11] Maurice Herlihy,et al. Axioms for concurrent objects , 1987, POPL '87.
[12] Luca Cardelli,et al. Anytime, anywhere: modal logics for mobile ambients , 2000, POPL '00.
[13] Robin Milner,et al. Algebraic laws for nondeterminism and concurrency , 1985, JACM.
[14] Peter Flake,et al. Achieving Determinism in SystemVerilog 3.1 Scheduling Semantics , 2003 .