Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

분할 소프트웨어를 위한 분산 계산 프레임워크

  • Published : 2014.12.16
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. M. Kim, M-O. Stehr, C. Talcott, A Distributed Logic for Networked Cyber-Physical Systems, ELSEVIER Journal of Science of Computer Programming(SCP), 78(12): 2453-2467, 2013. https://doi.org/10.1016/j.scico.2013.01.011
  2. J. Kim, M. Kim, M-O. Stehr, H. Oh, S. Ha, A Parallel and Distributed Meta-heuristic Framework for Design Optimization Problems, ELSEVIER Journal of Parallel and Distributed Computing (JPDC), 72(4): 564-578, 2012. https://doi.org/10.1016/j.jpdc.2012.01.007
  3. M-O. Stehr, M. Kim, T. McCarthy, "A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems", In Computing with New Resources, Lecture Notes in Computer Science. Springer, 2014.
  4. M-O. Stehr, M. Kim, C. Talcott, "Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing", Specification, Algebra, and Software (A Festschrift Symposium in Honor of Kokichi Futatsugi), LNCS Volume 8373, pp 402-433 Apr. 2014, Kanazawa, Japan.
  5. J-S. Choi, T. McCarthy, M. Kim, M-O. Stehr, "Adaptive Wireless Networks as an Example of Declarative Fractionated Systems", 10th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS'13), Dec. 2013, Tokyo, Japan.
  6. J-S. Choi, T. McCarthy, M. Yadav, M. Kim, C. Talcott, E. Gressier-Soudan, "Application Patterns for Cyber-Physical Systems", IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA'13), Aug. 2013, Taipei, Taiwan.
  7. M-O. Stehr, C. Talcott, J. Rushby, P. Lincoln, M. Kim, S. Cheung, A. Poggio, "Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-term Vision", Formal Modeling: Actors, Open Systems, Biological Systems (Festschrift to the Honor of Carolyn Talcott), Nov. 2011, Menlo Park, CA, USA. LNCS 7000 (pp. 110-143).
  8. M. Kim, M-O. Stehr, C. Talcott, "A Distributed Logic for Networked Cyber-Physical Systems", IPM International Conference on Fundamentals of Software Engineering (FSEN'11), Apr. 2011, Tehran, Iran., LNCS 7141 (pp. 190-205).
  9. M. Kim, M-O. Stehr, J. Kim, and S. Ha, "An Application Framework for Loosely Coupled Networked Cyber-Physical Systems", 8th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC'10), Dec. 2010, Hong Kong, China.
  10. M-O. Stehr, M. Kim, C. Talcott, "Toward Distributed Declarative Control of Networked Cyber-Physical Systems", 7th International Conference on Ubiquitous Intelligence and Computing (UIC'10), Oct. 2010, Xian, China., LNCS 6406 (pp. 397-413)
  11. PlanetLab. http://www.planet-lab.org
  12. O. Brown and P. Eremenko. Fractionated space architectures: A vision for responsive space. In 4th Responsive Space Conf., 2006.