{"id":"W2148023570","doi":"10.1109/pads.2005.40","title":"XTW, A Parallel and Distributed Logic Simulator","year":2005,"lang":"en","type":"article","venue":"","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Rollback; Computer science; Queue; Scheduling (production processes); Schedule; Parallel computing; Logic simulation; Distributed computing; Logic gate; Real-time computing; Computer network; Algorithm; Operating system; Engineering; Database transaction","routes":{"ca_aff":true,"ca_fund":false,"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.0004482793,0.000393938,0.0003213164,0.0003576968,0.0002314038,0.0006524925,0.001662005,0.0003689692,0.006785033],"category_scores_gemma":[0.001319296,0.0003807456,0.0004166911,0.0004185401,0.0003160871,0.001095412,0.0005768201,0.000715321,0.0008041541],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005342828,"about_ca_system_score_gemma":0.001348731,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002874888,"about_ca_topic_score_gemma":0.003637459,"domain_scores_codex":[0.9997687,0.00005299239,0.00001661241,0.00003309954,0.0001041422,0.0000245264],"domain_scores_gemma":[0.9995812,0.0001765199,0.00004101086,0.00009778375,0.00007285232,0.00003072249],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003069024,0.0001157962,0.00210064,0.0003063812,0.00009693919,0.0001689682,0.00008457598,0.8557059,0.02099821,0.03797084,0.01278039,0.06936457],"study_design_scores_gemma":[0.00005243737,0.00005965314,0.0001199792,0.000004715863,0.00001377593,0.00004143116,0.000006524812,0.9801713,0.005466734,0.004910306,0.009145566,0.000007504944],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06885307,0.0003400171,0.8863891,0.0003951922,0.0001789645,0.0004140718,0.002966,0.02153534,0.01892813],"genre_scores_gemma":[0.5033637,0.000678684,0.4714175,0.0003623321,0.00004993464,0.0008524416,0.004916596,0.001286037,0.01707281],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006785033,"threshold_uncertainty_score":0.02269822,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1334029327114435,"score_gpt":0.4354675055988032,"score_spread":0.3020645728873597,"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."}}