{"id":"https://openalex.org/W751021468","doi":null,"title":"Instruction set commutivity","display_name":"Instruction set commutivity","publication_year":1992,"publication_date":"1992-01-01","ids":{"openalex":"https://openalex.org/W751021468","mag":"751021468"},"language":"en","primary_location":{"id":"pmh:oai:casi.ntrs.nasa.gov:19940017246","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/2060/19940017246","pdf_url":"http://hdl.handle.net/2060/19940017246","source":{"id":"https://openalex.org/S4306402118","display_name":"NASA Technical Reports Server (NASA)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210124779","host_organization_name":"National Aeronautics and Space Administration","host_organization_lineage":["https://openalex.org/I4210124779"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CASI","raw_type":"The 1992 4th NASA SERC Symposium on VLSI Design; 11 p"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2060/19940017246","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025975198","display_name":"Phillip J. Windley","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I155093810","display_name":"University of Idaho","ror":"https://ror.org/03hbp5t65","country_code":"US","type":"education","lineage":["https://openalex.org/I155093810"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Phillip J. Windley","raw_affiliation_strings":["Idaho Univ. Moscow, ID, United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Idaho Univ. Moscow, ID, United States","institution_ids":["https://openalex.org/I155093810"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5025975198"],"corresponding_institution_ids":["https://openalex.org/I155093810"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9696999788284302,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9696999788284302,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.010999999940395355,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.0044999998062849045,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/instruction-reordering","display_name":"instruction reordering","score":0.9319999814033508},{"id":"https://openalex.org/keywords/load-store-architecture","display_name":"load/store architecture","score":0.8820000290870667},{"id":"https://openalex.org/keywords/pipelined-microprocessors","display_name":"pipelined microprocessors","score":0.9449999928474426},{"id":"https://openalex.org/keywords/mechanical-theorem-proving","display_name":"mechanical theorem proving","score":0.6449999809265137},{"id":"https://openalex.org/keywords/congruences","display_name":"congruences","score":0.5630000233650208},{"id":"https://openalex.org/keywords/instruction-scheduling","display_name":"instruction scheduling","score":0.5659999847412109},{"id":"https://openalex.org/keywords/safety-critical-systems","display_name":"safety-critical systems","score":0.6470000147819519},{"id":"https://openalex.org/keywords/security-critical-systems","display_name":"security-critical systems","score":0.6949999928474426}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.795131504535675},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.6957088708877563},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.5549347400665283},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5334807634353638},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4430212080478668},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37944912910461426},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08920541405677795},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:casi.ntrs.nasa.gov:19940017246","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/2060/19940017246","pdf_url":"http://hdl.handle.net/2060/19940017246","source":{"id":"https://openalex.org/S4306402118","display_name":"NASA Technical Reports Server (NASA)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210124779","host_organization_name":"National Aeronautics and Space Administration","host_organization_lineage":["https://openalex.org/I4210124779"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CASI","raw_type":"The 1992 4th NASA SERC Symposium on VLSI Design; 11 p"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.39.3042","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.3042","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://lal.cs.byu.edu/pub/hol/lal-papers/inst-comm.ps","raw_type":"text"},{"id":"mag:751021468","doi":null,"is_oa":false,"landing_page_url":"https://ntrs.nasa.gov/citations/19940017246","pdf_url":null,"source":{"id":"https://openalex.org/S4306402118","display_name":"NASA Technical Reports Server (NASA)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210124779","host_organization_name":"National Aeronautics and Space Administration","host_organization_lineage":["https://openalex.org/I4210124779"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:casi.ntrs.nasa.gov:19940017246","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/2060/19940017246","pdf_url":"http://hdl.handle.net/2060/19940017246","source":{"id":"https://openalex.org/S4306402118","display_name":"NASA Technical Reports Server (NASA)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210124779","host_organization_name":"National Aeronautics and Space Administration","host_organization_lineage":["https://openalex.org/I4210124779"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CASI","raw_type":"The 1992 4th NASA SERC Symposium on VLSI Design; 11 p"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306078","display_name":"U.S. Department of Defense","ror":"https://ror.org/0447fe631"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W751021468.pdf","grobid_xml":"https://content.openalex.org/works/W751021468.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1518675260","https://openalex.org/W1539690224","https://openalex.org/W1555915743","https://openalex.org/W1565936897","https://openalex.org/W1568333396","https://openalex.org/W1582548376","https://openalex.org/W1978885908","https://openalex.org/W1996892501","https://openalex.org/W2030411979","https://openalex.org/W2035030296","https://openalex.org/W2047932652","https://openalex.org/W2058125478","https://openalex.org/W2095572512","https://openalex.org/W2101241724","https://openalex.org/W2122253789","https://openalex.org/W2124719803","https://openalex.org/W2164929202"],"related_works":["https://openalex.org/W4213035179","https://openalex.org/W98686289","https://openalex.org/W7096816926","https://openalex.org/W4248612157","https://openalex.org/W2161969922","https://openalex.org/W1998763232","https://openalex.org/W7100477903","https://openalex.org/W2536094769","https://openalex.org/W7100892805","https://openalex.org/W2566463504"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,20,80,87],"state":[3],"property":[4],"called":[5],"congruence":[6],"and":[7,53,64,68,84],"show":[8],"how":[9],"it":[10,98],"can":[11,59],"be":[12],"used":[13],"to":[14,37,51,100,113,137],"demonstrate":[15],"commutivity":[16],"of":[17,89,140],"instructions":[18,33],"in":[19,29,41,79,86,116,123],"modern":[21,117],"load--store":[22],"architecture.":[23],"Our":[24,46,75],"analysis":[25],"is":[26,77,111],"particularly":[27],"important":[28],"pipelined":[30],"microprocessors":[31],"where":[32],"are":[34,71],"frequently":[35],"reordered":[36],"avoid":[38],"costly":[39],"delays":[40],"execution":[42],"caused":[43],"by":[44],"hazards.":[45],"work":[47,76],"has":[48,134],"significant":[49],"implications":[50],"safety":[52],"security":[54],"critical":[55,112],"applications":[56],"since":[57],"reordering":[58],"easily":[60],"change":[61],"the":[62,102,124,138],"meaning":[63],"an":[65,129],"instruction":[66,93,104,130],"sequence":[67],"current":[69],"techniques":[70],"largely":[72],"ad":[73],"hoc.":[74],"done":[78],"mechanical":[81],"theorem":[82],"prover":[83],"results":[85],"set":[88],"trustworthy":[90],"rules":[91],"for":[92],"reordering.":[94],"The":[95],"mechanization":[96],"makes":[97],"practical":[99],"analyze":[101],"entire":[103],"set.":[105],"1":[106,110],"Introduction.":[107],"Instruction":[108],"pipelining":[109],"good":[114],"performance":[115],"microprocessors.":[118],"Almost":[119],"every":[120],"microprocessor":[121],"developed":[122],"last":[125],"several":[126],"years":[127],"contains":[128],"pipeline.":[131],"Significant":[132],"attention":[133],"been":[135],"given":[136],"development":[139],"scheduling":[141],"algo...":[142]},"counts_by_year":[],"updated_date":"2026-11-01T11:40:01.658920","created_date":"2016-06-24T00:00:00"}