{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:EPUFFMHTS5QG2GWQXGIXTEWHN7","short_pith_number":"pith:EPUFFMHT","canonical_record":{"source":{"id":"1505.02155","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-05-08T19:52:46Z","cross_cats_sorted":["cs.OS"],"title_canon_sha256":"d0d1c3864000eaf0580c0faefb9178df84223b012ad9a4125b9e4bcfcce02396","abstract_canon_sha256":"cb9accab554f8bdf531f7b0d59f77c5776dd013f05234eab6a5d0e7d725688ac"},"schema_version":"1.0"},"canonical_sha256":"23e852b0f397606d1ad0b9917992c76fd55911e88fed9cfe202766239b4bed61","source":{"kind":"arxiv","id":"1505.02155","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.02155","created_at":"2026-05-18T01:04:04Z"},{"alias_kind":"arxiv_version","alias_value":"1505.02155v3","created_at":"2026-05-18T01:04:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.02155","created_at":"2026-05-18T01:04:04Z"},{"alias_kind":"pith_short_12","alias_value":"EPUFFMHTS5QG","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"EPUFFMHTS5QG2GWQ","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"EPUFFMHT","created_at":"2026-05-18T12:29:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:EPUFFMHTS5QG2GWQXGIXTEWHN7","target":"record","payload":{"canonical_record":{"source":{"id":"1505.02155","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-05-08T19:52:46Z","cross_cats_sorted":["cs.OS"],"title_canon_sha256":"d0d1c3864000eaf0580c0faefb9178df84223b012ad9a4125b9e4bcfcce02396","abstract_canon_sha256":"cb9accab554f8bdf531f7b0d59f77c5776dd013f05234eab6a5d0e7d725688ac"},"schema_version":"1.0"},"canonical_sha256":"23e852b0f397606d1ad0b9917992c76fd55911e88fed9cfe202766239b4bed61","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:04:04.302535Z","signature_b64":"sMIYpFO0ceaz2jj+iE2FAlLyxXq64PrY9o55nYNlrbS7XQwZ0MRxAHzC9Aq/sqjE5ep0n+ERSjfuTSkOmWdhBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"23e852b0f397606d1ad0b9917992c76fd55911e88fed9cfe202766239b4bed61","last_reissued_at":"2026-05-18T01:04:04.302059Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:04:04.302059Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1505.02155","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:04:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lO+4pV1ItmSV9EzDXU6vkuV8JEXQXBty1mlU6aFVjFNrYHnyUTiL9G2T93c0bGATIgucFNhRPiigh6mWyXxEDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T01:38:37.108502Z"},"content_sha256":"5d2f9b9372bfada284857bccfbfef488d28ffb4add18ca497cb608b15c785d3b","schema_version":"1.0","event_id":"sha256:5d2f9b9372bfada284857bccfbfef488d28ffb4add18ca497cb608b15c785d3b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:EPUFFMHTS5QG2GWQXGIXTEWHN7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Evaluate and Compare Two Utilization-Based Schedulability-Test Frameworks for Real-Time Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.OS"],"primary_cat":"cs.DS","authors_text":"Cong Liu, Jian-Jia Chen, Wen-Hung Huang","submitted_at":"2015-05-08T19:52:46Z","abstract_excerpt":"This report summarizes two general frameworks, namely k2Q and k2U, that have been recently developed by us. The purpose of this report is to provide detailed evaluations and comparisons of these two frameworks. These two frameworks share some similar characteristics, but they are useful for different application cases. These two frameworks together provide comprehensive means for the users to automatically convert the pseudo polynomial-time tests (or even exponential-time tests) into polynomial-time tests with closed mathematical forms. With the quadratic and hyperbolic forms, k2Q and k2U fram"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.02155","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:04:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RSc8DnHAWzvaZiXjF+kV8dk1/1Zf9+QFYmYRnSXXdvLJp4yOOybl/k/3P4hxfn4tnHXO36IL8fvbuLp5IpG/BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T01:38:37.109207Z"},"content_sha256":"90a6c40ddc96f829c2b9c50cb918a5a374b6d3475e1d3856a8ceab0f7fa04d0d","schema_version":"1.0","event_id":"sha256:90a6c40ddc96f829c2b9c50cb918a5a374b6d3475e1d3856a8ceab0f7fa04d0d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EPUFFMHTS5QG2GWQXGIXTEWHN7/bundle.json","state_url":"https://pith.science/pith/EPUFFMHTS5QG2GWQXGIXTEWHN7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EPUFFMHTS5QG2GWQXGIXTEWHN7/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-31T01:38:37Z","links":{"resolver":"https://pith.science/pith/EPUFFMHTS5QG2GWQXGIXTEWHN7","bundle":"https://pith.science/pith/EPUFFMHTS5QG2GWQXGIXTEWHN7/bundle.json","state":"https://pith.science/pith/EPUFFMHTS5QG2GWQXGIXTEWHN7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EPUFFMHTS5QG2GWQXGIXTEWHN7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:EPUFFMHTS5QG2GWQXGIXTEWHN7","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"cb9accab554f8bdf531f7b0d59f77c5776dd013f05234eab6a5d0e7d725688ac","cross_cats_sorted":["cs.OS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-05-08T19:52:46Z","title_canon_sha256":"d0d1c3864000eaf0580c0faefb9178df84223b012ad9a4125b9e4bcfcce02396"},"schema_version":"1.0","source":{"id":"1505.02155","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.02155","created_at":"2026-05-18T01:04:04Z"},{"alias_kind":"arxiv_version","alias_value":"1505.02155v3","created_at":"2026-05-18T01:04:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.02155","created_at":"2026-05-18T01:04:04Z"},{"alias_kind":"pith_short_12","alias_value":"EPUFFMHTS5QG","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"EPUFFMHTS5QG2GWQ","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"EPUFFMHT","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:90a6c40ddc96f829c2b9c50cb918a5a374b6d3475e1d3856a8ceab0f7fa04d0d","target":"graph","created_at":"2026-05-18T01:04:04Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"This report summarizes two general frameworks, namely k2Q and k2U, that have been recently developed by us. The purpose of this report is to provide detailed evaluations and comparisons of these two frameworks. These two frameworks share some similar characteristics, but they are useful for different application cases. These two frameworks together provide comprehensive means for the users to automatically convert the pseudo polynomial-time tests (or even exponential-time tests) into polynomial-time tests with closed mathematical forms. With the quadratic and hyperbolic forms, k2Q and k2U fram","authors_text":"Cong Liu, Jian-Jia Chen, Wen-Hung Huang","cross_cats":["cs.OS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-05-08T19:52:46Z","title":"Evaluate and Compare Two Utilization-Based Schedulability-Test Frameworks for Real-Time Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.02155","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:5d2f9b9372bfada284857bccfbfef488d28ffb4add18ca497cb608b15c785d3b","target":"record","created_at":"2026-05-18T01:04:04Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"cb9accab554f8bdf531f7b0d59f77c5776dd013f05234eab6a5d0e7d725688ac","cross_cats_sorted":["cs.OS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-05-08T19:52:46Z","title_canon_sha256":"d0d1c3864000eaf0580c0faefb9178df84223b012ad9a4125b9e4bcfcce02396"},"schema_version":"1.0","source":{"id":"1505.02155","kind":"arxiv","version":3}},"canonical_sha256":"23e852b0f397606d1ad0b9917992c76fd55911e88fed9cfe202766239b4bed61","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"23e852b0f397606d1ad0b9917992c76fd55911e88fed9cfe202766239b4bed61","first_computed_at":"2026-05-18T01:04:04.302059Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:04:04.302059Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sMIYpFO0ceaz2jj+iE2FAlLyxXq64PrY9o55nYNlrbS7XQwZ0MRxAHzC9Aq/sqjE5ep0n+ERSjfuTSkOmWdhBg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:04:04.302535Z","signed_message":"canonical_sha256_bytes"},"source_id":"1505.02155","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5d2f9b9372bfada284857bccfbfef488d28ffb4add18ca497cb608b15c785d3b","sha256:90a6c40ddc96f829c2b9c50cb918a5a374b6d3475e1d3856a8ceab0f7fa04d0d"],"state_sha256":"2841cdd82157d3b7a93cc8d4fe8eaa1057bcc2deefdbd1ff72a9e9fceab1ac3b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fPit3pjRwLbwdPc5gxDM+fIrWecyuSch0mLGrceHnDy91I3jJ4bxs3bkGZWzrK0EaQW31RmVElfg+2IvFqI9AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T01:38:37.112833Z","bundle_sha256":"87113fe3568c2f4a83309b5ba359361231f5cc0072e9cdd0b0e159f7641cb1f2"}}