{"id":"W1539438108","doi":"","title":"CoreASM: An Extensible ASM Execution Engine","year":2005,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":92,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Abstract state machines; Extensibility; Executable; Computer science; Programming language; Architecture; State (computer science); Scheduling (production processes); Finite-state machine; Engineering","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.001833393,0.0007281434,0.00061431,0.0005984418,0.0003605225,0.001841311,0.002955092,0.0009558694,0.004799044],"category_scores_gemma":[0.002637272,0.0007695009,0.0009917681,0.0003584977,0.0009249675,0.002415389,0.002060493,0.001918925,0.002675383],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004874183,"about_ca_system_score_gemma":0.001459127,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002087558,"about_ca_topic_score_gemma":0.002096901,"domain_scores_codex":[0.9989779,0.0001383354,0.0001123385,0.0001479672,0.0005115739,0.0001118972],"domain_scores_gemma":[0.9992744,0.0002010405,0.00004974232,0.0002380688,0.0001851793,0.00005144255],"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.00119219,0.0004397148,0.003960826,0.001153024,0.000209185,0.001121434,0.0009957055,0.1148061,0.103769,0.3851374,0.03725435,0.3499611],"study_design_scores_gemma":[0.0001736363,0.0002335208,0.0006347718,0.0001676971,0.0001172634,0.0006354139,0.00008709291,0.6881975,0.06149135,0.06046815,0.1876673,0.0001262962],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00876729,0.000254431,0.953586,0.0001302761,0.0001580037,0.0002142354,0.0002929955,0.03030166,0.006295182],"genre_scores_gemma":[0.154725,0.0006851908,0.8175483,0.0004202083,0.00009148747,0.0003483107,0.002133337,0.005377201,0.01867089],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004799044,"threshold_uncertainty_score":0.01605439,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01635522857491317,"score_gpt":0.263037308996665,"score_spread":0.2466820804217518,"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."}}