Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077851208> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2077851208 endingPage "76" @default.
- W2077851208 startingPage "67" @default.
- W2077851208 abstract "The focus of this paper is on the processes that control access to shared resources in concurrent systems. Processes that access a shared resource send access requests to the controller of the shared resource which in turn services requests based on such criteria as the conditions enabling the requests, the fairness specified, etc. In this paper we examine the structure of resource controllers, in particular, we show how resource controllers manifest themselves in Ada. Our prime motivation for this work is to develop schemes by which controllers with complex resource control policies can be implemented using the tasking constructs of Ada. To enable the verification of Ada resource controllers, we provide a temporal semantics for the tasking constructs as well as for the resource controller components." @default.
- W2077851208 created "2016-06-24" @default.
- W2077851208 creator A5089825930 @default.
- W2077851208 date "1984-03-26" @default.
- W2077851208 modified "2023-09-26" @default.
- W2077851208 title "Resource controller tasks in ADA: Their structure and semantics" @default.
- W2077851208 cites W1487551920 @default.
- W2077851208 cites W1542049623 @default.
- W2077851208 cites W1566242322 @default.
- W2077851208 cites W1581155387 @default.
- W2077851208 cites W1600408058 @default.
- W2077851208 cites W1970603830 @default.
- W2077851208 cites W1984831616 @default.
- W2077851208 cites W2004158097 @default.
- W2077851208 cites W2030926579 @default.
- W2077851208 cites W2039861057 @default.
- W2077851208 cites W2044309420 @default.
- W2077851208 cites W2166656159 @default.
- W2077851208 cites W3146075203 @default.
- W2077851208 doi "https://doi.org/10.5555/800054.801952" @default.
- W2077851208 hasPublicationYear "1984" @default.
- W2077851208 type Work @default.
- W2077851208 sameAs 2077851208 @default.
- W2077851208 citedByCount "0" @default.
- W2077851208 crossrefType "proceedings-article" @default.
- W2077851208 hasAuthorship W2077851208A5089825930 @default.
- W2077851208 hasConcept C111919701 @default.
- W2077851208 hasConcept C120314980 @default.
- W2077851208 hasConcept C120665830 @default.
- W2077851208 hasConcept C121332964 @default.
- W2077851208 hasConcept C184337299 @default.
- W2077851208 hasConcept C192209626 @default.
- W2077851208 hasConcept C199360897 @default.
- W2077851208 hasConcept C203479927 @default.
- W2077851208 hasConcept C206345919 @default.
- W2077851208 hasConcept C2780609101 @default.
- W2077851208 hasConcept C31258907 @default.
- W2077851208 hasConcept C41008148 @default.
- W2077851208 hasConcept C51332947 @default.
- W2077851208 hasConcept C527821871 @default.
- W2077851208 hasConcept C6557445 @default.
- W2077851208 hasConcept C86803240 @default.
- W2077851208 hasConceptScore W2077851208C111919701 @default.
- W2077851208 hasConceptScore W2077851208C120314980 @default.
- W2077851208 hasConceptScore W2077851208C120665830 @default.
- W2077851208 hasConceptScore W2077851208C121332964 @default.
- W2077851208 hasConceptScore W2077851208C184337299 @default.
- W2077851208 hasConceptScore W2077851208C192209626 @default.
- W2077851208 hasConceptScore W2077851208C199360897 @default.
- W2077851208 hasConceptScore W2077851208C203479927 @default.
- W2077851208 hasConceptScore W2077851208C206345919 @default.
- W2077851208 hasConceptScore W2077851208C2780609101 @default.
- W2077851208 hasConceptScore W2077851208C31258907 @default.
- W2077851208 hasConceptScore W2077851208C41008148 @default.
- W2077851208 hasConceptScore W2077851208C51332947 @default.
- W2077851208 hasConceptScore W2077851208C527821871 @default.
- W2077851208 hasConceptScore W2077851208C6557445 @default.
- W2077851208 hasConceptScore W2077851208C86803240 @default.
- W2077851208 hasLocation W20778512081 @default.
- W2077851208 hasOpenAccess W2077851208 @default.
- W2077851208 hasPrimaryLocation W20778512081 @default.
- W2077851208 hasRelatedWork W1507317208 @default.
- W2077851208 hasRelatedWork W1544036346 @default.
- W2077851208 hasRelatedWork W1584324567 @default.
- W2077851208 hasRelatedWork W1714884520 @default.
- W2077851208 hasRelatedWork W1878264665 @default.
- W2077851208 hasRelatedWork W1918324461 @default.
- W2077851208 hasRelatedWork W2006244393 @default.
- W2077851208 hasRelatedWork W2017594906 @default.
- W2077851208 hasRelatedWork W2022194380 @default.
- W2077851208 hasRelatedWork W2028931554 @default.
- W2077851208 hasRelatedWork W2036229977 @default.
- W2077851208 hasRelatedWork W2066071798 @default.
- W2077851208 hasRelatedWork W2098987259 @default.
- W2077851208 hasRelatedWork W2113401164 @default.
- W2077851208 hasRelatedWork W2164136586 @default.
- W2077851208 hasRelatedWork W2364051060 @default.
- W2077851208 hasRelatedWork W255370712 @default.
- W2077851208 hasRelatedWork W2564879518 @default.
- W2077851208 hasRelatedWork W321252243 @default.
- W2077851208 hasRelatedWork W83952444 @default.
- W2077851208 isParatext "false" @default.
- W2077851208 isRetracted "false" @default.
- W2077851208 magId "2077851208" @default.
- W2077851208 workType "article" @default.