Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384919988> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W4384919988 abstract "There exist several results on deciding termination and computing runtime bounds for triangular weakly non-linear loops (twn-loops). We show how to use results on such subclasses of programs where complexity bounds are computable within incomplete approaches for complexity analysis of full integer programs. To this end, we present a novel modular approach which computes local runtime bounds for subprograms which can be transformed into twn-loops. These local runtime bounds are then lifted to global runtime bounds for the whole program. The power of our approach is shown by our implementation in the tool KoAT which analyzes complexity of programs where all other state-of-the-art tools fail." @default.
- W4384919988 created "2023-07-21" @default.
- W4384919988 creator A5025232172 @default.
- W4384919988 creator A5026294422 @default.
- W4384919988 creator A5030571586 @default.
- W4384919988 date "2023-07-19" @default.
- W4384919988 modified "2023-09-24" @default.
- W4384919988 title "Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version)" @default.
- W4384919988 doi "https://doi.org/10.48550/arxiv.2307.10061" @default.
- W4384919988 hasPublicationYear "2023" @default.
- W4384919988 type Work @default.
- W4384919988 citedByCount "0" @default.
- W4384919988 crossrefType "posted-content" @default.
- W4384919988 hasAuthorship W4384919988A5025232172 @default.
- W4384919988 hasAuthorship W4384919988A5026294422 @default.
- W4384919988 hasAuthorship W4384919988A5030571586 @default.
- W4384919988 hasBestOaLocation W43849199881 @default.
- W4384919988 hasConcept C101468663 @default.
- W4384919988 hasConcept C11413529 @default.
- W4384919988 hasConcept C118615104 @default.
- W4384919988 hasConcept C199360897 @default.
- W4384919988 hasConcept C311688 @default.
- W4384919988 hasConcept C33923547 @default.
- W4384919988 hasConcept C41008148 @default.
- W4384919988 hasConcept C48103436 @default.
- W4384919988 hasConcept C80444323 @default.
- W4384919988 hasConcept C97137487 @default.
- W4384919988 hasConceptScore W4384919988C101468663 @default.
- W4384919988 hasConceptScore W4384919988C11413529 @default.
- W4384919988 hasConceptScore W4384919988C118615104 @default.
- W4384919988 hasConceptScore W4384919988C199360897 @default.
- W4384919988 hasConceptScore W4384919988C311688 @default.
- W4384919988 hasConceptScore W4384919988C33923547 @default.
- W4384919988 hasConceptScore W4384919988C41008148 @default.
- W4384919988 hasConceptScore W4384919988C48103436 @default.
- W4384919988 hasConceptScore W4384919988C80444323 @default.
- W4384919988 hasConceptScore W4384919988C97137487 @default.
- W4384919988 hasLocation W43849199881 @default.
- W4384919988 hasOpenAccess W4384919988 @default.
- W4384919988 hasPrimaryLocation W43849199881 @default.
- W4384919988 hasRelatedWork W1484072583 @default.
- W4384919988 hasRelatedWork W2003926749 @default.
- W4384919988 hasRelatedWork W2016610770 @default.
- W4384919988 hasRelatedWork W2034593573 @default.
- W4384919988 hasRelatedWork W2103685064 @default.
- W4384919988 hasRelatedWork W2164501604 @default.
- W4384919988 hasRelatedWork W2249555597 @default.
- W4384919988 hasRelatedWork W2275744826 @default.
- W4384919988 hasRelatedWork W3161036109 @default.
- W4384919988 hasRelatedWork W2181457943 @default.
- W4384919988 isParatext "false" @default.
- W4384919988 isRetracted "false" @default.
- W4384919988 workType "article" @default.