RISS 학술연구정보서비스

검색
다국어 입력

http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.

변환된 중국어를 복사하여 사용하시면 됩니다.

예시)
  • 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
  • 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
닫기
    인기검색어 순위 펼치기

    RISS 인기검색어

      검색결과 좁혀 보기

      선택해제

      오늘 본 자료

      • 오늘 본 자료가 없습니다.
      더보기
      • 무료
      • 기관 내 무료
      • 유료
      • Formal Description of the Virtual Machines System Framework

        Xiaodong Liu,Li He,Hating Xu 보안공학연구지원센터 2015 International Journal of Multimedia and Ubiquitous Vol.10 No.3

        Virtual resources have the duality of hardware and software, which brings new challenges to virtual resources management and manipulation. There is urgent need for formally describing virtual resources in order to effectively reason about virtual resources allocation, scheduling and management. This paper describes the virtual resources and their dynamic behavior. We first give the formal definition of the resources pool and the virtual machine (VM). Then, we describe the dynamic behavior of VMs. In particular, we present a formal description of how virtual resources are used by VMs. This paper reveals the logical laws of virtual resources and their dynamic behaviors and makes the virtualization theory system more rigorous.

      연관 검색어 추천

      이 검색어로 많이 본 자료

      활용도 높은 자료

      해외이동버튼