FRINK Linked Data Fragments server

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

• W2099749154 endingPage "104" @default.
• W2099749154 startingPage "93" @default.
• W2099749154 abstract "We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling priority protocol. For these programs, we provide static analyses for detecting data races between tasks running at different priorities as well as methods to guarantee transactional execution of procedures. Beyond that, we demonstrate how general techniques for value analyses can be adapted to this setting by developing a precise analysis of affine equalities." @default.
• W2099749154 created "2016-06-24" @default.
• W2099749154 creator A5033594262 @default.
• W2099749154 creator A5034095003 @default.
• W2099749154 creator A5070224469 @default.
• W2099749154 creator A5080676686 @default.
• W2099749154 creator A5082037264 @default.
• W2099749154 date "2011-01-26" @default.
• W2099749154 modified "2023-09-26" @default.
• W2099749154 title "Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol" @default.
• W2099749154 cites W1551108348 @default.
• W2099749154 cites W1587449012 @default.
• W2099749154 cites W1657819239 @default.
• W2099749154 cites W2025806161 @default.
• W2099749154 cites W2060345611 @default.
• W2099749154 cites W2064352669 @default.
• W2099749154 cites W2086558155 @default.
• W2099749154 cites W2093100591 @default.
• W2099749154 cites W2098151336 @default.
• W2099749154 cites W2105257256 @default.
• W2099749154 cites W2112381327 @default.
• W2099749154 cites W2137422315 @default.
• W2099749154 cites W2147248565 @default.
• W2099749154 cites W2160293203 @default.
• W2099749154 cites W2171537091 @default.
• W2099749154 cites W2171834078 @default.
• W2099749154 cites W4247858957 @default.
• W2099749154 cites W4301322018 @default.
• W2099749154 doi "https://doi.org/10.1145/1925844.1926398" @default.
• W2099749154 hasPublicationYear "2011" @default.
• W2099749154 type Work @default.
• W2099749154 sameAs 2099749154 @default.
• W2099749154 citedByCount "13" @default.
• W2099749154 countsByYear W20997491542015 @default.
• W2099749154 countsByYear W20997491542016 @default.
• W2099749154 countsByYear W20997491542017 @default.
• W2099749154 countsByYear W20997491542018 @default.
• W2099749154 countsByYear W20997491542019 @default.
• W2099749154 countsByYear W20997491542020 @default.
• W2099749154 countsByYear W20997491542021 @default.
• W2099749154 countsByYear W20997491542022 @default.
• W2099749154 countsByYear W20997491542023 @default.
• W2099749154 crossrefType "journal-article" @default.
• W2099749154 hasAuthorship W2099749154A5033594262 @default.
• W2099749154 hasAuthorship W2099749154A5034095003 @default.
• W2099749154 hasAuthorship W2099749154A5070224469 @default.
• W2099749154 hasAuthorship W2099749154A5080676686 @default.
• W2099749154 hasAuthorship W2099749154A5082037264 @default.
• W2099749154 hasConcept C107568181 @default.
• W2099749154 hasConcept C111919701 @default.
• W2099749154 hasConcept C117420606 @default.
• W2099749154 hasConcept C120314980 @default.
• W2099749154 hasConcept C121332964 @default.
• W2099749154 hasConcept C127456818 @default.
• W2099749154 hasConcept C142724271 @default.
• W2099749154 hasConcept C149635348 @default.
• W2099749154 hasConcept C153294291 @default.
• W2099749154 hasConcept C162324750 @default.
• W2099749154 hasConcept C172828308 @default.
• W2099749154 hasConcept C173018170 @default.
• W2099749154 hasConcept C187736073 @default.
• W2099749154 hasConcept C199360897 @default.
• W2099749154 hasConcept C204787440 @default.
• W2099749154 hasConcept C206729178 @default.
• W2099749154 hasConcept C206952183 @default.
• W2099749154 hasConcept C21547014 @default.
• W2099749154 hasConcept C2777489069 @default.
• W2099749154 hasConcept C2780385302 @default.
• W2099749154 hasConcept C2780451532 @default.
• W2099749154 hasConcept C41008148 @default.
• W2099749154 hasConcept C41661131 @default.
• W2099749154 hasConcept C63160601 @default.
• W2099749154 hasConcept C68387754 @default.
• W2099749154 hasConcept C71924100 @default.
• W2099749154 hasConcept C97686452 @default.
• W2099749154 hasConceptScore W2099749154C107568181 @default.
• W2099749154 hasConceptScore W2099749154C111919701 @default.
• W2099749154 hasConceptScore W2099749154C117420606 @default.
• W2099749154 hasConceptScore W2099749154C120314980 @default.
• W2099749154 hasConceptScore W2099749154C121332964 @default.
• W2099749154 hasConceptScore W2099749154C127456818 @default.
• W2099749154 hasConceptScore W2099749154C142724271 @default.
• W2099749154 hasConceptScore W2099749154C149635348 @default.
• W2099749154 hasConceptScore W2099749154C153294291 @default.
• W2099749154 hasConceptScore W2099749154C162324750 @default.
• W2099749154 hasConceptScore W2099749154C172828308 @default.
• W2099749154 hasConceptScore W2099749154C173018170 @default.
• W2099749154 hasConceptScore W2099749154C187736073 @default.
• W2099749154 hasConceptScore W2099749154C199360897 @default.
• W2099749154 hasConceptScore W2099749154C204787440 @default.
• W2099749154 hasConceptScore W2099749154C206729178 @default.
• W2099749154 hasConceptScore W2099749154C206952183 @default.
• W2099749154 hasConceptScore W2099749154C21547014 @default.
• W2099749154 hasConceptScore W2099749154C2777489069 @default.
• W2099749154 hasConceptScore W2099749154C2780385302 @default.
• W2099749154 hasConceptScore W2099749154C2780451532 @default.
• W2099749154 hasConceptScore W2099749154C41008148 @default.
• W2099749154 hasConceptScore W2099749154C41661131 @default.

• next