Matches in SemOpenAlex for { <https://semopenalex.org/work/W2128158274> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2128158274 endingPage "488" @default.
- W2128158274 startingPage "477" @default.
- W2128158274 abstract "Smart play-out is a method for executing declarative scenario-based specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping to avoid violations that may be caused by naïve execution. Major challenges for smart play-out are performance and scalability. In this work we show how to accelerate smart play-out by adapting and applying ideas inspired by formal verification and compiler optimization. Specifically, we present an algorithm that can reduce the size of the specification considered for smart play-out, while maintaining soundness and completeness. Experimental results show significant performance improvements and thus open the way to the application of smart play-out to large scenario-based programs." @default.
- W2128158274 created "2016-06-24" @default.
- W2128158274 creator A5009333472 @default.
- W2128158274 creator A5024052024 @default.
- W2128158274 creator A5039882400 @default.
- W2128158274 creator A5088778612 @default.
- W2128158274 date "2010-01-01" @default.
- W2128158274 modified "2023-09-24" @default.
- W2128158274 title "Accelerating Smart Play-Out" @default.
- W2128158274 cites W1483406120 @default.
- W2128158274 cites W1518558009 @default.
- W2128158274 cites W1592055490 @default.
- W2128158274 cites W1841537653 @default.
- W2128158274 cites W1992681819 @default.
- W2128158274 cites W2001968968 @default.
- W2128158274 cites W2024205760 @default.
- W2128158274 cites W2128158274 @default.
- W2128158274 cites W2144807091 @default.
- W2128158274 cites W2164440547 @default.
- W2128158274 cites W2481726056 @default.
- W2128158274 cites W4242680074 @default.
- W2128158274 doi "https://doi.org/10.1007/978-3-642-11266-9_40" @default.
- W2128158274 hasPublicationYear "2010" @default.
- W2128158274 type Work @default.
- W2128158274 sameAs 2128158274 @default.
- W2128158274 citedByCount "3" @default.
- W2128158274 countsByYear W21281582742018 @default.
- W2128158274 crossrefType "book-chapter" @default.
- W2128158274 hasAuthorship W2128158274A5009333472 @default.
- W2128158274 hasAuthorship W2128158274A5024052024 @default.
- W2128158274 hasAuthorship W2128158274A5039882400 @default.
- W2128158274 hasAuthorship W2128158274A5088778612 @default.
- W2128158274 hasBestOaLocation W21281582742 @default.
- W2128158274 hasConcept C111919701 @default.
- W2128158274 hasConcept C115903868 @default.
- W2128158274 hasConcept C120314980 @default.
- W2128158274 hasConcept C134306372 @default.
- W2128158274 hasConcept C149635348 @default.
- W2128158274 hasConcept C169590947 @default.
- W2128158274 hasConcept C17231256 @default.
- W2128158274 hasConcept C199360897 @default.
- W2128158274 hasConcept C33923547 @default.
- W2128158274 hasConcept C39920170 @default.
- W2128158274 hasConcept C41008148 @default.
- W2128158274 hasConcept C45374587 @default.
- W2128158274 hasConcept C48044578 @default.
- W2128158274 hasConceptScore W2128158274C111919701 @default.
- W2128158274 hasConceptScore W2128158274C115903868 @default.
- W2128158274 hasConceptScore W2128158274C120314980 @default.
- W2128158274 hasConceptScore W2128158274C134306372 @default.
- W2128158274 hasConceptScore W2128158274C149635348 @default.
- W2128158274 hasConceptScore W2128158274C169590947 @default.
- W2128158274 hasConceptScore W2128158274C17231256 @default.
- W2128158274 hasConceptScore W2128158274C199360897 @default.
- W2128158274 hasConceptScore W2128158274C33923547 @default.
- W2128158274 hasConceptScore W2128158274C39920170 @default.
- W2128158274 hasConceptScore W2128158274C41008148 @default.
- W2128158274 hasConceptScore W2128158274C45374587 @default.
- W2128158274 hasConceptScore W2128158274C48044578 @default.
- W2128158274 hasLocation W21281582741 @default.
- W2128158274 hasLocation W21281582742 @default.
- W2128158274 hasOpenAccess W2128158274 @default.
- W2128158274 hasPrimaryLocation W21281582741 @default.
- W2128158274 hasRelatedWork W109180904 @default.
- W2128158274 hasRelatedWork W1188080205 @default.
- W2128158274 hasRelatedWork W1497385637 @default.
- W2128158274 hasRelatedWork W1527862632 @default.
- W2128158274 hasRelatedWork W1608659702 @default.
- W2128158274 hasRelatedWork W1977285665 @default.
- W2128158274 hasRelatedWork W2007728761 @default.
- W2128158274 hasRelatedWork W2192862863 @default.
- W2128158274 hasRelatedWork W2369288331 @default.
- W2128158274 hasRelatedWork W2740990710 @default.
- W2128158274 isParatext "false" @default.
- W2128158274 isRetracted "false" @default.
- W2128158274 magId "2128158274" @default.
- W2128158274 workType "book-chapter" @default.