{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:RMSXOXZEXYR6Y2FBBAG6FK5LEA","short_pith_number":"pith:RMSXOXZE","canonical_record":{"source":{"id":"1710.03647","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-10-10T15:15:32Z","cross_cats_sorted":[],"title_canon_sha256":"0d3a16e42d471deb775a79ca0a0a7db430fc27ebb7f55dd8fcb9d8756cd2785d","abstract_canon_sha256":"59efe29e91bfef8ed634639423965e74f549b740519deaf8f9bb9bf1adce8aca"},"schema_version":"1.0"},"canonical_sha256":"8b25775f24be23ec68a1080de2abab202f937a84db84e01cfc8ef3f4afb4bab8","source":{"kind":"arxiv","id":"1710.03647","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.03647","created_at":"2026-05-18T00:33:11Z"},{"alias_kind":"arxiv_version","alias_value":"1710.03647v1","created_at":"2026-05-18T00:33:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.03647","created_at":"2026-05-18T00:33:11Z"},{"alias_kind":"pith_short_12","alias_value":"RMSXOXZEXYR6","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"RMSXOXZEXYR6Y2FB","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"RMSXOXZE","created_at":"2026-05-18T12:31:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:RMSXOXZEXYR6Y2FBBAG6FK5LEA","target":"record","payload":{"canonical_record":{"source":{"id":"1710.03647","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-10-10T15:15:32Z","cross_cats_sorted":[],"title_canon_sha256":"0d3a16e42d471deb775a79ca0a0a7db430fc27ebb7f55dd8fcb9d8756cd2785d","abstract_canon_sha256":"59efe29e91bfef8ed634639423965e74f549b740519deaf8f9bb9bf1adce8aca"},"schema_version":"1.0"},"canonical_sha256":"8b25775f24be23ec68a1080de2abab202f937a84db84e01cfc8ef3f4afb4bab8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:33:11.123357Z","signature_b64":"Y8sPaApm9C1NR3x+odvt/DRQrgOqcavfz3X3oD6Ipw5IsxcIToPXHSMhCvQM5opH6fEcS4yitbCDBvtB7wz6BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8b25775f24be23ec68a1080de2abab202f937a84db84e01cfc8ef3f4afb4bab8","last_reissued_at":"2026-05-18T00:33:11.122629Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:33:11.122629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.03647","source_version":1,"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-18T00:33:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PX1dzl1DPDwgmBwosTdgrkwQcdfzGG0IBUJ/tOHMIzNhDJi+5/vQjg9WYTWlCDdnpb9AUObJrBGoK1+DTcfmBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T16:15:50.445986Z"},"content_sha256":"0fdfaaade28097d6bfc22b83cb1965b681de3e4602f504e093f96a3d88c81c2b","schema_version":"1.0","event_id":"sha256:0fdfaaade28097d6bfc22b83cb1965b681de3e4602f504e093f96a3d88c81c2b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:RMSXOXZEXYR6Y2FBBAG6FK5LEA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Accelerating Energy Games Solvers on Modern Architectures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Andrea Formisano, Flavio Vella, Raffaella Gentilini","submitted_at":"2017-10-10T15:15:32Z","abstract_excerpt":"Quantitative games, where quantitative objectives are defined on weighted game arenas, provide natural tools for designing faithful models of embedded controllers. Instances of these games that recently gained interest are the so called Energy Games. The fast-known algorithm solves Energy Games in O(EVW) where W is the maximum weight. Starting from a sequential baseline implementation, we investigate the use of massively data computation capabilities supported by modern Graphics Processing Units to solve the `initial credit problem' for Energy Games. We present four different parallel implemen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.03647","kind":"arxiv","version":1},"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-18T00:33:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"le8W4ysOs+ziFH1sIRuupB9X+b/LQBmjU3s9Fg3UF1HfmRj57wOhRkQXB8Gq64DhpPhRgIjFbxYD3++jCBypAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T16:15:50.446337Z"},"content_sha256":"05a579a1365f6275e566a5fa64407a556b2c8baa3ec1039d58eb6c1229b4f0c8","schema_version":"1.0","event_id":"sha256:05a579a1365f6275e566a5fa64407a556b2c8baa3ec1039d58eb6c1229b4f0c8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RMSXOXZEXYR6Y2FBBAG6FK5LEA/bundle.json","state_url":"https://pith.science/pith/RMSXOXZEXYR6Y2FBBAG6FK5LEA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RMSXOXZEXYR6Y2FBBAG6FK5LEA/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-06-01T16:15:50Z","links":{"resolver":"https://pith.science/pith/RMSXOXZEXYR6Y2FBBAG6FK5LEA","bundle":"https://pith.science/pith/RMSXOXZEXYR6Y2FBBAG6FK5LEA/bundle.json","state":"https://pith.science/pith/RMSXOXZEXYR6Y2FBBAG6FK5LEA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RMSXOXZEXYR6Y2FBBAG6FK5LEA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:RMSXOXZEXYR6Y2FBBAG6FK5LEA","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":"59efe29e91bfef8ed634639423965e74f549b740519deaf8f9bb9bf1adce8aca","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-10-10T15:15:32Z","title_canon_sha256":"0d3a16e42d471deb775a79ca0a0a7db430fc27ebb7f55dd8fcb9d8756cd2785d"},"schema_version":"1.0","source":{"id":"1710.03647","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.03647","created_at":"2026-05-18T00:33:11Z"},{"alias_kind":"arxiv_version","alias_value":"1710.03647v1","created_at":"2026-05-18T00:33:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.03647","created_at":"2026-05-18T00:33:11Z"},{"alias_kind":"pith_short_12","alias_value":"RMSXOXZEXYR6","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"RMSXOXZEXYR6Y2FB","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"RMSXOXZE","created_at":"2026-05-18T12:31:39Z"}],"graph_snapshots":[{"event_id":"sha256:05a579a1365f6275e566a5fa64407a556b2c8baa3ec1039d58eb6c1229b4f0c8","target":"graph","created_at":"2026-05-18T00:33:11Z","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":"Quantitative games, where quantitative objectives are defined on weighted game arenas, provide natural tools for designing faithful models of embedded controllers. Instances of these games that recently gained interest are the so called Energy Games. The fast-known algorithm solves Energy Games in O(EVW) where W is the maximum weight. Starting from a sequential baseline implementation, we investigate the use of massively data computation capabilities supported by modern Graphics Processing Units to solve the `initial credit problem' for Energy Games. We present four different parallel implemen","authors_text":"Andrea Formisano, Flavio Vella, Raffaella Gentilini","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-10-10T15:15:32Z","title":"Accelerating Energy Games Solvers on Modern Architectures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.03647","kind":"arxiv","version":1},"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:0fdfaaade28097d6bfc22b83cb1965b681de3e4602f504e093f96a3d88c81c2b","target":"record","created_at":"2026-05-18T00:33:11Z","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":"59efe29e91bfef8ed634639423965e74f549b740519deaf8f9bb9bf1adce8aca","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-10-10T15:15:32Z","title_canon_sha256":"0d3a16e42d471deb775a79ca0a0a7db430fc27ebb7f55dd8fcb9d8756cd2785d"},"schema_version":"1.0","source":{"id":"1710.03647","kind":"arxiv","version":1}},"canonical_sha256":"8b25775f24be23ec68a1080de2abab202f937a84db84e01cfc8ef3f4afb4bab8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8b25775f24be23ec68a1080de2abab202f937a84db84e01cfc8ef3f4afb4bab8","first_computed_at":"2026-05-18T00:33:11.122629Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:33:11.122629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y8sPaApm9C1NR3x+odvt/DRQrgOqcavfz3X3oD6Ipw5IsxcIToPXHSMhCvQM5opH6fEcS4yitbCDBvtB7wz6BA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:33:11.123357Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.03647","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0fdfaaade28097d6bfc22b83cb1965b681de3e4602f504e093f96a3d88c81c2b","sha256:05a579a1365f6275e566a5fa64407a556b2c8baa3ec1039d58eb6c1229b4f0c8"],"state_sha256":"e0ef012fdaf666b29195865652bae3b4e81f3c8eb66ed1c5d146f9491482c9b2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wOeRNe+WObiyRoSE1lmaqbszNLD3ZXFZUUejBa0eeeP0uCpdp7IDjhMsUIx69ej297hCgfJXydgz6g+UiLBBDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T16:15:50.448308Z","bundle_sha256":"08fd80eaca2ecd8adc61b6773fc28a3c4ff3f022d846c3c16a1da0fa841cb42c"}}