Matches in SemOpenAlex for { <https://semopenalex.org/work/W2062182603> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2062182603 endingPage "114" @default.
- W2062182603 startingPage "101" @default.
- W2062182603 abstract "Acceleration methods are commonly used for computing precisely the effects of loops in the reachability analysis of counter machine models. Applying these methods on synchronous data-flow programs with Boolean and numerical variables, e.g. Lustre programs, firstly requires the enumeration of the Boolean states in order to obtain a control graph with numerical variables only. Secondly, acceleration methods have to deal with the non-determinism introduced by numerical input variables. In this article we address the latter problem by extending the concept of abstract acceleration of Gonnord et al. to numerical input variables." @default.
- W2062182603 created "2016-06-24" @default.
- W2062182603 creator A5013334876 @default.
- W2062182603 creator A5066022930 @default.
- W2062182603 date "2010-10-01" @default.
- W2062182603 modified "2023-09-23" @default.
- W2062182603 title "Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs" @default.
- W2062182603 cites W1502028089 @default.
- W2062182603 cites W1580450019 @default.
- W2062182603 cites W1731318210 @default.
- W2062182603 cites W1995969393 @default.
- W2062182603 cites W2043100293 @default.
- W2062182603 cites W2053229198 @default.
- W2062182603 cites W2081810835 @default.
- W2062182603 cites W2084555692 @default.
- W2062182603 cites W2132661148 @default.
- W2062182603 doi "https://doi.org/10.1016/j.entcs.2010.09.009" @default.
- W2062182603 hasPublicationYear "2010" @default.
- W2062182603 type Work @default.
- W2062182603 sameAs 2062182603 @default.
- W2062182603 citedByCount "7" @default.
- W2062182603 countsByYear W20621826032012 @default.
- W2062182603 countsByYear W20621826032013 @default.
- W2062182603 countsByYear W20621826032015 @default.
- W2062182603 crossrefType "journal-article" @default.
- W2062182603 hasAuthorship W2062182603A5013334876 @default.
- W2062182603 hasAuthorship W2062182603A5066022930 @default.
- W2062182603 hasBestOaLocation W20621826031 @default.
- W2062182603 hasConcept C11413529 @default.
- W2062182603 hasConcept C117896860 @default.
- W2062182603 hasConcept C121332964 @default.
- W2062182603 hasConcept C132525143 @default.
- W2062182603 hasConcept C134306372 @default.
- W2062182603 hasConcept C136643341 @default.
- W2062182603 hasConcept C27458966 @default.
- W2062182603 hasConcept C28826006 @default.
- W2062182603 hasConcept C33923547 @default.
- W2062182603 hasConcept C41008148 @default.
- W2062182603 hasConcept C48753275 @default.
- W2062182603 hasConcept C74650414 @default.
- W2062182603 hasConcept C80444323 @default.
- W2062182603 hasConceptScore W2062182603C11413529 @default.
- W2062182603 hasConceptScore W2062182603C117896860 @default.
- W2062182603 hasConceptScore W2062182603C121332964 @default.
- W2062182603 hasConceptScore W2062182603C132525143 @default.
- W2062182603 hasConceptScore W2062182603C134306372 @default.
- W2062182603 hasConceptScore W2062182603C136643341 @default.
- W2062182603 hasConceptScore W2062182603C27458966 @default.
- W2062182603 hasConceptScore W2062182603C28826006 @default.
- W2062182603 hasConceptScore W2062182603C33923547 @default.
- W2062182603 hasConceptScore W2062182603C41008148 @default.
- W2062182603 hasConceptScore W2062182603C48753275 @default.
- W2062182603 hasConceptScore W2062182603C74650414 @default.
- W2062182603 hasConceptScore W2062182603C80444323 @default.
- W2062182603 hasIssue "1" @default.
- W2062182603 hasLocation W20621826031 @default.
- W2062182603 hasLocation W20621826032 @default.
- W2062182603 hasLocation W20621826033 @default.
- W2062182603 hasLocation W20621826034 @default.
- W2062182603 hasOpenAccess W2062182603 @default.
- W2062182603 hasPrimaryLocation W20621826031 @default.
- W2062182603 hasRelatedWork W1482993605 @default.
- W2062182603 hasRelatedWork W2061523528 @default.
- W2062182603 hasRelatedWork W2062182603 @default.
- W2062182603 hasRelatedWork W2147848106 @default.
- W2062182603 hasRelatedWork W2368796975 @default.
- W2062182603 hasRelatedWork W2786605369 @default.
- W2062182603 hasRelatedWork W2965198885 @default.
- W2062182603 hasRelatedWork W3006118393 @default.
- W2062182603 hasRelatedWork W3026940864 @default.
- W2062182603 hasRelatedWork W381935118 @default.
- W2062182603 hasVolume "267" @default.
- W2062182603 isParatext "false" @default.
- W2062182603 isRetracted "false" @default.
- W2062182603 magId "2062182603" @default.
- W2062182603 workType "article" @default.