Matches in SemOpenAlex for { <https://semopenalex.org/work/W1997035314> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1997035314 endingPage "356" @default.
- W1997035314 startingPage "339" @default.
- W1997035314 abstract "Embedded system software timing and power consumption or, in general, execution costs are state- and input-data dependent. Therefore, formal analysis of such dependencies leads to execution cost intervals rather than single values. These intervals depend on system concurrency, execution paths and process states, as well as on target architecture properties. This paper presents an approach to modeling and analysis of process behavior using intervals. Unlike other static software analysis approaches, it considers program properties and the execution context, i.e. the current state and input of a process. The example of an ATM switch component demonstrates significant improvements in analysis precision." @default.
- W1997035314 created "2016-06-24" @default.
- W1997035314 creator A5005004968 @default.
- W1997035314 creator A5075507551 @default.
- W1997035314 date "2001-04-01" @default.
- W1997035314 modified "2023-10-17" @default.
- W1997035314 title "Execution cost interval refinement in static software analysis" @default.
- W1997035314 cites W1482836859 @default.
- W1997035314 cites W2120909868 @default.
- W1997035314 cites W2129663297 @default.
- W1997035314 cites W2160578677 @default.
- W1997035314 cites W2162717942 @default.
- W1997035314 cites W2169263481 @default.
- W1997035314 cites W2504509476 @default.
- W1997035314 cites W2532148357 @default.
- W1997035314 cites W3143607145 @default.
- W1997035314 cites W4232117446 @default.
- W1997035314 cites W4247992137 @default.
- W1997035314 doi "https://doi.org/10.1016/s1383-7621(00)00053-9" @default.
- W1997035314 hasPublicationYear "2001" @default.
- W1997035314 type Work @default.
- W1997035314 sameAs 1997035314 @default.
- W1997035314 citedByCount "21" @default.
- W1997035314 crossrefType "journal-article" @default.
- W1997035314 hasAuthorship W1997035314A5005004968 @default.
- W1997035314 hasAuthorship W1997035314A5075507551 @default.
- W1997035314 hasConcept C114614502 @default.
- W1997035314 hasConcept C120314980 @default.
- W1997035314 hasConcept C121332964 @default.
- W1997035314 hasConcept C151730666 @default.
- W1997035314 hasConcept C168167062 @default.
- W1997035314 hasConcept C173608175 @default.
- W1997035314 hasConcept C193702766 @default.
- W1997035314 hasConcept C199360897 @default.
- W1997035314 hasConcept C2777904410 @default.
- W1997035314 hasConcept C2778067643 @default.
- W1997035314 hasConcept C2779343474 @default.
- W1997035314 hasConcept C33923547 @default.
- W1997035314 hasConcept C41008148 @default.
- W1997035314 hasConcept C48103436 @default.
- W1997035314 hasConcept C86803240 @default.
- W1997035314 hasConcept C97355855 @default.
- W1997035314 hasConcept C97686452 @default.
- W1997035314 hasConcept C98045186 @default.
- W1997035314 hasConceptScore W1997035314C114614502 @default.
- W1997035314 hasConceptScore W1997035314C120314980 @default.
- W1997035314 hasConceptScore W1997035314C121332964 @default.
- W1997035314 hasConceptScore W1997035314C151730666 @default.
- W1997035314 hasConceptScore W1997035314C168167062 @default.
- W1997035314 hasConceptScore W1997035314C173608175 @default.
- W1997035314 hasConceptScore W1997035314C193702766 @default.
- W1997035314 hasConceptScore W1997035314C199360897 @default.
- W1997035314 hasConceptScore W1997035314C2777904410 @default.
- W1997035314 hasConceptScore W1997035314C2778067643 @default.
- W1997035314 hasConceptScore W1997035314C2779343474 @default.
- W1997035314 hasConceptScore W1997035314C33923547 @default.
- W1997035314 hasConceptScore W1997035314C41008148 @default.
- W1997035314 hasConceptScore W1997035314C48103436 @default.
- W1997035314 hasConceptScore W1997035314C86803240 @default.
- W1997035314 hasConceptScore W1997035314C97355855 @default.
- W1997035314 hasConceptScore W1997035314C97686452 @default.
- W1997035314 hasConceptScore W1997035314C98045186 @default.
- W1997035314 hasIssue "3-4" @default.
- W1997035314 hasLocation W19970353141 @default.
- W1997035314 hasOpenAccess W1997035314 @default.
- W1997035314 hasPrimaryLocation W19970353141 @default.
- W1997035314 hasRelatedWork W1577309527 @default.
- W1997035314 hasRelatedWork W1995474288 @default.
- W1997035314 hasRelatedWork W2036928080 @default.
- W1997035314 hasRelatedWork W2105856903 @default.
- W1997035314 hasRelatedWork W2133662847 @default.
- W1997035314 hasRelatedWork W2338118651 @default.
- W1997035314 hasRelatedWork W2899486387 @default.
- W1997035314 hasRelatedWork W3189860654 @default.
- W1997035314 hasRelatedWork W4206956498 @default.
- W1997035314 hasRelatedWork W4238027904 @default.
- W1997035314 hasVolume "47" @default.
- W1997035314 isParatext "false" @default.
- W1997035314 isRetracted "false" @default.
- W1997035314 magId "1997035314" @default.
- W1997035314 workType "article" @default.