Matches in SemOpenAlex for { <https://semopenalex.org/work/W2791777217> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2791777217 abstract "Many applications require conformance with specifications that constrain the use of resources, such as execution time, energy, bandwidth, etc. We have presented a configurable framework for static resource usage verification where specifications can include lower and upper bound, data size-dependent resource usage functions. To statically check such specifications, our framework infers the same type of resource usage functions, which safely approximate the actual resource usage of the program, and compares them against the specification. We review how this framework supports several languages and compilation output formats by translating them to an intermediate representation based on Horn clauses and using the configurability of the framework to describe the resource semantics of the input language. We provide a more detailed formalization and extend the framework so that both resource usage specification and analysis/verification output can include preconditions expressing intervals for the input data sizes for which assertions are applicable, proved, or disproved. Most importantly, we also extend the classes of functions that can be checked. We provide results from an implementation within the Ciao/CiaoPP framework, and report on a tool built by instantiating this framework for the verification of energy consumption specifications for imperative/embedded programs. This paper is under consideration for publication in Theory and Practice of Logic Programming (TPLP)." @default.
- W2791777217 created "2018-03-29" @default.
- W2791777217 creator A5030520172 @default.
- W2791777217 creator A5039662970 @default.
- W2791777217 creator A5068998348 @default.
- W2791777217 creator A5073531919 @default.
- W2791777217 creator A5075865573 @default.
- W2791777217 creator A5084564638 @default.
- W2791777217 date "2018-03-12" @default.
- W2791777217 modified "2023-10-16" @default.
- W2791777217 title "Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption" @default.
- W2791777217 cites W1485320411 @default.
- W2791777217 cites W1579073395 @default.
- W2791777217 cites W159226319 @default.
- W2791777217 cites W1596917824 @default.
- W2791777217 cites W1617855441 @default.
- W2791777217 cites W162377950 @default.
- W2791777217 cites W1657354101 @default.
- W2791777217 cites W1975943297 @default.
- W2791777217 cites W2012069736 @default.
- W2791777217 cites W2030082381 @default.
- W2791777217 cites W2043100293 @default.
- W2791777217 cites W2053700189 @default.
- W2791777217 cites W2116325485 @default.
- W2791777217 cites W2126887896 @default.
- W2791777217 cites W2142044962 @default.
- W2791777217 cites W2153185479 @default.
- W2791777217 cites W2165069483 @default.
- W2791777217 cites W2178564501 @default.
- W2791777217 cites W2210665931 @default.
- W2791777217 cites W2394611921 @default.
- W2791777217 cites W2486022212 @default.
- W2791777217 hasPublicationYear "2018" @default.
- W2791777217 type Work @default.
- W2791777217 sameAs 2791777217 @default.
- W2791777217 citedByCount "3" @default.
- W2791777217 countsByYear W27917772172019 @default.
- W2791777217 countsByYear W27917772172020 @default.
- W2791777217 countsByYear W27917772172021 @default.
- W2791777217 crossrefType "posted-content" @default.
- W2791777217 hasAuthorship W2791777217A5030520172 @default.
- W2791777217 hasAuthorship W2791777217A5039662970 @default.
- W2791777217 hasAuthorship W2791777217A5068998348 @default.
- W2791777217 hasAuthorship W2791777217A5073531919 @default.
- W2791777217 hasAuthorship W2791777217A5075865573 @default.
- W2791777217 hasAuthorship W2791777217A5084564638 @default.
- W2791777217 hasConcept C184337299 @default.
- W2791777217 hasConcept C189790780 @default.
- W2791777217 hasConcept C199360897 @default.
- W2791777217 hasConcept C206345919 @default.
- W2791777217 hasConcept C31258907 @default.
- W2791777217 hasConcept C41008148 @default.
- W2791777217 hasConcept C81721847 @default.
- W2791777217 hasConceptScore W2791777217C184337299 @default.
- W2791777217 hasConceptScore W2791777217C189790780 @default.
- W2791777217 hasConceptScore W2791777217C199360897 @default.
- W2791777217 hasConceptScore W2791777217C206345919 @default.
- W2791777217 hasConceptScore W2791777217C31258907 @default.
- W2791777217 hasConceptScore W2791777217C41008148 @default.
- W2791777217 hasConceptScore W2791777217C81721847 @default.
- W2791777217 hasLocation W27917772171 @default.
- W2791777217 hasOpenAccess W2791777217 @default.
- W2791777217 hasPrimaryLocation W27917772171 @default.
- W2791777217 hasRelatedWork W1195701417 @default.
- W2791777217 hasRelatedWork W121890175 @default.
- W2791777217 hasRelatedWork W1490345466 @default.
- W2791777217 hasRelatedWork W1594497204 @default.
- W2791777217 hasRelatedWork W1842674863 @default.
- W2791777217 hasRelatedWork W2032234927 @default.
- W2791777217 hasRelatedWork W205402838 @default.
- W2791777217 hasRelatedWork W2122539144 @default.
- W2791777217 hasRelatedWork W2153275513 @default.
- W2791777217 hasRelatedWork W2225969887 @default.
- W2791777217 hasRelatedWork W2495922928 @default.
- W2791777217 hasRelatedWork W2550970678 @default.
- W2791777217 hasRelatedWork W2561826341 @default.
- W2791777217 hasRelatedWork W2766736686 @default.
- W2791777217 hasRelatedWork W2949252017 @default.
- W2791777217 hasRelatedWork W2962765334 @default.
- W2791777217 hasRelatedWork W309207494 @default.
- W2791777217 hasRelatedWork W3151996373 @default.
- W2791777217 hasRelatedWork W54422040 @default.
- W2791777217 hasRelatedWork W2084544691 @default.
- W2791777217 isParatext "false" @default.
- W2791777217 isRetracted "false" @default.
- W2791777217 magId "2791777217" @default.
- W2791777217 workType "article" @default.