Matches in SemOpenAlex for { <https://semopenalex.org/work/W18374997> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W18374997 abstract "For a system-on-chip design which may be composed of multiple processing elements running in parallel, improper execution order and communication assignment may lead to problematic consequences, and one of the consequences could be deadlock. In this paper, we propose an approach to abstracting SpecC-based system models for formal analysis using satisfiability modulo theories (SMT). Based on the language execution semantics, our approach abstracts the timing relations between the time intervals of the behaviors in the design. We then use a SMT solver to check if there are any conflicts among those timing relations. If a conflict is detected, our tool will read the unsatisfiable model generated by the SMT solver and report the cause of the conflict to the user. We demonstrate our approach on a JPEG encoder design model." @default.
- W18374997 created "2016-06-24" @default.
- W18374997 creator A5038891657 @default.
- W18374997 creator A5067042613 @default.
- W18374997 date "2013-01-01" @default.
- W18374997 modified "2023-09-26" @default.
- W18374997 title "Formal Deadlock Analysis of SpecC Models Using Satisfiability Modulo Theories" @default.
- W18374997 cites W1989210785 @default.
- W18374997 cites W2099186927 @default.
- W18374997 cites W2100889455 @default.
- W18374997 cites W2119925465 @default.
- W18374997 cites W2138106527 @default.
- W18374997 cites W2152016786 @default.
- W18374997 cites W2169490784 @default.
- W18374997 cites W4243318443 @default.
- W18374997 doi "https://doi.org/10.1007/978-3-642-38853-8_11" @default.
- W18374997 hasPublicationYear "2013" @default.
- W18374997 type Work @default.
- W18374997 sameAs 18374997 @default.
- W18374997 citedByCount "1" @default.
- W18374997 countsByYear W183749972017 @default.
- W18374997 crossrefType "book-chapter" @default.
- W18374997 hasAuthorship W18374997A5038891657 @default.
- W18374997 hasAuthorship W18374997A5067042613 @default.
- W18374997 hasBestOaLocation W183749971 @default.
- W18374997 hasConcept C11413529 @default.
- W18374997 hasConcept C118615104 @default.
- W18374997 hasConcept C159023740 @default.
- W18374997 hasConcept C168773769 @default.
- W18374997 hasConcept C199360897 @default.
- W18374997 hasConcept C33923547 @default.
- W18374997 hasConcept C41008148 @default.
- W18374997 hasConcept C54732982 @default.
- W18374997 hasConcept C80444323 @default.
- W18374997 hasConcept C94375191 @default.
- W18374997 hasConceptScore W18374997C11413529 @default.
- W18374997 hasConceptScore W18374997C118615104 @default.
- W18374997 hasConceptScore W18374997C159023740 @default.
- W18374997 hasConceptScore W18374997C168773769 @default.
- W18374997 hasConceptScore W18374997C199360897 @default.
- W18374997 hasConceptScore W18374997C33923547 @default.
- W18374997 hasConceptScore W18374997C41008148 @default.
- W18374997 hasConceptScore W18374997C54732982 @default.
- W18374997 hasConceptScore W18374997C80444323 @default.
- W18374997 hasConceptScore W18374997C94375191 @default.
- W18374997 hasLocation W183749971 @default.
- W18374997 hasLocation W183749972 @default.
- W18374997 hasLocation W183749973 @default.
- W18374997 hasLocation W183749974 @default.
- W18374997 hasLocation W183749975 @default.
- W18374997 hasLocation W183749976 @default.
- W18374997 hasOpenAccess W18374997 @default.
- W18374997 hasPrimaryLocation W183749971 @default.
- W18374997 hasRelatedWork W1511903507 @default.
- W18374997 hasRelatedWork W18374997 @default.
- W18374997 hasRelatedWork W1868334863 @default.
- W18374997 hasRelatedWork W2188469581 @default.
- W18374997 hasRelatedWork W2232115856 @default.
- W18374997 hasRelatedWork W2237679549 @default.
- W18374997 hasRelatedWork W2401269204 @default.
- W18374997 hasRelatedWork W2652810043 @default.
- W18374997 hasRelatedWork W2954497896 @default.
- W18374997 hasRelatedWork W75225272 @default.
- W18374997 isParatext "false" @default.
- W18374997 isRetracted "false" @default.
- W18374997 magId "18374997" @default.
- W18374997 workType "book-chapter" @default.