{"id":"W4409872544","doi":"10.1007/s00446-025-00478-8","title":"Efficient bounded timestamping from standard synchronization primitives","year":2025,"lang":"en","type":"article","venue":"Distributed Computing","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Synchronization (alternating current); Bounded function; Distributed computing; Parallel computing; Theoretical computer science; Computer network; Mathematics","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002372886,0.001385411,0.00172294,0.001616394,0.001097925,0.002895798,0.002777757,0.001073362,0.008361707],"category_scores_gemma":[0.01201648,0.0010371,0.0007905022,0.002755562,0.00137798,0.005824011,0.006296328,0.002868244,0.002606241],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001288263,"about_ca_system_score_gemma":0.002688653,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001134263,"about_ca_topic_score_gemma":0.002303462,"domain_scores_codex":[0.9960572,0.0007305389,0.0003066726,0.0004840271,0.001919718,0.0005017566],"domain_scores_gemma":[0.9897369,0.003308286,0.0005261871,0.005275032,0.0008650054,0.0002886247],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.002330693,0.0002556034,0.001005428,0.0004594013,0.00009476196,0.0002573476,0.0004361732,0.05085162,0.06419455,0.3524467,0.02509954,0.5025682],"study_design_scores_gemma":[0.0003741949,0.000240885,0.0003528331,0.00008168457,0.0001224865,0.0002380248,0.0001227906,0.4976906,0.09228303,0.3830262,0.02538341,0.00008398195],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01553731,0.0004046118,0.9699948,0.0002586544,0.0002849945,0.0001004806,0.0002250801,0.008354471,0.004839533],"genre_scores_gemma":[0.4993353,0.000462224,0.4887805,0.000287301,0.0003004581,0.0002898563,0.001353795,0.001635088,0.007555465],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008361707,"threshold_uncertainty_score":0.02797264,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006229300024132849,"score_gpt":0.2439041454820549,"score_spread":0.2376748454579221,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}