{"id":"W4255096096","doi":"10.1109/aspdac.2005.1466524","title":"XTW: a parallel and distributed logic simulator","year":2005,"lang":"en","type":"article","venue":"Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005.","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Rollback; Computer science; Queue; Scheduling (production processes); Parallel computing; Schedule; Logic simulation; Distributed computing; Discrete event simulation; Logic gate; Real-time computing; Simulation; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008330579,0.0003081545,0.0003808768,0.0001958124,0.0003344822,0.0004420937,0.0007138398,0.0001822225,0.00002221764],"category_scores_gemma":[0.0001469903,0.0002371763,0.00007661333,0.0003417656,0.0001836488,0.0006667887,0.0002522125,0.0002090407,0.0000132797],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000441756,"about_ca_system_score_gemma":0.0001098987,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002606372,"about_ca_topic_score_gemma":4.77835e-7,"domain_scores_codex":[0.9980137,0.00005901094,0.0005455024,0.0005266928,0.0004038713,0.0004512167],"domain_scores_gemma":[0.9986032,0.00009405226,0.000517904,0.000263809,0.0003386752,0.0001824136],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003592444,0.001380999,0.02371062,0.0008772005,0.0006310123,0.000006774865,0.03033996,0.07723159,0.009825999,0.6841151,0.1026942,0.06882738],"study_design_scores_gemma":[0.0006113579,0.00007685197,0.002926684,0.0001201604,0.00003236438,0.00002149296,0.0004076546,0.9846091,0.001567986,0.00706264,0.002202181,0.0003615275],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01107098,0.0002523677,0.9805446,0.00268778,0.0000726163,0.0006777846,0.00001488824,0.0006778666,0.004001155],"genre_scores_gemma":[0.8409752,0.0000827473,0.1579152,0.0001003037,0.0000457262,0.00002793383,0.000004041428,0.00001281225,0.0008359782],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9073775,"threshold_uncertainty_score":0.967177,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02255839538384482,"score_gpt":0.2368695683654387,"score_spread":0.2143111729815939,"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."}}