Matches in SemOpenAlex for { <https://semopenalex.org/work/W4238035143> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4238035143 endingPage "92" @default.
- W4238035143 startingPage "85" @default.
- W4238035143 abstract "VLIW processors are attractive for many embedded applications, but VLIW code scheduling, whether by hand or by compiler, is extremely challenging. In this paper, we extend previous work on automated verification of low-level software to handle the complexity of modern, aggressive VLIW designs, e.g., the exposed parallelism, pipelining, and resource constraints. We implement these ideas into a prototype tool for verifying short sequences of assembly code for TI's C62x family of VLIW DSPs, and demonstrate the effectiveness of the tool in quickly verifying, or finding bugs in, two difficult-to-analyze code segments." @default.
- W4238035143 created "2022-05-12" @default.
- W4238035143 creator A5014435402 @default.
- W4238035143 creator A5050411743 @default.
- W4238035143 date "2002-06-19" @default.
- W4238035143 modified "2023-10-18" @default.
- W4238035143 title "Automatic formal verification for scheduled VLIW code" @default.
- W4238035143 cites W2040856861 @default.
- W4238035143 cites W2087695439 @default.
- W4238035143 cites W2091355737 @default.
- W4238035143 cites W4232919122 @default.
- W4238035143 doi "https://doi.org/10.1145/566225.513844" @default.
- W4238035143 hasPublicationYear "2002" @default.
- W4238035143 type Work @default.
- W4238035143 citedByCount "1" @default.
- W4238035143 crossrefType "journal-article" @default.
- W4238035143 hasAuthorship W4238035143A5014435402 @default.
- W4238035143 hasAuthorship W4238035143A5050411743 @default.
- W4238035143 hasBestOaLocation W42380351432 @default.
- W4238035143 hasConcept C107568181 @default.
- W4238035143 hasConcept C111919701 @default.
- W4238035143 hasConcept C118524514 @default.
- W4238035143 hasConcept C119948110 @default.
- W4238035143 hasConcept C133162039 @default.
- W4238035143 hasConcept C140763907 @default.
- W4238035143 hasConcept C169590947 @default.
- W4238035143 hasConcept C170595534 @default.
- W4238035143 hasConcept C173608175 @default.
- W4238035143 hasConcept C177264268 @default.
- W4238035143 hasConcept C188854837 @default.
- W4238035143 hasConcept C190902152 @default.
- W4238035143 hasConcept C199360897 @default.
- W4238035143 hasConcept C26517878 @default.
- W4238035143 hasConcept C2776760102 @default.
- W4238035143 hasConcept C2781172179 @default.
- W4238035143 hasConcept C41008148 @default.
- W4238035143 hasConcept C68387754 @default.
- W4238035143 hasConcept C73564150 @default.
- W4238035143 hasConceptScore W4238035143C107568181 @default.
- W4238035143 hasConceptScore W4238035143C111919701 @default.
- W4238035143 hasConceptScore W4238035143C118524514 @default.
- W4238035143 hasConceptScore W4238035143C119948110 @default.
- W4238035143 hasConceptScore W4238035143C133162039 @default.
- W4238035143 hasConceptScore W4238035143C140763907 @default.
- W4238035143 hasConceptScore W4238035143C169590947 @default.
- W4238035143 hasConceptScore W4238035143C170595534 @default.
- W4238035143 hasConceptScore W4238035143C173608175 @default.
- W4238035143 hasConceptScore W4238035143C177264268 @default.
- W4238035143 hasConceptScore W4238035143C188854837 @default.
- W4238035143 hasConceptScore W4238035143C190902152 @default.
- W4238035143 hasConceptScore W4238035143C199360897 @default.
- W4238035143 hasConceptScore W4238035143C26517878 @default.
- W4238035143 hasConceptScore W4238035143C2776760102 @default.
- W4238035143 hasConceptScore W4238035143C2781172179 @default.
- W4238035143 hasConceptScore W4238035143C41008148 @default.
- W4238035143 hasConceptScore W4238035143C68387754 @default.
- W4238035143 hasConceptScore W4238035143C73564150 @default.
- W4238035143 hasIssue "7" @default.
- W4238035143 hasLocation W42380351431 @default.
- W4238035143 hasLocation W42380351432 @default.
- W4238035143 hasOpenAccess W4238035143 @default.
- W4238035143 hasPrimaryLocation W42380351431 @default.
- W4238035143 hasRelatedWork W1602521801 @default.
- W4238035143 hasRelatedWork W1606391442 @default.
- W4238035143 hasRelatedWork W1853049011 @default.
- W4238035143 hasRelatedWork W2019043107 @default.
- W4238035143 hasRelatedWork W2164795104 @default.
- W4238035143 hasRelatedWork W2170920368 @default.
- W4238035143 hasRelatedWork W2389852039 @default.
- W4238035143 hasRelatedWork W2993981457 @default.
- W4238035143 hasRelatedWork W4238035143 @default.
- W4238035143 hasRelatedWork W2097860324 @default.
- W4238035143 hasVolume "37" @default.
- W4238035143 isParatext "false" @default.
- W4238035143 isRetracted "false" @default.
- W4238035143 workType "article" @default.