Matches in SemOpenAlex for { <https://semopenalex.org/work/W4247629791> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4247629791 endingPage "32" @default.
- W4247629791 startingPage "27" @default.
- W4247629791 abstract "High-integrity systems rarely make use of high-level language features such as Ada tasking. In this paper, simple language profiles (of Ada 95 concurrency features) are developed that are appropriate for various levels of integrity. A level-0 model (collection of Ada95 features) defines a minimal language profile and delivers deterministic (non-preemptive) behaviour. Scheduling is undertaken as part of the application and can thus be inspected and verified. Five other models are also presented that give different levels of expressive power. The motivation for this paper is to try and define models that would become de facto standards and that would be directly supported by kernel vendors and other tool suppliers." @default.
- W4247629791 created "2022-05-12" @default.
- W4247629791 creator A5004122456 @default.
- W4247629791 creator A5049937500 @default.
- W4247629791 date "1997-10-01" @default.
- W4247629791 modified "2023-09-26" @default.
- W4247629791 title "Restricted tasking models" @default.
- W4247629791 cites W1702973254 @default.
- W4247629791 cites W1973613757 @default.
- W4247629791 cites W2109488193 @default.
- W4247629791 doi "https://doi.org/10.1145/271662.271679" @default.
- W4247629791 hasPublicationYear "1997" @default.
- W4247629791 type Work @default.
- W4247629791 citedByCount "1" @default.
- W4247629791 crossrefType "journal-article" @default.
- W4247629791 hasAuthorship W4247629791A5004122456 @default.
- W4247629791 hasAuthorship W4247629791A5049937500 @default.
- W4247629791 hasConcept C107418235 @default.
- W4247629791 hasConcept C111472728 @default.
- W4247629791 hasConcept C114614502 @default.
- W4247629791 hasConcept C115903868 @default.
- W4247629791 hasConcept C120314980 @default.
- W4247629791 hasConcept C127413603 @default.
- W4247629791 hasConcept C138885662 @default.
- W4247629791 hasConcept C15744967 @default.
- W4247629791 hasConcept C17744445 @default.
- W4247629791 hasConcept C180747234 @default.
- W4247629791 hasConcept C193702766 @default.
- W4247629791 hasConcept C195818886 @default.
- W4247629791 hasConcept C199360897 @default.
- W4247629791 hasConcept C199539241 @default.
- W4247629791 hasConcept C206729178 @default.
- W4247629791 hasConcept C21547014 @default.
- W4247629791 hasConcept C2780586882 @default.
- W4247629791 hasConcept C2992317946 @default.
- W4247629791 hasConcept C33923547 @default.
- W4247629791 hasConcept C41008148 @default.
- W4247629791 hasConcept C74193536 @default.
- W4247629791 hasConceptScore W4247629791C107418235 @default.
- W4247629791 hasConceptScore W4247629791C111472728 @default.
- W4247629791 hasConceptScore W4247629791C114614502 @default.
- W4247629791 hasConceptScore W4247629791C115903868 @default.
- W4247629791 hasConceptScore W4247629791C120314980 @default.
- W4247629791 hasConceptScore W4247629791C127413603 @default.
- W4247629791 hasConceptScore W4247629791C138885662 @default.
- W4247629791 hasConceptScore W4247629791C15744967 @default.
- W4247629791 hasConceptScore W4247629791C17744445 @default.
- W4247629791 hasConceptScore W4247629791C180747234 @default.
- W4247629791 hasConceptScore W4247629791C193702766 @default.
- W4247629791 hasConceptScore W4247629791C195818886 @default.
- W4247629791 hasConceptScore W4247629791C199360897 @default.
- W4247629791 hasConceptScore W4247629791C199539241 @default.
- W4247629791 hasConceptScore W4247629791C206729178 @default.
- W4247629791 hasConceptScore W4247629791C21547014 @default.
- W4247629791 hasConceptScore W4247629791C2780586882 @default.
- W4247629791 hasConceptScore W4247629791C2992317946 @default.
- W4247629791 hasConceptScore W4247629791C33923547 @default.
- W4247629791 hasConceptScore W4247629791C41008148 @default.
- W4247629791 hasConceptScore W4247629791C74193536 @default.
- W4247629791 hasIssue "5" @default.
- W4247629791 hasLocation W42476297911 @default.
- W4247629791 hasOpenAccess W4247629791 @default.
- W4247629791 hasPrimaryLocation W42476297911 @default.
- W4247629791 hasRelatedWork W1844522640 @default.
- W4247629791 hasRelatedWork W1882733036 @default.
- W4247629791 hasRelatedWork W1992741870 @default.
- W4247629791 hasRelatedWork W1998586093 @default.
- W4247629791 hasRelatedWork W2160425906 @default.
- W4247629791 hasRelatedWork W2546696010 @default.
- W4247629791 hasRelatedWork W2899486387 @default.
- W4247629791 hasRelatedWork W4206956498 @default.
- W4247629791 hasRelatedWork W4247629791 @default.
- W4247629791 hasRelatedWork W2788853161 @default.
- W4247629791 hasVolume "XVII" @default.
- W4247629791 isParatext "false" @default.
- W4247629791 isRetracted "false" @default.
- W4247629791 workType "article" @default.