Matches in SemOpenAlex for { <https://semopenalex.org/work/W2962765334> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2962765334 endingPage "223" @default.
- W2962765334 startingPage "167" @default.
- W2962765334 abstract "Abstract Many applications require conformance with specifications that constrain the use of resources, such as execution time, energy, bandwidth, etc. We present a configurable framework for static resource usage verification where specifications can include data size-dependent resource usage functions, expressing both lower and upper bounds. Ensuring conformance with respect to such specifications is an undecidable problem. Therefore, 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 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 intended to hold, proved, or disproved. Most importantly, we also extend the classes of functions that can be checked. We also report on and provide results from an implementation within the Ciao/CiaoPP framework, as well as on a practical tool built by instantiating this framework for the verification of energy consumption specifications for imperative/embedded programs. Finally, we show as an example how embedded software developers can use this tool, in particular, for determining values for program parameters that ensure meeting a given energy budget while minimizing the loss in quality of service." @default.
- W2962765334 created "2019-07-30" @default.
- W2962765334 creator A5030520172 @default.
- W2962765334 creator A5039662970 @default.
- W2962765334 creator A5068998348 @default.
- W2962765334 creator A5073531919 @default.
- W2962765334 creator A5075865573 @default.
- W2962765334 creator A5084564638 @default.
- W2962765334 date "2018-03-01" @default.
- W2962765334 modified "2023-10-16" @default.
- W2962765334 title "Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption" @default.
- W2962765334 cites W1480909796 @default.
- W2962765334 cites W1508161107 @default.
- W2962765334 cites W1532795106 @default.
- W2962765334 cites W1533556407 @default.
- W2962765334 cites W1579073395 @default.
- W2962765334 cites W1657354101 @default.
- W2962765334 cites W1753357466 @default.
- W2962765334 cites W1965377774 @default.
- W2962765334 cites W1975943297 @default.
- W2962765334 cites W2004264692 @default.
- W2962765334 cites W2012069736 @default.
- W2962765334 cites W2030082381 @default.
- W2962765334 cites W2043100293 @default.
- W2962765334 cites W2053700189 @default.
- W2962765334 cites W2063019130 @default.
- W2962765334 cites W2116325485 @default.
- W2962765334 cites W2142044962 @default.
- W2962765334 cites W2153036969 @default.
- W2962765334 cites W2486022212 @default.
- W2962765334 cites W2520653324 @default.
- W2962765334 cites W2950540698 @default.
- W2962765334 cites W4210650974 @default.
- W2962765334 cites W4246166885 @default.
- W2962765334 doi "https://doi.org/10.1017/s1471068418000042" @default.
- W2962765334 hasPublicationYear "2018" @default.
- W2962765334 type Work @default.
- W2962765334 sameAs 2962765334 @default.
- W2962765334 citedByCount "19" @default.
- W2962765334 countsByYear W29627653342019 @default.
- W2962765334 countsByYear W29627653342020 @default.
- W2962765334 countsByYear W29627653342021 @default.
- W2962765334 countsByYear W29627653342022 @default.
- W2962765334 countsByYear W29627653342023 @default.
- W2962765334 crossrefType "journal-article" @default.
- W2962765334 hasAuthorship W2962765334A5030520172 @default.
- W2962765334 hasAuthorship W2962765334A5039662970 @default.
- W2962765334 hasAuthorship W2962765334A5068998348 @default.
- W2962765334 hasAuthorship W2962765334A5073531919 @default.
- W2962765334 hasAuthorship W2962765334A5075865573 @default.
- W2962765334 hasAuthorship W2962765334A5084564638 @default.
- W2962765334 hasBestOaLocation W29627653342 @default.
- W2962765334 hasConcept C18903297 @default.
- W2962765334 hasConcept C199360897 @default.
- W2962765334 hasConcept C206345919 @default.
- W2962765334 hasConcept C2780165032 @default.
- W2962765334 hasConcept C31258907 @default.
- W2962765334 hasConcept C41008148 @default.
- W2962765334 hasConcept C86803240 @default.
- W2962765334 hasConceptScore W2962765334C18903297 @default.
- W2962765334 hasConceptScore W2962765334C199360897 @default.
- W2962765334 hasConceptScore W2962765334C206345919 @default.
- W2962765334 hasConceptScore W2962765334C2780165032 @default.
- W2962765334 hasConceptScore W2962765334C31258907 @default.
- W2962765334 hasConceptScore W2962765334C41008148 @default.
- W2962765334 hasConceptScore W2962765334C86803240 @default.
- W2962765334 hasIssue "2" @default.
- W2962765334 hasLocation W29627653341 @default.
- W2962765334 hasLocation W29627653342 @default.
- W2962765334 hasLocation W29627653343 @default.
- W2962765334 hasOpenAccess W2962765334 @default.
- W2962765334 hasPrimaryLocation W29627653341 @default.
- W2962765334 hasRelatedWork W2104078272 @default.
- W2962765334 hasRelatedWork W2112962394 @default.
- W2962765334 hasRelatedWork W2118300983 @default.
- W2962765334 hasRelatedWork W2166247150 @default.
- W2962765334 hasRelatedWork W2382501300 @default.
- W2962765334 hasRelatedWork W3137189469 @default.
- W2962765334 hasRelatedWork W3162240892 @default.
- W2962765334 hasRelatedWork W4235530921 @default.
- W2962765334 hasRelatedWork W4243252198 @default.
- W2962765334 hasRelatedWork W4245713008 @default.
- W2962765334 hasVolume "18" @default.
- W2962765334 isParatext "false" @default.
- W2962765334 isRetracted "false" @default.
- W2962765334 magId "2962765334" @default.
- W2962765334 workType "article" @default.