Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567354836> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1567354836 abstract "Abstract : In the last several years, the investigators have developed a number of important, practical distributed algorithms for problems such as distributed simulation, termination and deadlock detection, computing networkwide functions in a distributed manner, etc. Interest in distributed systems has spurred publications of many distributed algorithms by other researchers. The major thrust in the past year has been directed towards developing unifying frameworks, i.e, paradigms - which consolidate the known results. They have developed a theory for detecting all system properties that are stable, i.e., properties that continue to hold once they begin to hold. Examples of stable properties are termination, deadlock, etc. The work subsumes a large body of literature on termination and deadlock detection. They have similarly developed a theory of conflict resolution and an algorithm based on this theory; this algorithm subsumes all known nonprobabilistic algorithms for mutual exclusion, resource sharing, dining philosophers' problem, etc. In addition, they have continued work on models of distributed systems, their verification and performance analysis. (Author)" @default.
- W1567354836 created "2016-06-24" @default.
- W1567354836 creator A5033569113 @default.
- W1567354836 creator A5062846068 @default.
- W1567354836 date "1983-09-01" @default.
- W1567354836 modified "2023-09-28" @default.
- W1567354836 title "Annual Scientific Report for Grant AFOSR-81-0205." @default.
- W1567354836 doi "https://doi.org/10.21236/ada135452" @default.
- W1567354836 hasPublicationYear "1983" @default.
- W1567354836 type Work @default.
- W1567354836 sameAs 1567354836 @default.
- W1567354836 citedByCount "0" @default.
- W1567354836 crossrefType "report" @default.
- W1567354836 hasAuthorship W1567354836A5033569113 @default.
- W1567354836 hasAuthorship W1567354836A5062846068 @default.
- W1567354836 hasConcept C113429609 @default.
- W1567354836 hasConcept C120314980 @default.
- W1567354836 hasConcept C130120984 @default.
- W1567354836 hasConcept C159023740 @default.
- W1567354836 hasConcept C206345919 @default.
- W1567354836 hasConcept C31258907 @default.
- W1567354836 hasConcept C38652104 @default.
- W1567354836 hasConcept C41008148 @default.
- W1567354836 hasConcept C51332947 @default.
- W1567354836 hasConcept C56348326 @default.
- W1567354836 hasConcept C80444323 @default.
- W1567354836 hasConceptScore W1567354836C113429609 @default.
- W1567354836 hasConceptScore W1567354836C120314980 @default.
- W1567354836 hasConceptScore W1567354836C130120984 @default.
- W1567354836 hasConceptScore W1567354836C159023740 @default.
- W1567354836 hasConceptScore W1567354836C206345919 @default.
- W1567354836 hasConceptScore W1567354836C31258907 @default.
- W1567354836 hasConceptScore W1567354836C38652104 @default.
- W1567354836 hasConceptScore W1567354836C41008148 @default.
- W1567354836 hasConceptScore W1567354836C51332947 @default.
- W1567354836 hasConceptScore W1567354836C56348326 @default.
- W1567354836 hasConceptScore W1567354836C80444323 @default.
- W1567354836 hasLocation W15673548361 @default.
- W1567354836 hasOpenAccess W1567354836 @default.
- W1567354836 hasPrimaryLocation W15673548361 @default.
- W1567354836 hasRelatedWork W1968997278 @default.
- W1567354836 hasRelatedWork W1973499483 @default.
- W1567354836 hasRelatedWork W1997904668 @default.
- W1567354836 hasRelatedWork W2028117109 @default.
- W1567354836 hasRelatedWork W2037478411 @default.
- W1567354836 hasRelatedWork W2109155166 @default.
- W1567354836 hasRelatedWork W2130249799 @default.
- W1567354836 hasRelatedWork W2395198509 @default.
- W1567354836 hasRelatedWork W2500444528 @default.
- W1567354836 hasRelatedWork W2546876082 @default.
- W1567354836 hasRelatedWork W2590190120 @default.
- W1567354836 hasRelatedWork W2792129212 @default.
- W1567354836 hasRelatedWork W2798019336 @default.
- W1567354836 hasRelatedWork W2944695206 @default.
- W1567354836 hasRelatedWork W3108487967 @default.
- W1567354836 hasRelatedWork W3122299768 @default.
- W1567354836 hasRelatedWork W3174223846 @default.
- W1567354836 hasRelatedWork W81624235 @default.
- W1567354836 hasRelatedWork W1522036931 @default.
- W1567354836 hasRelatedWork W2509619858 @default.
- W1567354836 isParatext "false" @default.
- W1567354836 isRetracted "false" @default.
- W1567354836 magId "1567354836" @default.
- W1567354836 workType "report" @default.