Matches in SemOpenAlex for { <https://semopenalex.org/work/W1983134029> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1983134029 abstract "This work presents a technique to compute symbolic polynomial approximations of the amount of dynamic memory required to safely execute a method without running out of memory, for Javalike imperative programs. We consider object allocations and deallocations made by the method and the methods it transitively calls. More precisely, given an initial configuration of the stack and the heap, the peak memory consumption is the maximum space occupied by newly created objects in all states along a run from it. We over-approximate the peak memory consumption using a scopedmemory management where objects are organized in regions associated with the lifetime of methods. We model the problem of computing the maximum memory occupied by any region configuration as a parametric polynomial optimization problem over a polyhedral domain and resort to Bernstein basis to solve it. We apply the developed tool to several benchmarks." @default.
- W1983134029 created "2016-06-24" @default.
- W1983134029 creator A5005812046 @default.
- W1983134029 creator A5025693758 @default.
- W1983134029 creator A5047743678 @default.
- W1983134029 creator A5051617745 @default.
- W1983134029 date "2008-06-07" @default.
- W1983134029 modified "2023-09-23" @default.
- W1983134029 title "Parametric prediction of heap memory requirements" @default.
- W1983134029 cites W1544023751 @default.
- W1983134029 cites W1588092673 @default.
- W1983134029 cites W1762311305 @default.
- W1983134029 cites W1997712902 @default.
- W1983134029 cites W1999232024 @default.
- W1983134029 cites W2035974062 @default.
- W1983134029 cites W2058898825 @default.
- W1983134029 cites W2068055184 @default.
- W1983134029 cites W2087466192 @default.
- W1983134029 cites W2087875803 @default.
- W1983134029 cites W2097849646 @default.
- W1983134029 cites W2110908283 @default.
- W1983134029 cites W2119688369 @default.
- W1983134029 cites W2121733731 @default.
- W1983134029 cites W2126415451 @default.
- W1983134029 cites W2127184104 @default.
- W1983134029 cites W2135909143 @default.
- W1983134029 cites W2142838609 @default.
- W1983134029 cites W2167261525 @default.
- W1983134029 cites W2171496589 @default.
- W1983134029 cites W3005880032 @default.
- W1983134029 cites W3197271110 @default.
- W1983134029 doi "https://doi.org/10.1145/1375634.1375655" @default.
- W1983134029 hasPublicationYear "2008" @default.
- W1983134029 type Work @default.
- W1983134029 sameAs 1983134029 @default.
- W1983134029 citedByCount "62" @default.
- W1983134029 countsByYear W19831340292012 @default.
- W1983134029 countsByYear W19831340292013 @default.
- W1983134029 countsByYear W19831340292014 @default.
- W1983134029 countsByYear W19831340292015 @default.
- W1983134029 countsByYear W19831340292016 @default.
- W1983134029 countsByYear W19831340292018 @default.
- W1983134029 countsByYear W19831340292019 @default.
- W1983134029 countsByYear W19831340292020 @default.
- W1983134029 countsByYear W19831340292022 @default.
- W1983134029 countsByYear W19831340292023 @default.
- W1983134029 crossrefType "proceedings-article" @default.
- W1983134029 hasAuthorship W1983134029A5005812046 @default.
- W1983134029 hasAuthorship W1983134029A5025693758 @default.
- W1983134029 hasAuthorship W1983134029A5047743678 @default.
- W1983134029 hasAuthorship W1983134029A5051617745 @default.
- W1983134029 hasConcept C105795698 @default.
- W1983134029 hasConcept C11413529 @default.
- W1983134029 hasConcept C117251300 @default.
- W1983134029 hasConcept C12186640 @default.
- W1983134029 hasConcept C133875982 @default.
- W1983134029 hasConcept C134757568 @default.
- W1983134029 hasConcept C136085584 @default.
- W1983134029 hasConcept C173608175 @default.
- W1983134029 hasConcept C176649486 @default.
- W1983134029 hasConcept C199360897 @default.
- W1983134029 hasConcept C33923547 @default.
- W1983134029 hasConcept C41008148 @default.
- W1983134029 hasConcept C80444323 @default.
- W1983134029 hasConceptScore W1983134029C105795698 @default.
- W1983134029 hasConceptScore W1983134029C11413529 @default.
- W1983134029 hasConceptScore W1983134029C117251300 @default.
- W1983134029 hasConceptScore W1983134029C12186640 @default.
- W1983134029 hasConceptScore W1983134029C133875982 @default.
- W1983134029 hasConceptScore W1983134029C134757568 @default.
- W1983134029 hasConceptScore W1983134029C136085584 @default.
- W1983134029 hasConceptScore W1983134029C173608175 @default.
- W1983134029 hasConceptScore W1983134029C176649486 @default.
- W1983134029 hasConceptScore W1983134029C199360897 @default.
- W1983134029 hasConceptScore W1983134029C33923547 @default.
- W1983134029 hasConceptScore W1983134029C41008148 @default.
- W1983134029 hasConceptScore W1983134029C80444323 @default.
- W1983134029 hasLocation W19831340291 @default.
- W1983134029 hasLocation W19831340292 @default.
- W1983134029 hasLocation W19831340293 @default.
- W1983134029 hasOpenAccess W1983134029 @default.
- W1983134029 hasPrimaryLocation W19831340291 @default.
- W1983134029 hasRelatedWork W1839004754 @default.
- W1983134029 hasRelatedWork W2019373956 @default.
- W1983134029 hasRelatedWork W2117014006 @default.
- W1983134029 hasRelatedWork W2171734863 @default.
- W1983134029 hasRelatedWork W2352866160 @default.
- W1983134029 hasRelatedWork W2372170743 @default.
- W1983134029 hasRelatedWork W3009635326 @default.
- W1983134029 hasRelatedWork W3027386293 @default.
- W1983134029 hasRelatedWork W4233815414 @default.
- W1983134029 hasRelatedWork W4245302940 @default.
- W1983134029 isParatext "false" @default.
- W1983134029 isRetracted "false" @default.
- W1983134029 magId "1983134029" @default.
- W1983134029 workType "article" @default.