Matches in SemOpenAlex for { <https://semopenalex.org/work/W3130041341> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W3130041341 abstract "Worst-Case Execution-Time (WCET) Analysis is the first phase of Timing Analysis, which attempts to verify that a set of real-time tasks can be executed on an execution platform such that all tasks respect their deadlines. WCET analysis determines upper bounds on execution times, which are then passed on to a Schedulability Analysis, the second phase of Timing Analysis. This clean separation into the two phases holds for single-core execution platforms. Multi-core platforms require a more complex interaction between WCET analysis and schedulability analysis. We have solved the WCET-analysis problem for single-core platforms. Key to our success was the use of Abstract Interpretation for the static analysis of the behavior of architectural components such as caches, pipelines, buses, and peripheries. The Program-Analyzer Generator (PAG), which is based on Abstract Interpretation, allowed us to quickly develop and experiment with abstract domains, to arrive at sound, precise, and scalable solutions." @default.
- W3130041341 created "2021-03-01" @default.
- W3130041341 creator A5071295289 @default.
- W3130041341 date "2020-12-01" @default.
- W3130041341 modified "2023-09-23" @default.
- W3130041341 title "Real Time Spent on Real Time" @default.
- W3130041341 cites W156258633 @default.
- W3130041341 cites W1979470295 @default.
- W3130041341 cites W2043100293 @default.
- W3130041341 cites W2102481384 @default.
- W3130041341 cites W2138952175 @default.
- W3130041341 cites W2294539089 @default.
- W3130041341 cites W3027579776 @default.
- W3130041341 cites W3046283850 @default.
- W3130041341 cites W3088187287 @default.
- W3130041341 doi "https://doi.org/10.1109/rtss49844.2020.00011" @default.
- W3130041341 hasPublicationYear "2020" @default.
- W3130041341 type Work @default.
- W3130041341 sameAs 3130041341 @default.
- W3130041341 citedByCount "2" @default.
- W3130041341 countsByYear W31300413412020 @default.
- W3130041341 countsByYear W31300413412021 @default.
- W3130041341 crossrefType "proceedings-article" @default.
- W3130041341 hasAuthorship W3130041341A5071295289 @default.
- W3130041341 hasConcept C111919701 @default.
- W3130041341 hasConcept C120314980 @default.
- W3130041341 hasConcept C121332964 @default.
- W3130041341 hasConcept C149635348 @default.
- W3130041341 hasConcept C163258240 @default.
- W3130041341 hasConcept C173608175 @default.
- W3130041341 hasConcept C177264268 @default.
- W3130041341 hasConcept C199360897 @default.
- W3130041341 hasConcept C200130814 @default.
- W3130041341 hasConcept C2780654840 @default.
- W3130041341 hasConcept C2780992000 @default.
- W3130041341 hasConcept C2989134064 @default.
- W3130041341 hasConcept C41008148 @default.
- W3130041341 hasConcept C48044578 @default.
- W3130041341 hasConcept C62520636 @default.
- W3130041341 hasConcept C78766204 @default.
- W3130041341 hasConcept C79403827 @default.
- W3130041341 hasConcept C93682380 @default.
- W3130041341 hasConcept C97686452 @default.
- W3130041341 hasConceptScore W3130041341C111919701 @default.
- W3130041341 hasConceptScore W3130041341C120314980 @default.
- W3130041341 hasConceptScore W3130041341C121332964 @default.
- W3130041341 hasConceptScore W3130041341C149635348 @default.
- W3130041341 hasConceptScore W3130041341C163258240 @default.
- W3130041341 hasConceptScore W3130041341C173608175 @default.
- W3130041341 hasConceptScore W3130041341C177264268 @default.
- W3130041341 hasConceptScore W3130041341C199360897 @default.
- W3130041341 hasConceptScore W3130041341C200130814 @default.
- W3130041341 hasConceptScore W3130041341C2780654840 @default.
- W3130041341 hasConceptScore W3130041341C2780992000 @default.
- W3130041341 hasConceptScore W3130041341C2989134064 @default.
- W3130041341 hasConceptScore W3130041341C41008148 @default.
- W3130041341 hasConceptScore W3130041341C48044578 @default.
- W3130041341 hasConceptScore W3130041341C62520636 @default.
- W3130041341 hasConceptScore W3130041341C78766204 @default.
- W3130041341 hasConceptScore W3130041341C79403827 @default.
- W3130041341 hasConceptScore W3130041341C93682380 @default.
- W3130041341 hasConceptScore W3130041341C97686452 @default.
- W3130041341 hasFunder F4320320879 @default.
- W3130041341 hasLocation W31300413411 @default.
- W3130041341 hasOpenAccess W3130041341 @default.
- W3130041341 hasPrimaryLocation W31300413411 @default.
- W3130041341 hasRelatedWork W1547140629 @default.
- W3130041341 hasRelatedWork W1567692042 @default.
- W3130041341 hasRelatedWork W2036213524 @default.
- W3130041341 hasRelatedWork W2098932080 @default.
- W3130041341 hasRelatedWork W2361454369 @default.
- W3130041341 hasRelatedWork W2388143035 @default.
- W3130041341 hasRelatedWork W2390473631 @default.
- W3130041341 hasRelatedWork W3130041341 @default.
- W3130041341 hasRelatedWork W2495842201 @default.
- W3130041341 hasRelatedWork W2610210116 @default.
- W3130041341 isParatext "false" @default.
- W3130041341 isRetracted "false" @default.
- W3130041341 magId "3130041341" @default.
- W3130041341 workType "article" @default.