Matches in SemOpenAlex for { <https://semopenalex.org/work/W2171211501> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2171211501 abstract "Discrete-event systems (DES) theory has been successfully applied to the problem of enforcing concurrency constraints in multi-threaded applications, with concomitant guarantees regarding aggregate behaviour. Existing approaches applying DES to multi-threaded code focus on control of pre-existing, statically instantiated threads, whose creation and termination are not modelled. An extension of this case to handle dynamically instantiated and terminated threads is proposed, which makes use of elements of dynamic DES theory to model threads whose lifetimes can be arbitrary. Process and principles are outlined, and a prototype provided." @default.
- W2171211501 created "2016-06-24" @default.
- W2171211501 creator A5035890585 @default.
- W2171211501 creator A5072274322 @default.
- W2171211501 creator A5075103075 @default.
- W2171211501 date "2009-09-01" @default.
- W2171211501 modified "2023-09-24" @default.
- W2171211501 title "Concurrency control generation for dynamic threads using Discrete-Event Systems" @default.
- W2171211501 cites W1605914607 @default.
- W2171211501 cites W2011012624 @default.
- W2171211501 cites W2044951665 @default.
- W2171211501 cites W2048355938 @default.
- W2171211501 cites W2049764332 @default.
- W2171211501 cites W2070623752 @default.
- W2171211501 cites W2094928679 @default.
- W2171211501 cites W2104367108 @default.
- W2171211501 cites W2127060337 @default.
- W2171211501 doi "https://doi.org/10.1109/allerton.2009.5394896" @default.
- W2171211501 hasPublicationYear "2009" @default.
- W2171211501 type Work @default.
- W2171211501 sameAs 2171211501 @default.
- W2171211501 citedByCount "15" @default.
- W2171211501 countsByYear W21712115012012 @default.
- W2171211501 countsByYear W21712115012013 @default.
- W2171211501 countsByYear W21712115012014 @default.
- W2171211501 countsByYear W21712115012017 @default.
- W2171211501 countsByYear W21712115012018 @default.
- W2171211501 crossrefType "proceedings-article" @default.
- W2171211501 hasAuthorship W2171211501A5035890585 @default.
- W2171211501 hasAuthorship W2171211501A5072274322 @default.
- W2171211501 hasAuthorship W2171211501A5075103075 @default.
- W2171211501 hasConcept C120314980 @default.
- W2171211501 hasConcept C120665830 @default.
- W2171211501 hasConcept C121332964 @default.
- W2171211501 hasConcept C138101251 @default.
- W2171211501 hasConcept C150762246 @default.
- W2171211501 hasConcept C173608175 @default.
- W2171211501 hasConcept C192209626 @default.
- W2171211501 hasConcept C193702766 @default.
- W2171211501 hasConcept C199360897 @default.
- W2171211501 hasConcept C201410400 @default.
- W2171211501 hasConcept C2779662365 @default.
- W2171211501 hasConcept C34165917 @default.
- W2171211501 hasConcept C3701939 @default.
- W2171211501 hasConcept C41008148 @default.
- W2171211501 hasConcept C50033165 @default.
- W2171211501 hasConcept C62520636 @default.
- W2171211501 hasConcept C75949130 @default.
- W2171211501 hasConcept C84511453 @default.
- W2171211501 hasConceptScore W2171211501C120314980 @default.
- W2171211501 hasConceptScore W2171211501C120665830 @default.
- W2171211501 hasConceptScore W2171211501C121332964 @default.
- W2171211501 hasConceptScore W2171211501C138101251 @default.
- W2171211501 hasConceptScore W2171211501C150762246 @default.
- W2171211501 hasConceptScore W2171211501C173608175 @default.
- W2171211501 hasConceptScore W2171211501C192209626 @default.
- W2171211501 hasConceptScore W2171211501C193702766 @default.
- W2171211501 hasConceptScore W2171211501C199360897 @default.
- W2171211501 hasConceptScore W2171211501C201410400 @default.
- W2171211501 hasConceptScore W2171211501C2779662365 @default.
- W2171211501 hasConceptScore W2171211501C34165917 @default.
- W2171211501 hasConceptScore W2171211501C3701939 @default.
- W2171211501 hasConceptScore W2171211501C41008148 @default.
- W2171211501 hasConceptScore W2171211501C50033165 @default.
- W2171211501 hasConceptScore W2171211501C62520636 @default.
- W2171211501 hasConceptScore W2171211501C75949130 @default.
- W2171211501 hasConceptScore W2171211501C84511453 @default.
- W2171211501 hasLocation W21712115011 @default.
- W2171211501 hasOpenAccess W2171211501 @default.
- W2171211501 hasPrimaryLocation W21712115011 @default.
- W2171211501 hasRelatedWork W1496744108 @default.
- W2171211501 hasRelatedWork W1567437828 @default.
- W2171211501 hasRelatedWork W1739770529 @default.
- W2171211501 hasRelatedWork W1760404489 @default.
- W2171211501 hasRelatedWork W1982011377 @default.
- W2171211501 hasRelatedWork W2140426285 @default.
- W2171211501 hasRelatedWork W2624440775 @default.
- W2171211501 hasRelatedWork W4232891356 @default.
- W2171211501 hasRelatedWork W4233783224 @default.
- W2171211501 hasRelatedWork W2181833380 @default.
- W2171211501 isParatext "false" @default.
- W2171211501 isRetracted "false" @default.
- W2171211501 magId "2171211501" @default.
- W2171211501 workType "article" @default.