Matches in SemOpenAlex for { <https://semopenalex.org/work/W156781440> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W156781440 abstract "A major trend in computer architecture is multi-core processors. To fully exploit this type of parallel processor chip, programs running on it will have to be parallel as well. This means that even hard real-time embedded systems will be parallel. Therefore, it is of utmost importance that methods to analyze the timing properties of parallel real-time systems are developed.This paper presents an algorithm that is founded on abstract interpretation and derives safe approximations of the execution times of parallel programs. The algorithm is formulated and proven correct for a simple parallel language with parallel threads, shared memory and synchronization via locks." @default.
- W156781440 created "2016-06-24" @default.
- W156781440 creator A5013740479 @default.
- W156781440 creator A5015472159 @default.
- W156781440 creator A5062612658 @default.
- W156781440 date "2014-01-01" @default.
- W156781440 modified "2023-09-27" @default.
- W156781440 title "Timing Analysis of Parallel Software Using Abstract Execution" @default.
- W156781440 cites W156781440 @default.
- W156781440 cites W1604429416 @default.
- W156781440 cites W1987142766 @default.
- W156781440 cites W2043100293 @default.
- W156781440 cites W2055657398 @default.
- W156781440 cites W2076285066 @default.
- W156781440 doi "https://doi.org/10.1007/978-3-642-54013-4_4" @default.
- W156781440 hasPublicationYear "2014" @default.
- W156781440 type Work @default.
- W156781440 sameAs 156781440 @default.
- W156781440 citedByCount "5" @default.
- W156781440 countsByYear W1567814402014 @default.
- W156781440 countsByYear W1567814402016 @default.
- W156781440 crossrefType "book-chapter" @default.
- W156781440 hasAuthorship W156781440A5013740479 @default.
- W156781440 hasAuthorship W156781440A5015472159 @default.
- W156781440 hasAuthorship W156781440A5062612658 @default.
- W156781440 hasConcept C120373497 @default.
- W156781440 hasConcept C126909462 @default.
- W156781440 hasConcept C127162648 @default.
- W156781440 hasConcept C133875982 @default.
- W156781440 hasConcept C165696696 @default.
- W156781440 hasConcept C173608175 @default.
- W156781440 hasConcept C199360897 @default.
- W156781440 hasConcept C2777904410 @default.
- W156781440 hasConcept C2778562939 @default.
- W156781440 hasConcept C31258907 @default.
- W156781440 hasConcept C38652104 @default.
- W156781440 hasConcept C41008148 @default.
- W156781440 hasConcept C78766204 @default.
- W156781440 hasConceptScore W156781440C120373497 @default.
- W156781440 hasConceptScore W156781440C126909462 @default.
- W156781440 hasConceptScore W156781440C127162648 @default.
- W156781440 hasConceptScore W156781440C133875982 @default.
- W156781440 hasConceptScore W156781440C165696696 @default.
- W156781440 hasConceptScore W156781440C173608175 @default.
- W156781440 hasConceptScore W156781440C199360897 @default.
- W156781440 hasConceptScore W156781440C2777904410 @default.
- W156781440 hasConceptScore W156781440C2778562939 @default.
- W156781440 hasConceptScore W156781440C31258907 @default.
- W156781440 hasConceptScore W156781440C38652104 @default.
- W156781440 hasConceptScore W156781440C41008148 @default.
- W156781440 hasConceptScore W156781440C78766204 @default.
- W156781440 hasLocation W1567814401 @default.
- W156781440 hasOpenAccess W156781440 @default.
- W156781440 hasPrimaryLocation W1567814401 @default.
- W156781440 hasRelatedWork W148309654 @default.
- W156781440 hasRelatedWork W149250225 @default.
- W156781440 hasRelatedWork W1788337746 @default.
- W156781440 hasRelatedWork W1981121546 @default.
- W156781440 hasRelatedWork W2128696672 @default.
- W156781440 hasRelatedWork W2153287401 @default.
- W156781440 hasRelatedWork W2161873256 @default.
- W156781440 hasRelatedWork W2407903596 @default.
- W156781440 hasRelatedWork W2528803790 @default.
- W156781440 hasRelatedWork W2693215114 @default.
- W156781440 hasRelatedWork W2761164411 @default.
- W156781440 hasRelatedWork W2898827337 @default.
- W156781440 hasRelatedWork W2913336171 @default.
- W156781440 hasRelatedWork W2914180255 @default.
- W156781440 hasRelatedWork W2951766510 @default.
- W156781440 hasRelatedWork W3158781396 @default.
- W156781440 hasRelatedWork W3204305006 @default.
- W156781440 hasRelatedWork W95351402 @default.
- W156781440 hasRelatedWork W990851075 @default.
- W156781440 hasRelatedWork W2547201336 @default.
- W156781440 isParatext "false" @default.
- W156781440 isRetracted "false" @default.
- W156781440 magId "156781440" @default.
- W156781440 workType "book-chapter" @default.