Matches in SemOpenAlex for { <https://semopenalex.org/work/W2168275791> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2168275791 abstract "The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related frameworks, global execution correctness is achieved by ensuring endochrony: the insensitivity of (logical) time in the system from (real) time in the environment. Interestingly, endochrony can be statically checked, making it fast to ensure design correctness. Unfortunately, endochrony is not preserved by composition, making it difficult to exploit with component-based design concepts in mind. Compositionality can be achieved by weakening the objective of endochrony but at the cost of an exhaustive state-space exploration. This raise a tradeoff between performance and precision. Our aim is to balance it by proposing a formal design methodology that adheres to a weakened global design objective: the non-blocking composition of weakly endochronous processes, while preserving local endochrony objectives. This yields an ad-hoc yet cost-efficient approach to compositional synchronous modeling." @default.
- W2168275791 created "2016-06-24" @default.
- W2168275791 creator A5010968465 @default.
- W2168275791 creator A5054272105 @default.
- W2168275791 creator A5067313227 @default.
- W2168275791 creator A5076155020 @default.
- W2168275791 date "2008-03-10" @default.
- W2168275791 modified "2023-10-10" @default.
- W2168275791 title "Compositional design of isochronous systems" @default.
- W2168275791 cites W1965516968 @default.
- W2168275791 cites W2040789302 @default.
- W2168275791 cites W2062949277 @default.
- W2168275791 cites W2063705546 @default.
- W2168275791 cites W2064383697 @default.
- W2168275791 cites W2144148413 @default.
- W2168275791 cites W2146549499 @default.
- W2168275791 cites W2160566592 @default.
- W2168275791 cites W3184710042 @default.
- W2168275791 doi "https://doi.org/10.1145/1403375.1403598" @default.
- W2168275791 hasPublicationYear "2008" @default.
- W2168275791 type Work @default.
- W2168275791 sameAs 2168275791 @default.
- W2168275791 citedByCount "14" @default.
- W2168275791 countsByYear W21682757912012 @default.
- W2168275791 countsByYear W21682757912013 @default.
- W2168275791 countsByYear W21682757912015 @default.
- W2168275791 crossrefType "proceedings-article" @default.
- W2168275791 hasAuthorship W2168275791A5010968465 @default.
- W2168275791 hasAuthorship W2168275791A5054272105 @default.
- W2168275791 hasAuthorship W2168275791A5067313227 @default.
- W2168275791 hasAuthorship W2168275791A5076155020 @default.
- W2168275791 hasBestOaLocation W21682757912 @default.
- W2168275791 hasConcept C110251889 @default.
- W2168275791 hasConcept C111498074 @default.
- W2168275791 hasConcept C120314980 @default.
- W2168275791 hasConcept C121332964 @default.
- W2168275791 hasConcept C121375916 @default.
- W2168275791 hasConcept C138885662 @default.
- W2168275791 hasConcept C149635348 @default.
- W2168275791 hasConcept C154945302 @default.
- W2168275791 hasConcept C165696696 @default.
- W2168275791 hasConcept C168167062 @default.
- W2168275791 hasConcept C199360897 @default.
- W2168275791 hasConcept C2776221188 @default.
- W2168275791 hasConcept C38652104 @default.
- W2168275791 hasConcept C40231798 @default.
- W2168275791 hasConcept C41008148 @default.
- W2168275791 hasConcept C41895202 @default.
- W2168275791 hasConcept C55439883 @default.
- W2168275791 hasConcept C75606506 @default.
- W2168275791 hasConcept C97355855 @default.
- W2168275791 hasConceptScore W2168275791C110251889 @default.
- W2168275791 hasConceptScore W2168275791C111498074 @default.
- W2168275791 hasConceptScore W2168275791C120314980 @default.
- W2168275791 hasConceptScore W2168275791C121332964 @default.
- W2168275791 hasConceptScore W2168275791C121375916 @default.
- W2168275791 hasConceptScore W2168275791C138885662 @default.
- W2168275791 hasConceptScore W2168275791C149635348 @default.
- W2168275791 hasConceptScore W2168275791C154945302 @default.
- W2168275791 hasConceptScore W2168275791C165696696 @default.
- W2168275791 hasConceptScore W2168275791C168167062 @default.
- W2168275791 hasConceptScore W2168275791C199360897 @default.
- W2168275791 hasConceptScore W2168275791C2776221188 @default.
- W2168275791 hasConceptScore W2168275791C38652104 @default.
- W2168275791 hasConceptScore W2168275791C40231798 @default.
- W2168275791 hasConceptScore W2168275791C41008148 @default.
- W2168275791 hasConceptScore W2168275791C41895202 @default.
- W2168275791 hasConceptScore W2168275791C55439883 @default.
- W2168275791 hasConceptScore W2168275791C75606506 @default.
- W2168275791 hasConceptScore W2168275791C97355855 @default.
- W2168275791 hasLocation W21682757911 @default.
- W2168275791 hasLocation W21682757912 @default.
- W2168275791 hasLocation W21682757913 @default.
- W2168275791 hasLocation W21682757914 @default.
- W2168275791 hasLocation W21682757915 @default.
- W2168275791 hasLocation W21682757916 @default.
- W2168275791 hasLocation W21682757917 @default.
- W2168275791 hasLocation W21682757918 @default.
- W2168275791 hasOpenAccess W2168275791 @default.
- W2168275791 hasPrimaryLocation W21682757911 @default.
- W2168275791 hasRelatedWork W1551485614 @default.
- W2168275791 hasRelatedWork W1601757209 @default.
- W2168275791 hasRelatedWork W2112401476 @default.
- W2168275791 hasRelatedWork W2149391410 @default.
- W2168275791 hasRelatedWork W2487509351 @default.
- W2168275791 hasRelatedWork W2741430969 @default.
- W2168275791 hasRelatedWork W3199278981 @default.
- W2168275791 hasRelatedWork W4253094663 @default.
- W2168275791 hasRelatedWork W48721145 @default.
- W2168275791 hasRelatedWork W68954737 @default.
- W2168275791 isParatext "false" @default.
- W2168275791 isRetracted "false" @default.
- W2168275791 magId "2168275791" @default.
- W2168275791 workType "article" @default.