FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2042750451> ?p ?o ?g. }

• W2042750451 abstract "Conformance has been used as a correctness criterion for asynchronous circuits. In the case of untimed systems, conformance of an implementation to a specification is equivalent to the failure-freeness between the implementation and the mirror of the specification. For bounded-delay systems, in general this property does not hold. In this paper, we define various notions of failures and examine whether the above property holds or not. We then discuss an alternative and effective algorithm for conformance checking of bounded-delay asynchronous circuits." @default.
• W2042750451 created "2016-06-24" @default.
• W2042750451 creator A5018623844 @default.
• W2042750451 creator A5033575934 @default.
• W2042750451 creator A5074451786 @default.
• W2042750451 date "2001-01-01" @default.
• W2042750451 modified "2023-09-25" @default.
• W2042750451 title "Conformance and mirroring for timed asychronous circuits" @default.
• W2042750451 cites W1491037212 @default.
• W2042750451 cites W1536808451 @default.
• W2042750451 cites W1570626776 @default.
• W2042750451 cites W1590447624 @default.
• W2042750451 cites W1595213177 @default.
• W2042750451 cites W1793691888 @default.
• W2042750451 cites W1861370427 @default.
• W2042750451 cites W1929497867 @default.
• W2042750451 cites W1934074768 @default.
• W2042750451 cites W2106387547 @default.
• W2042750451 cites W2277041087 @default.
• W2042750451 cites W2340735175 @default.
• W2042750451 doi "https://doi.org/10.1145/370155.370387" @default.
• W2042750451 hasPublicationYear "2001" @default.
• W2042750451 type Work @default.
• W2042750451 sameAs 2042750451 @default.
• W2042750451 citedByCount "4" @default.
• W2042750451 countsByYear W20427504512013 @default.
• W2042750451 crossrefType "proceedings-article" @default.
• W2042750451 hasAuthorship W2042750451A5018623844 @default.
• W2042750451 hasAuthorship W2042750451A5033575934 @default.
• W2042750451 hasAuthorship W2042750451A5074451786 @default.
• W2042750451 hasConcept C111472728 @default.
• W2042750451 hasConcept C111919701 @default.
• W2042750451 hasConcept C119599485 @default.
• W2042750451 hasConcept C127413603 @default.
• W2042750451 hasConcept C134146338 @default.
• W2042750451 hasConcept C134306372 @default.
• W2042750451 hasConcept C134652429 @default.
• W2042750451 hasConcept C137059387 @default.
• W2042750451 hasConcept C138885662 @default.
• W2042750451 hasConcept C144024400 @default.
• W2042750451 hasConcept C151319957 @default.
• W2042750451 hasConcept C174998907 @default.
• W2042750451 hasConcept C188087704 @default.
• W2042750451 hasConcept C189645446 @default.
• W2042750451 hasConcept C189950617 @default.
• W2042750451 hasConcept C199360897 @default.
• W2042750451 hasConcept C207505557 @default.
• W2042750451 hasConcept C21547014 @default.
• W2042750451 hasConcept C2775948798 @default.
• W2042750451 hasConcept C31258907 @default.
• W2042750451 hasConcept C33923547 @default.
• W2042750451 hasConcept C34388435 @default.
• W2042750451 hasConcept C41008148 @default.
• W2042750451 hasConcept C42196554 @default.
• W2042750451 hasConcept C46312422 @default.
• W2042750451 hasConcept C55439883 @default.
• W2042750451 hasConcept C76155785 @default.
• W2042750451 hasConcept C76844732 @default.
• W2042750451 hasConcept C7923308 @default.
• W2042750451 hasConcept C80444323 @default.
• W2042750451 hasConcept C85345410 @default.
• W2042750451 hasConcept C87695204 @default.
• W2042750451 hasConceptScore W2042750451C111472728 @default.
• W2042750451 hasConceptScore W2042750451C111919701 @default.
• W2042750451 hasConceptScore W2042750451C119599485 @default.
• W2042750451 hasConceptScore W2042750451C127413603 @default.
• W2042750451 hasConceptScore W2042750451C134146338 @default.
• W2042750451 hasConceptScore W2042750451C134306372 @default.
• W2042750451 hasConceptScore W2042750451C134652429 @default.
• W2042750451 hasConceptScore W2042750451C137059387 @default.
• W2042750451 hasConceptScore W2042750451C138885662 @default.
• W2042750451 hasConceptScore W2042750451C144024400 @default.
• W2042750451 hasConceptScore W2042750451C151319957 @default.
• W2042750451 hasConceptScore W2042750451C174998907 @default.
• W2042750451 hasConceptScore W2042750451C188087704 @default.
• W2042750451 hasConceptScore W2042750451C189645446 @default.
• W2042750451 hasConceptScore W2042750451C189950617 @default.
• W2042750451 hasConceptScore W2042750451C199360897 @default.
• W2042750451 hasConceptScore W2042750451C207505557 @default.
• W2042750451 hasConceptScore W2042750451C21547014 @default.
• W2042750451 hasConceptScore W2042750451C2775948798 @default.
• W2042750451 hasConceptScore W2042750451C31258907 @default.
• W2042750451 hasConceptScore W2042750451C33923547 @default.
• W2042750451 hasConceptScore W2042750451C34388435 @default.
• W2042750451 hasConceptScore W2042750451C41008148 @default.
• W2042750451 hasConceptScore W2042750451C42196554 @default.
• W2042750451 hasConceptScore W2042750451C46312422 @default.
• W2042750451 hasConceptScore W2042750451C55439883 @default.
• W2042750451 hasConceptScore W2042750451C76155785 @default.
• W2042750451 hasConceptScore W2042750451C76844732 @default.
• W2042750451 hasConceptScore W2042750451C7923308 @default.
• W2042750451 hasConceptScore W2042750451C80444323 @default.
• W2042750451 hasConceptScore W2042750451C85345410 @default.
• W2042750451 hasConceptScore W2042750451C87695204 @default.
• W2042750451 hasLocation W20427504511 @default.
• W2042750451 hasOpenAccess W2042750451 @default.
• W2042750451 hasPrimaryLocation W20427504511 @default.
• W2042750451 hasRelatedWork W1510521236 @default.
• W2042750451 hasRelatedWork W1537387651 @default.
• W2042750451 hasRelatedWork W1590272197 @default.

• next