{"id":"W2149818401","doi":"10.1109/mtv.2010.18","title":"Towards a Multi-MoC Hardware/Software Co-design Framework Using Abstract State Machines","year":2010,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Abstract state machines; Computer science; Programming language; Formalism (music); Computation; Software; Finite-state machine; Scheduling (production processes); Semantics (computer science); Software design; Embedded system; Software development; 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.008391909,0.001236605,0.0009662206,0.001841152,0.00143208,0.004567271,0.00321837,0.002024451,0.002340606],"category_scores_gemma":[0.004288025,0.001283222,0.002350927,0.001207004,0.004673575,0.00458451,0.00381434,0.005051081,0.000805373],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002019444,"about_ca_system_score_gemma":0.005978751,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004156696,"about_ca_topic_score_gemma":0.005024541,"domain_scores_codex":[0.9942335,0.002031617,0.0004667612,0.000663673,0.002223798,0.0003805462],"domain_scores_gemma":[0.9969925,0.0009742012,0.0003085863,0.0008713815,0.0006446899,0.0002088057],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005176645,0.00008069738,0.000475941,0.0002287664,0.00005255252,0.0002333533,0.0008978383,0.06087523,0.007020679,0.8834943,0.001205342,0.04538352],"study_design_scores_gemma":[0.00008795309,0.0001981514,0.0002061043,0.0002962879,0.0001395166,0.0002958015,0.0003119072,0.5701939,0.01451081,0.343539,0.07013007,0.00009037522],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001630224,0.00009114795,0.9956833,0.0002260767,0.00002123363,0.00006712099,0.000011465,0.0004575959,0.001811865],"genre_scores_gemma":[0.05516673,0.0001831615,0.9422621,0.0001308419,0.00003321128,0.0003301626,0.00006337986,0.00015365,0.001676699],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008391909,"threshold_uncertainty_score":0.04438114,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0577567583982166,"score_gpt":0.3401898611833277,"score_spread":0.2824331027851111,"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."}}