Matches in SemOpenAlex for { <https://semopenalex.org/work/W1519587690> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1519587690 endingPage "250" @default.
- W1519587690 startingPage "235" @default.
- W1519587690 abstract "Real-world real-time systems may involve many complex structures, which are difficult to verify. We experiment with the model-checking of an application-layer html-based web-camera which involves structures like event queues, high-layer communication channels, and time-outs. To contain the complexity, we implement our verification tool with a newly developed BDD-like data-structure, reduced CRD (Clock-Restriction Diagram), which has enhanced the verification performance through intensive data-sharing in a previous report. However, the representation of reduced CRD does not allow for quick test of zone containment. To this purpose, we thus have designed a new CRD-based representation, cascade CRD, which has given us enough performance enhancement to successfully verifying several implementations of the web-camera." @default.
- W1519587690 created "2016-06-24" @default.
- W1519587690 creator A5063346775 @default.
- W1519587690 date "2006-02-27" @default.
- W1519587690 modified "2023-09-23" @default.
- W1519587690 title "Symbolic Verification of Complex Real-time Systems with Clock-restriction Diagram" @default.
- W1519587690 cites W1535937574 @default.
- W1519587690 cites W1788160972 @default.
- W1519587690 cites W1874725288 @default.
- W1519587690 cites W1999288406 @default.
- W1519587690 cites W2023499821 @default.
- W1519587690 cites W2080267935 @default.
- W1519587690 cites W2142718416 @default.
- W1519587690 cites W2145594292 @default.
- W1519587690 cites W2150621341 @default.
- W1519587690 cites W2153439859 @default.
- W1519587690 cites W2160883697 @default.
- W1519587690 cites W2167668895 @default.
- W1519587690 doi "https://doi.org/10.1007/0-306-47003-9_15" @default.
- W1519587690 hasPublicationYear "2006" @default.
- W1519587690 type Work @default.
- W1519587690 sameAs 1519587690 @default.
- W1519587690 citedByCount "23" @default.
- W1519587690 countsByYear W15195876902012 @default.
- W1519587690 countsByYear W15195876902014 @default.
- W1519587690 countsByYear W15195876902015 @default.
- W1519587690 countsByYear W15195876902016 @default.
- W1519587690 countsByYear W15195876902017 @default.
- W1519587690 countsByYear W15195876902018 @default.
- W1519587690 countsByYear W15195876902019 @default.
- W1519587690 countsByYear W15195876902021 @default.
- W1519587690 countsByYear W15195876902022 @default.
- W1519587690 countsByYear W15195876902023 @default.
- W1519587690 crossrefType "book-chapter" @default.
- W1519587690 hasAuthorship W1519587690A5063346775 @default.
- W1519587690 hasBestOaLocation W15195876901 @default.
- W1519587690 hasConcept C110251889 @default.
- W1519587690 hasConcept C120314980 @default.
- W1519587690 hasConcept C149635348 @default.
- W1519587690 hasConcept C162319229 @default.
- W1519587690 hasConcept C17744445 @default.
- W1519587690 hasConcept C186399060 @default.
- W1519587690 hasConcept C199360897 @default.
- W1519587690 hasConcept C199539241 @default.
- W1519587690 hasConcept C26713055 @default.
- W1519587690 hasConcept C2776359362 @default.
- W1519587690 hasConcept C41008148 @default.
- W1519587690 hasConcept C77088390 @default.
- W1519587690 hasConcept C79403827 @default.
- W1519587690 hasConcept C94625758 @default.
- W1519587690 hasConceptScore W1519587690C110251889 @default.
- W1519587690 hasConceptScore W1519587690C120314980 @default.
- W1519587690 hasConceptScore W1519587690C149635348 @default.
- W1519587690 hasConceptScore W1519587690C162319229 @default.
- W1519587690 hasConceptScore W1519587690C17744445 @default.
- W1519587690 hasConceptScore W1519587690C186399060 @default.
- W1519587690 hasConceptScore W1519587690C199360897 @default.
- W1519587690 hasConceptScore W1519587690C199539241 @default.
- W1519587690 hasConceptScore W1519587690C26713055 @default.
- W1519587690 hasConceptScore W1519587690C2776359362 @default.
- W1519587690 hasConceptScore W1519587690C41008148 @default.
- W1519587690 hasConceptScore W1519587690C77088390 @default.
- W1519587690 hasConceptScore W1519587690C79403827 @default.
- W1519587690 hasConceptScore W1519587690C94625758 @default.
- W1519587690 hasLocation W15195876901 @default.
- W1519587690 hasOpenAccess W1519587690 @default.
- W1519587690 hasPrimaryLocation W15195876901 @default.
- W1519587690 hasRelatedWork W1485630101 @default.
- W1519587690 hasRelatedWork W1504172378 @default.
- W1519587690 hasRelatedWork W1863517246 @default.
- W1519587690 hasRelatedWork W1964111820 @default.
- W1519587690 hasRelatedWork W2083338789 @default.
- W1519587690 hasRelatedWork W217725636 @default.
- W1519587690 hasRelatedWork W2364866360 @default.
- W1519587690 hasRelatedWork W4233387348 @default.
- W1519587690 hasRelatedWork W4243252198 @default.
- W1519587690 hasRelatedWork W2496205912 @default.
- W1519587690 isParatext "false" @default.
- W1519587690 isRetracted "false" @default.
- W1519587690 magId "1519587690" @default.
- W1519587690 workType "book-chapter" @default.