Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970647569> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1970647569 abstract "This paper describes a framework for achieving flexible scheduling in the Real-Time Specification for Java (RTSJ), and provides verification of its operation by modelling it as a system of timed automata in the UPPAAL model checker. The proposed approach is a two-level scheduling mechanism where the first level is the RTSJ priority scheduler and the second level is under application control. Minimum, backward-compatible changes to the RTSJ specification are discussed. The only assumptions made are that the RTSJ implementation supports pre-emptive priority-based dispatching of threads, with changes to priorities having immediate effect. The framework model is described and its correctness checked." @default.
- W1970647569 created "2016-06-24" @default.
- W1970647569 creator A5004122456 @default.
- W1970647569 creator A5071637585 @default.
- W1970647569 date "2006-01-01" @default.
- W1970647569 modified "2023-09-22" @default.
- W1970647569 title "Model-based verification of a framework for flexible scheduling in the real-time specification for Java" @default.
- W1970647569 cites W1488917491 @default.
- W1970647569 cites W1531309140 @default.
- W1970647569 cites W1635175280 @default.
- W1970647569 cites W1738634031 @default.
- W1970647569 cites W1962072139 @default.
- W1970647569 cites W2077183348 @default.
- W1970647569 cites W2093100591 @default.
- W1970647569 cites W2114699485 @default.
- W1970647569 cites W2115597529 @default.
- W1970647569 cites W2142521377 @default.
- W1970647569 cites W2149157388 @default.
- W1970647569 cites W2160293203 @default.
- W1970647569 cites W2161382980 @default.
- W1970647569 cites W2162666438 @default.
- W1970647569 cites W2164317039 @default.
- W1970647569 cites W2116561566 @default.
- W1970647569 cites W2141071297 @default.
- W1970647569 cites W3023485956 @default.
- W1970647569 doi "https://doi.org/10.1145/1167999.1168005" @default.
- W1970647569 hasPublicationYear "2006" @default.
- W1970647569 type Work @default.
- W1970647569 sameAs 1970647569 @default.
- W1970647569 citedByCount "6" @default.
- W1970647569 countsByYear W19706475692013 @default.
- W1970647569 countsByYear W19706475692017 @default.
- W1970647569 crossrefType "proceedings-article" @default.
- W1970647569 hasAuthorship W1970647569A5004122456 @default.
- W1970647569 hasAuthorship W1970647569A5071637585 @default.
- W1970647569 hasConcept C115903868 @default.
- W1970647569 hasConcept C120314980 @default.
- W1970647569 hasConcept C127413603 @default.
- W1970647569 hasConcept C199360897 @default.
- W1970647569 hasConcept C206729178 @default.
- W1970647569 hasConcept C21547014 @default.
- W1970647569 hasConcept C41008148 @default.
- W1970647569 hasConcept C548217200 @default.
- W1970647569 hasConceptScore W1970647569C115903868 @default.
- W1970647569 hasConceptScore W1970647569C120314980 @default.
- W1970647569 hasConceptScore W1970647569C127413603 @default.
- W1970647569 hasConceptScore W1970647569C199360897 @default.
- W1970647569 hasConceptScore W1970647569C206729178 @default.
- W1970647569 hasConceptScore W1970647569C21547014 @default.
- W1970647569 hasConceptScore W1970647569C41008148 @default.
- W1970647569 hasConceptScore W1970647569C548217200 @default.
- W1970647569 hasLocation W19706475691 @default.
- W1970647569 hasOpenAccess W1970647569 @default.
- W1970647569 hasPrimaryLocation W19706475691 @default.
- W1970647569 hasRelatedWork W1490787830 @default.
- W1970647569 hasRelatedWork W1493446239 @default.
- W1970647569 hasRelatedWork W1556422878 @default.
- W1970647569 hasRelatedWork W1825982205 @default.
- W1970647569 hasRelatedWork W1860988706 @default.
- W1970647569 hasRelatedWork W21169582 @default.
- W1970647569 hasRelatedWork W2162118494 @default.
- W1970647569 hasRelatedWork W3006032443 @default.
- W1970647569 hasRelatedWork W4243252198 @default.
- W1970647569 hasRelatedWork W2528467228 @default.
- W1970647569 isParatext "false" @default.
- W1970647569 isRetracted "false" @default.
- W1970647569 magId "1970647569" @default.
- W1970647569 workType "article" @default.