共 40 条
- [1] Harnessing cloud computing with Galaxy Cloud [J]. NATURE BIOTECHNOLOGY, 2011, 29 (11) : 972 - 974
- [2] Federated repositories of X-ray diffraction images [J]. ACTA CRYSTALLOGRAPHICA SECTION D-BIOLOGICAL CRYSTALLOGRAPHY, 2008, 64 : 810 - 814
- [3] [Anonymous], 2019, LCP ISABELLE 2019
- [4] [Anonymous], TUMI1115
- [5] [Anonymous], PERFORMANCE PREDICTI, DOI DOI 10.1002/9780470940105.CH17
- [7] Blanchette Jasmin Christian, 2012, Interactive Theorem Proving. Proceedings of the Third International Conference, ITP 2012, P345, DOI 10.1007/978-3-642-32347-8_24
- [8] Broy M., 2004, ELECT NOTES THEORETI, V108, P3
- [9] BUYYA R, 2000, ARCHITECTURE RESOURC
- [10] Service and utility oriented distributed computing systems: Challenges and opportunities for modeling and simulation communities [J]. 41ST ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2008, : 68 - 81