{"id":"W2544272896","doi":"10.1109/tic-sth.2009.5444405","title":"A hardware/software co-specification methodology based upon OpenMP","year":2009,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of New Brunswick","funders":"","keywords":"Computer science; Software construction; Software development; Software; Verification and validation; Software requirements specification; Software system; Software engineering; Programming language; Computer architecture; Embedded system; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001471452,0.0001638381,0.0002576337,0.0002044901,0.00008797218,0.0001536122,0.001322278,0.0001381603,0.00009351876],"category_scores_gemma":[0.0002178242,0.0001459416,0.00007710999,0.0003867063,0.00002115913,0.0004731804,0.00005128776,0.0001369443,0.000211517],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000872191,"about_ca_system_score_gemma":0.00008400899,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002686303,"about_ca_topic_score_gemma":0.0000048298,"domain_scores_codex":[0.9979332,0.0006243067,0.0003517324,0.0005272069,0.0002790648,0.0002844707],"domain_scores_gemma":[0.9980807,0.0003942874,0.0001358178,0.001145773,0.0001467379,0.00009669496],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00002898626,0.0001903826,0.0003068795,0.00002567566,0.00001568623,0.00004832351,0.0006311049,0.00006340405,0.0668731,0.6059529,0.08106829,0.2447953],"study_design_scores_gemma":[0.0008391939,0.0009535179,0.005646716,0.00007992703,0.0000115312,0.0001052875,0.00004407828,0.04003929,0.7977785,0.06056837,0.09295652,0.0009771098],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001901176,0.0000619001,0.9814506,0.001819906,0.000126459,0.0004058515,0.000001358482,0.001764558,0.01417931],"genre_scores_gemma":[0.1508265,0.000003789894,0.8464921,0.001860313,0.00004768014,0.00003643571,0.000006104824,0.00000849224,0.0007185259],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7309054,"threshold_uncertainty_score":0.5951327,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1284420776195505,"score_gpt":0.360198462464762,"score_spread":0.2317563848452115,"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."}}