Matches in SemOpenAlex for { <https://semopenalex.org/work/W654531109> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W654531109 abstract "We present the key notion of asymptotically non-terminant initial variable values for non-terminant loop programs. We show that those specific values are directly associated to inital variable values for which the loop program does not terminate. Considering linear diagonalizable programs, we describe powerful computational methods that generate automatically and symbolically a semi-linear space represented by a linear system of equalities and inequalities. Each element of this space provides us with asymptotically non-terminant initial variable values. Our approach is based on linear algebraic methods and results. We obtain conditions using a decomposition on a specific basis, involving the loop condition and the matrix encoding the instructions of the loop." @default.
- W654531109 created "2016-06-24" @default.
- W654531109 creator A5048997915 @default.
- W654531109 creator A5059665622 @default.
- W654531109 creator A5073679818 @default.
- W654531109 date "2018-01-23" @default.
- W654531109 modified "2023-10-03" @default.
- W654531109 title "Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs." @default.
- W654531109 cites W1505135855 @default.
- W654531109 cites W1530375435 @default.
- W654531109 cites W1541144457 @default.
- W654531109 cites W1561261246 @default.
- W654531109 cites W1575647584 @default.
- W654531109 cites W1579433101 @default.
- W654531109 cites W1593428110 @default.
- W654531109 cites W1593745409 @default.
- W654531109 cites W1608799719 @default.
- W654531109 cites W1695437353 @default.
- W654531109 cites W2012816689 @default.
- W654531109 cites W2039525895 @default.
- W654531109 cites W2081810835 @default.
- W654531109 cites W2110820023 @default.
- W654531109 cites W2121365859 @default.
- W654531109 cites W2124909257 @default.
- W654531109 cites W2340735175 @default.
- W654531109 cites W2913459036 @default.
- W654531109 cites W3148387491 @default.
- W654531109 doi "https://doi.org/10.29007/dq11" @default.
- W654531109 hasPublicationYear "2018" @default.
- W654531109 type Work @default.
- W654531109 sameAs 654531109 @default.
- W654531109 citedByCount "3" @default.
- W654531109 countsByYear W6545311092014 @default.
- W654531109 countsByYear W6545311092015 @default.
- W654531109 crossrefType "proceedings-article" @default.
- W654531109 hasAuthorship W654531109A5048997915 @default.
- W654531109 hasAuthorship W654531109A5059665622 @default.
- W654531109 hasAuthorship W654531109A5073679818 @default.
- W654531109 hasBestOaLocation W6545311091 @default.
- W654531109 hasConcept C121332964 @default.
- W654531109 hasConcept C134306372 @default.
- W654531109 hasConcept C136119220 @default.
- W654531109 hasConcept C158693339 @default.
- W654531109 hasConcept C182365436 @default.
- W654531109 hasConcept C202444582 @default.
- W654531109 hasConcept C28826006 @default.
- W654531109 hasConcept C30072841 @default.
- W654531109 hasConcept C33923547 @default.
- W654531109 hasConcept C54848796 @default.
- W654531109 hasConcept C62520636 @default.
- W654531109 hasConcept C9376300 @default.
- W654531109 hasConceptScore W654531109C121332964 @default.
- W654531109 hasConceptScore W654531109C134306372 @default.
- W654531109 hasConceptScore W654531109C136119220 @default.
- W654531109 hasConceptScore W654531109C158693339 @default.
- W654531109 hasConceptScore W654531109C182365436 @default.
- W654531109 hasConceptScore W654531109C202444582 @default.
- W654531109 hasConceptScore W654531109C28826006 @default.
- W654531109 hasConceptScore W654531109C30072841 @default.
- W654531109 hasConceptScore W654531109C33923547 @default.
- W654531109 hasConceptScore W654531109C54848796 @default.
- W654531109 hasConceptScore W654531109C62520636 @default.
- W654531109 hasConceptScore W654531109C9376300 @default.
- W654531109 hasLocation W6545311091 @default.
- W654531109 hasOpenAccess W654531109 @default.
- W654531109 hasPrimaryLocation W6545311091 @default.
- W654531109 hasRelatedWork W2018671907 @default.
- W654531109 hasRelatedWork W2019790099 @default.
- W654531109 hasRelatedWork W2047742505 @default.
- W654531109 hasRelatedWork W2061175295 @default.
- W654531109 hasRelatedWork W2090649758 @default.
- W654531109 hasRelatedWork W2102067092 @default.
- W654531109 hasRelatedWork W2112811681 @default.
- W654531109 hasRelatedWork W2334992469 @default.
- W654531109 hasRelatedWork W2885964212 @default.
- W654531109 hasRelatedWork W3176049953 @default.
- W654531109 isParatext "false" @default.
- W654531109 isRetracted "false" @default.
- W654531109 magId "654531109" @default.
- W654531109 workType "article" @default.