{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002913361,0.001014874,0.0005567407,0.001119061,0.00105625,0.002008667,0.002798282,0.0009464807,0.004502627],"category_scores_gemma":[0.004495596,0.001051441,0.001167599,0.0006428742,0.001625448,0.002489722,0.002498024,0.003473043,0.001658468],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007605706,"about_ca_system_score_gemma":0.003052922,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001073877,"about_ca_topic_score_gemma":0.001277032,"domain_scores_codex":[0.9950932,0.0009509803,0.0004280632,0.0004720223,0.002746218,0.0003093768],"domain_scores_gemma":[0.9959069,0.001257137,0.0003839815,0.0009040316,0.001419706,0.0001282238],"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.0001268366,0.0002104148,0.00109584,0.001130327,0.0001211216,0.0009091004,0.001133403,0.05197222,0.0667582,0.528396,0.005057636,0.343089],"study_design_scores_gemma":[0.0001545521,0.0007201694,0.0006830203,0.0004360147,0.0002457261,0.003512394,0.0002957866,0.3270897,0.2522449,0.1702557,0.2441364,0.0002256275],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008236683,0.00003110121,0.9975232,0.00002637457,0.00001369347,0.00005327256,0.000008819492,0.0003869964,0.001132776],"genre_scores_gemma":[0.05087296,0.0002290036,0.9425659,0.00008257529,0.00003435505,0.00045611,0.0001344986,0.0004533874,0.005171291],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004502627,"threshold_uncertainty_score":0.0154075,"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."}}