Matches in SemOpenAlex for { <https://semopenalex.org/work/W3147194225> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3147194225 abstract "We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that checks if the given short-term (e.g., single-period) reliability of a program variable update in an implementation is sufficient to meet the logical reliability requirement (of the program variable) in the long run. We then present a notion of design by refinement where a task can be refined by another task that writes to program variables with less logical reliability. The resulting analysis can be combined with an incremental schedulability analysis for interacting real-time tasks proposed earlier for the Hierarchical Timing Language (HTL), a coordination language for distributed real-time systems. We implemented a logical-reliability- enhanced prototype of the compiler and runtime infrastructure for HTL." @default.
- W3147194225 created "2021-04-13" @default.
- W3147194225 creator A5029886612 @default.
- W3147194225 creator A5038231515 @default.
- W3147194225 creator A5041083343 @default.
- W3147194225 creator A5071853052 @default.
- W3147194225 creator A5080795575 @default.
- W3147194225 creator A5082366880 @default.
- W3147194225 date "2008-03-01" @default.
- W3147194225 modified "2023-09-24" @default.
- W3147194225 title "Logical Reliability of Interacting Real-Time Tasks" @default.
- W3147194225 cites W1976924039 @default.
- W3147194225 cites W1993978528 @default.
- W3147194225 cites W2042851811 @default.
- W3147194225 cites W2047337151 @default.
- W3147194225 cites W2118824103 @default.
- W3147194225 cites W2131619652 @default.
- W3147194225 cites W2136930347 @default.
- W3147194225 cites W2164769892 @default.
- W3147194225 cites W2166883710 @default.
- W3147194225 doi "https://doi.org/10.1109/date.2008.4484790" @default.
- W3147194225 hasPublicationYear "2008" @default.
- W3147194225 type Work @default.
- W3147194225 sameAs 3147194225 @default.
- W3147194225 citedByCount "2" @default.
- W3147194225 countsByYear W31471942252012 @default.
- W3147194225 crossrefType "proceedings-article" @default.
- W3147194225 hasAuthorship W3147194225A5029886612 @default.
- W3147194225 hasAuthorship W3147194225A5038231515 @default.
- W3147194225 hasAuthorship W3147194225A5041083343 @default.
- W3147194225 hasAuthorship W3147194225A5071853052 @default.
- W3147194225 hasAuthorship W3147194225A5080795575 @default.
- W3147194225 hasAuthorship W3147194225A5082366880 @default.
- W3147194225 hasConcept C121332964 @default.
- W3147194225 hasConcept C127413603 @default.
- W3147194225 hasConcept C134306372 @default.
- W3147194225 hasConcept C162324750 @default.
- W3147194225 hasConcept C163258240 @default.
- W3147194225 hasConcept C169590947 @default.
- W3147194225 hasConcept C182365436 @default.
- W3147194225 hasConcept C187736073 @default.
- W3147194225 hasConcept C199360897 @default.
- W3147194225 hasConcept C200601418 @default.
- W3147194225 hasConcept C200833197 @default.
- W3147194225 hasConcept C21847791 @default.
- W3147194225 hasConcept C2780451532 @default.
- W3147194225 hasConcept C2989134064 @default.
- W3147194225 hasConcept C33923547 @default.
- W3147194225 hasConcept C41008148 @default.
- W3147194225 hasConcept C43214815 @default.
- W3147194225 hasConcept C62520636 @default.
- W3147194225 hasConcept C98183937 @default.
- W3147194225 hasConceptScore W3147194225C121332964 @default.
- W3147194225 hasConceptScore W3147194225C127413603 @default.
- W3147194225 hasConceptScore W3147194225C134306372 @default.
- W3147194225 hasConceptScore W3147194225C162324750 @default.
- W3147194225 hasConceptScore W3147194225C163258240 @default.
- W3147194225 hasConceptScore W3147194225C169590947 @default.
- W3147194225 hasConceptScore W3147194225C182365436 @default.
- W3147194225 hasConceptScore W3147194225C187736073 @default.
- W3147194225 hasConceptScore W3147194225C199360897 @default.
- W3147194225 hasConceptScore W3147194225C200601418 @default.
- W3147194225 hasConceptScore W3147194225C200833197 @default.
- W3147194225 hasConceptScore W3147194225C21847791 @default.
- W3147194225 hasConceptScore W3147194225C2780451532 @default.
- W3147194225 hasConceptScore W3147194225C2989134064 @default.
- W3147194225 hasConceptScore W3147194225C33923547 @default.
- W3147194225 hasConceptScore W3147194225C41008148 @default.
- W3147194225 hasConceptScore W3147194225C43214815 @default.
- W3147194225 hasConceptScore W3147194225C62520636 @default.
- W3147194225 hasConceptScore W3147194225C98183937 @default.
- W3147194225 hasLocation W31471942251 @default.
- W3147194225 hasOpenAccess W3147194225 @default.
- W3147194225 hasPrimaryLocation W31471942251 @default.
- W3147194225 hasRelatedWork W1497385637 @default.
- W3147194225 hasRelatedWork W1542733065 @default.
- W3147194225 hasRelatedWork W1603968847 @default.
- W3147194225 hasRelatedWork W2013637613 @default.
- W3147194225 hasRelatedWork W2086733238 @default.
- W3147194225 hasRelatedWork W2099479461 @default.
- W3147194225 hasRelatedWork W2137908418 @default.
- W3147194225 hasRelatedWork W2192862863 @default.
- W3147194225 hasRelatedWork W2948321003 @default.
- W3147194225 hasRelatedWork W1482645738 @default.
- W3147194225 isParatext "false" @default.
- W3147194225 isRetracted "false" @default.
- W3147194225 magId "3147194225" @default.
- W3147194225 workType "article" @default.