<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF[
	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	<!ENTITY swivt 'http://semantic-mediawiki.org/swivt/1.0#'>
	<!ENTITY wiki 'https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/'>
	<!ENTITY category 'https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3A'>
	<!ENTITY property 'https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'https://s3wiki.yonsei.ac.kr/index.php/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:category="&category;"
	xmlns:property="&property;">

	<owl:Ontology rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-09-08T17:55:12+09:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Ontology>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a">
		<rdf:type rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3ALessons"/>
		<rdfs:label>Lesson:demand based coordinated scheduling for smp vms a57bd76a</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a"/>
		<swivt:page rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ko</swivt:wikiPageContentLanguage>
		<property:Applicability rdf:datatype="http://www.w3.org/2001/XMLSchema#string">SMP VM의 parallel runtime, multithreaded service, lock/communication-heavy workload 스케줄링에 해당한다.</property:Applicability>
		<property:Attempt rdf:datatype="http://www.w3.org/2001/XMLSchema#string">vCPU 사이 IPI를 coordination demand의 신호로 사용해 IPI-driven coscheduling과 delayed preemption을 수행하고, heterogeneous consolidation의 load imbalance를 줄이는 load-conscious CPU allocation을 결합한다.</property:Attempt>
		<property:Author rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Author>
		<property:Confidence rdf:datatype="http://www.w3.org/2001/XMLSchema#string">medium</property:Confidence>
		<property:Context rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Publication scope: international. Lab publication metadata:
1. Hwanju Kim, Sangwook Kim, Jinkyu Jeong, Joonwon Lee, and Seungryoul Maeng, "Demand-Based Coordinated Scheduling for SMP VMs," in Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVIII), Houston, Texas, USA, March, 2013
2. Hwanju Kim, Sangwook Kim, Jinkyu Jeong, Joonwon Lee, and Seungryoul Maeng, "Demand-based Coordinated Scheduling for SMP VMs," ACM SIGPLAN Notices, vol. 48, no. 4, pp. 369-380, Apr. 2013

Verification level: official_abstract. Sources checked:
https://doi.org/10.1145/2451116.2451156
https://doi.org/10.1145/2499368.2451156
https://yonsei.elsevierpure.com/en/publications/demand-based-coordinated-scheduling-for-smp-vms/</property:Context>
		<property:Created_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-16T15:07:17Z</property:Created_at>
		<property:Created_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461238.1300579</property:Created_at-23aux>
		<property:Evidence_overview rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Publication record 1: Hwanju Kim, Sangwook Kim, Jinkyu Jeong, Joonwon Lee, and Seungryoul Maeng, "Demand-Based Coordinated Scheduling for SMP VMs," in Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVIII), Houston, Texas, USA, March, 2013
Publication record 2: Hwanju Kim, Sangwook Kim, Jinkyu Jeong, Joonwon Lee, and Seungryoul Maeng, "Demand-based Coordinated Scheduling for SMP VMs," ACM SIGPLAN Notices, vol. 48, no. 4, pp. 369-380, Apr. 2013</property:Evidence_overview>
		<property:Interpretation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">평가는 PARSEC 혼합 시나리오 중심이고, 공개 초록만으로는 workload별 speedup이나 scheduler overhead를 확인할 수 없다.

Technical interpretation: 무조건 gang/coscheduling하기보다 IPI 같은 실제 synchronization event를 coordination trigger로 사용하면 utilization 손실을 줄일 수 있다.</property:Interpretation>
		<property:Lesson_title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demand-Based Coordinated Scheduling for SMP VMs</property:Lesson_title>
		<property:Observation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">혼합 PARSEC workloads에서 불필요한 synchronization latency와 CPU 소비를 줄여 전체 성능을 개선했으며, 특히 communication-intensive application에서 효과가 컸다. 공식 초록에는 정량값이 없다.</property:Observation>
		<property:Question rdf:datatype="http://www.w3.org/2001/XMLSchema#string">통신·동기화에 민감한 multithreaded workload를 호스팅하는 SMP VM의 vCPU들을, CPU fragmentation 없이 실제 coordination demand에 맞춰 스케줄할 수 있는가?</property:Question>
		<property:Record_origin rdf:datatype="http://www.w3.org/2001/XMLSchema#string">lab</property:Record_origin>
		<property:Reusable_lesson rdf:datatype="http://www.w3.org/2001/XMLSchema#string">무조건 gang/coscheduling하기보다 IPI 같은 실제 synchronization event를 coordination trigger로 사용하면 utilization 손실을 줄일 수 있다.</property:Reusable_lesson>
		<property:Review_state rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Draft</property:Review_state>
		<property:Updated_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:26Z</property:Updated_at>
		<property:Updated_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.123912</property:Updated_at-23aux>
		<swivt:wikiPageModificationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:26Z</swivt:wikiPageModificationDate>
		<property:Modification_date-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.123912</property:Modification_date-23aux>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">demand based coordinated scheduling for smp vms a57bd76a</swivt:wikiPageSortKey>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a-23_9ba9865122415455752581fc97578cdc"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a-23_8563ae97846ea6edfeb9b1dc9ea1fdcf"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a-23_87df5f152b0f54a68cc313093607cb4d"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a-23_23512dc0bb4a61f82b344d06ef410753"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a-23_00700c62646ace10a8bdd1241e265bb7"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a-23_884f3bdcf34c4c20824a122904b8c6a2"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a-23_51a9c6b1ca283ef90fa2de9e8224042c"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a-23_9ba9865122415455752581fc97578cdc">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ev_e5864c7fe2cf4175</property:Evidence_ID>
		<property:Evidence_added_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-16T15:07:18Z</property:Evidence_added_at>
		<property:Evidence_added_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461238.1300694</property:Evidence_added_at-23aux>
		<property:Evidence_added_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_added_by>
		<property:Evidence_citation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Hwanju Kim, Sangwook Kim, Jinkyu Jeong, Joonwon Lee, and Seungryoul Maeng, Demand-Based Coordinated Scheduling for SMP VMs," in Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVIII), Houston, Texas, USA, March, 2013</property:Evidence_citation>
		<property:Evidence_kind rdf:datatype="http://www.w3.org/2001/XMLSchema#string">paper</property:Evidence_kind>
		<property:Evidence_note rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Source: Yonsei University Computer Systems Laboratory publication list supplied by the user. Manifestation 1 of 2.</property:Evidence_note>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">not_recorded</property:Verification_basis>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">demand based coordinated scheduling for smp vms a57bd76a# 9ba9865122415455752581fc97578cdc</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a-23_8563ae97846ea6edfeb9b1dc9ea1fdcf">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ev_3399656919a84821</property:Evidence_ID>
		<property:Evidence_added_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-16T15:07:19Z</property:Evidence_added_at>
		<property:Evidence_added_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461238.130081</property:Evidence_added_at-23aux>
		<property:Evidence_added_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_added_by>
		<property:Evidence_citation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Hwanju Kim, Sangwook Kim, Jinkyu Jeong, Joonwon Lee, and Seungryoul Maeng, "Demand-based Coordinated Scheduling for SMP VMs," ACM SIGPLAN Notices, vol. 48, no. 44, pp. 369-380, Apr. 2013</property:Evidence_citation>
		<property:Evidence_kind rdf:datatype="http://www.w3.org/2001/XMLSchema#string">paper</property:Evidence_kind>
		<property:Evidence_note rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Source: Yonsei University Computer Systems Laboratory publication list supplied by the user. Manifestation 2 of 2.</property:Evidence_note>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">not_recorded</property:Verification_basis>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">demand based coordinated scheduling for smp vms a57bd76a# 8563ae97846ea6edfeb9b1dc9ea1fdcf</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a-23_87df5f152b0f54a68cc313093607cb4d">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">canonical-paper-v2-a57bd76a</property:Evidence_ID>
		<property:Evidence_URL rdf:resource="https://doi.org/10.1145/2451116.2451156"/>
		<property:Evidence_added_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T05:18:09Z</property:Evidence_added_at>
		<property:Evidence_added_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461239.7209375</property:Evidence_added_at-23aux>
		<property:Evidence_added_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_added_by>
		<property:Evidence_citation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Hwanju Kim, Sangwook Kim, Jinkyu Jeong, Joonwon Lee, and Seungryoul Maeng, Demand-Based Coordinated Scheduling for SMP VMs," in Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVIII), Houston, Texas, USA, March, 2013</property:Evidence_citation>
		<property:Evidence_kind rdf:datatype="http://www.w3.org/2001/XMLSchema#string">paper</property:Evidence_kind>
		<property:Evidence_note rdf:datatype="http://www.w3.org/2001/XMLSchema#string">정본 Lesson 보강 근거. 검토 원본: Lesson:technical_review_demand_based_coordinated_scheduling_for_smp_vms_3d4e78ab. 확인 범위: official_abstract. 확인한 자료: https://doi.org/10.1145/2451116.2451156 ; https://doi.org/10.1145/2499368.2451156 ; https://yonsei.elsevierpure.com/en/publications/demand-based-coordinated-scheduling-for-smp-vms/. 질문, 방법, 평가, 해석, 재사용 교훈, 적용 범위와 한계를 같은 Lesson 본문에 통합했습니다.</property:Evidence_note>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">official_abstract</property:Verification_basis>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">demand based coordinated scheduling for smp vms a57bd76a# 87df5f152b0f54a68cc313093607cb4d</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a-23_23512dc0bb4a61f82b344d06ef410753">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_verified_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:25Z</property:Evidence_verified_at>
		<property:Evidence_verified_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1239005</property:Evidence_verified_at-23aux>
		<property:Evidence_verified_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_verified_by>
		<property:Verification_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verify_1db300915aa9bc71dbfe</property:Verification_ID>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">metadata_only</property:Verification_basis>
		<property:Verification_claim_fields rdf:datatype="http://www.w3.org/2001/XMLSchema#string">context</property:Verification_claim_fields>
		<property:Verification_coverage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">수집 manifest의 실패 원장만 보존되어 원문 주장을 검증하지 못함.</property:Verification_coverage>
		<property:Verification_outcome rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inconclusive</property:Verification_outcome>
		<property:Verification_source_SHA256 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5</property:Verification_source_SHA256>
		<property:Verification_source_identity rdf:datatype="http://www.w3.org/2001/XMLSchema#string">R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5</property:Verification_source_identity>
		<property:Verification_source_locator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 파일 manifest.json</property:Verification_source_locator>
		<property:Verified_evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ev_e5864c7fe2cf4175</property:Verified_evidence_ID>
		<property:Verified_evidence_digest rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0f474bdd045adf73cb22f2abea9313a9f971a1253113f1c9c41060d7113a0922</property:Verified_evidence_digest>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">demand based coordinated scheduling for smp vms a57bd76a# 23512dc0bb4a61f82b344d06ef410753</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a-23_00700c62646ace10a8bdd1241e265bb7">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_verified_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:25Z</property:Evidence_verified_at>
		<property:Evidence_verified_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1239005</property:Evidence_verified_at-23aux>
		<property:Evidence_verified_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_verified_by>
		<property:Verification_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verify_7470157127ef643eb966</property:Verification_ID>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">metadata_only</property:Verification_basis>
		<property:Verification_claim_fields rdf:datatype="http://www.w3.org/2001/XMLSchema#string">context</property:Verification_claim_fields>
		<property:Verification_coverage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">수집 manifest의 실패 원장만 보존되어 원문 주장을 검증하지 못함.</property:Verification_coverage>
		<property:Verification_outcome rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inconclusive</property:Verification_outcome>
		<property:Verification_source_SHA256 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5</property:Verification_source_SHA256>
		<property:Verification_source_identity rdf:datatype="http://www.w3.org/2001/XMLSchema#string">R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5</property:Verification_source_identity>
		<property:Verification_source_locator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 파일 manifest.json</property:Verification_source_locator>
		<property:Verified_evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ev_3399656919a84821</property:Verified_evidence_ID>
		<property:Verified_evidence_digest rdf:datatype="http://www.w3.org/2001/XMLSchema#string">84a24de0ee1b9a31b03691f6c2e5ccd0d845b60d041a9b0039df5a3c622a5910</property:Verified_evidence_digest>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">demand based coordinated scheduling for smp vms a57bd76a# 00700c62646ace10a8bdd1241e265bb7</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a-23_884f3bdcf34c4c20824a122904b8c6a2">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_verified_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:26Z</property:Evidence_verified_at>
		<property:Evidence_verified_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.123912</property:Evidence_verified_at-23aux>
		<property:Evidence_verified_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_verified_by>
		<property:Verification_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verify_de28b3c81f570f227915</property:Verification_ID>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">metadata_only</property:Verification_basis>
		<property:Verification_claim_fields rdf:datatype="http://www.w3.org/2001/XMLSchema#string">context</property:Verification_claim_fields>
		<property:Verification_coverage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">수집 manifest의 실패 원장만 보존되어 원문 주장을 검증하지 못함.</property:Verification_coverage>
		<property:Verification_outcome rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inconclusive</property:Verification_outcome>
		<property:Verification_source_SHA256 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5</property:Verification_source_SHA256>
		<property:Verification_source_identity rdf:datatype="http://www.w3.org/2001/XMLSchema#string">R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5</property:Verification_source_identity>
		<property:Verification_source_locator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 파일 manifest.json</property:Verification_source_locator>
		<property:Verified_evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">canonical-paper-v2-a57bd76a</property:Verified_evidence_ID>
		<property:Verified_evidence_digest rdf:datatype="http://www.w3.org/2001/XMLSchema#string">37849afdf0aa6cb0d9978ec2a922d8d4865308e7367a3f6e31a2e00542edb58d</property:Verified_evidence_digest>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">demand based coordinated scheduling for smp vms a57bd76a# 884f3bdcf34c4c20824a122904b8c6a2</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a-23_51a9c6b1ca283ef90fa2de9e8224042c">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_verified_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:26Z</property:Evidence_verified_at>
		<property:Evidence_verified_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.123912</property:Evidence_verified_at-23aux>
		<property:Evidence_verified_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_verified_by>
		<property:Verification_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verify_ff0d3ba8fa7e07f19ae6</property:Verification_ID>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">metadata_only</property:Verification_basis>
		<property:Verification_claim_fields rdf:datatype="http://www.w3.org/2001/XMLSchema#string">context</property:Verification_claim_fields>
		<property:Verification_coverage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Preserved registry metadata contradicts malformed quotation/issue text.</property:Verification_coverage>
		<property:Verification_outcome rdf:datatype="http://www.w3.org/2001/XMLSchema#string">contradicts</property:Verification_outcome>
		<property:Verification_source_SHA256 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">64ce5c2d53e2291376d4cd19aae76525d53852da32bc5751bd1ee2c30bddd522</property:Verification_source_SHA256>
		<property:Verification_source_identity rdf:datatype="http://www.w3.org/2001/XMLSchema#string">R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=64ce5c2d53e2291376d4cd19aae76525d53852da32bc5751bd1ee2c30bddd522; adjudicated detailed correction</property:Verification_source_identity>
		<property:Verification_source_locator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">DETAILED-CD-005 registry metadata.</property:Verification_source_locator>
		<property:Verified_evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">canonical-paper-v2-a57bd76a</property:Verified_evidence_ID>
		<property:Verified_evidence_digest rdf:datatype="http://www.w3.org/2001/XMLSchema#string">37849afdf0aa6cb0d9978ec2a922d8d4865308e7367a3f6e31a2e00542edb58d</property:Verified_evidence_digest>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">demand based coordinated scheduling for smp vms a57bd76a# 51a9c6b1ca283ef90fa2de9e8224042c</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Atechnical_review_demand_based_coordinated_scheduling_for_smp_vms_3d4e78ab">
		<rdfs:label>Lesson:technical review demand based coordinated scheduling for smp vms 3d4e78ab</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/Lesson-3Atechnical_review_demand_based_coordinated_scheduling_for_smp_vms_3d4e78ab"/>
		<swivt:page rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Lesson-3Atechnical_review_demand_based_coordinated_scheduling_for_smp_vms_3d4e78ab"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ko</swivt:wikiPageContentLanguage>
		<property:Supersedes rdf:resource="&wiki;Lesson-3Ademand_based_coordinated_scheduling_for_smp_vms_a57bd76a"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">technical review demand based coordinated scheduling for smp vms 3d4e78ab</swivt:wikiPageSortKey>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ASupersedes">
		<rdfs:label>Supersedes</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/속성-3ASupersedes"/>
		<swivt:page rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/속성-3ASupersedes"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">102</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ko</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Supersedes</swivt:wikiPageSortKey>
		<swivt:type rdf:resource="http://semantic-mediawiki.org/swivt/1.0#_wpg"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#creationDate" />
	<owl:Class rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3ALessons" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#page" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiNamespace" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageContentLanguage" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AApplicability" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AAttempt" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AAuthor" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AConfidence" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AContext" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ACreated_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ACreated_at-23aux" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_overview" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AInterpretation" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ALesson_title" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AObservation" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AQuestion" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ARecord_origin" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AReusable_lesson" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AReview_state" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AUpdated_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AUpdated_at-23aux" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageModificationDate" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AModification_date-23aux" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageSortKey" />
	<owl:ObjectProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AHas_subobject" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#masterPage" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_ID" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_added_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_added_at-23aux" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_added_by" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_citation" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_kind" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_note" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_basis" />
	<owl:ObjectProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_URL" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_verified_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_verified_at-23aux" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_verified_by" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_ID" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_claim_fields" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_coverage" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_outcome" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_source_SHA256" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_source_identity" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_source_locator" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerified_evidence_ID" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerified_evidence_digest" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#type" />
	<!-- Created by Semantic MediaWiki, https://www.semantic-mediawiki.org/ -->
</rdf:RDF>