Matches in SemOpenAlex for { <https://semopenalex.org/work/W57733694> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W57733694 abstract "We investigate resource analysis of assembly programs. For this, we construct a Petri net interpretation of programs and define a resource termination principle which is in co-NP. Then, we give a criterion to determine if a program runs without new memory (non size increasing property) which is in Ptime." @default.
- W57733694 created "2016-06-24" @default.
- W57733694 creator A5012013011 @default.
- W57733694 creator A5054567629 @default.
- W57733694 date "2003-01-01" @default.
- W57733694 modified "2023-09-25" @default.
- W57733694 title "Termination and resource analysis of assembly programs by Petri nets" @default.
- W57733694 hasPublicationYear "2003" @default.
- W57733694 type Work @default.
- W57733694 sameAs 57733694 @default.
- W57733694 citedByCount "1" @default.
- W57733694 crossrefType "journal-article" @default.
- W57733694 hasAuthorship W57733694A5012013011 @default.
- W57733694 hasAuthorship W57733694A5054567629 @default.
- W57733694 hasConcept C111472728 @default.
- W57733694 hasConcept C11413529 @default.
- W57733694 hasConcept C134026603 @default.
- W57733694 hasConcept C138885662 @default.
- W57733694 hasConcept C146763376 @default.
- W57733694 hasConcept C189950617 @default.
- W57733694 hasConcept C199360897 @default.
- W57733694 hasConcept C206345919 @default.
- W57733694 hasConcept C2780801425 @default.
- W57733694 hasConcept C311688 @default.
- W57733694 hasConcept C31258907 @default.
- W57733694 hasConcept C38677869 @default.
- W57733694 hasConcept C41008148 @default.
- W57733694 hasConcept C527412718 @default.
- W57733694 hasConcept C54355233 @default.
- W57733694 hasConcept C80444323 @default.
- W57733694 hasConcept C86803240 @default.
- W57733694 hasConceptScore W57733694C111472728 @default.
- W57733694 hasConceptScore W57733694C11413529 @default.
- W57733694 hasConceptScore W57733694C134026603 @default.
- W57733694 hasConceptScore W57733694C138885662 @default.
- W57733694 hasConceptScore W57733694C146763376 @default.
- W57733694 hasConceptScore W57733694C189950617 @default.
- W57733694 hasConceptScore W57733694C199360897 @default.
- W57733694 hasConceptScore W57733694C206345919 @default.
- W57733694 hasConceptScore W57733694C2780801425 @default.
- W57733694 hasConceptScore W57733694C311688 @default.
- W57733694 hasConceptScore W57733694C31258907 @default.
- W57733694 hasConceptScore W57733694C38677869 @default.
- W57733694 hasConceptScore W57733694C41008148 @default.
- W57733694 hasConceptScore W57733694C527412718 @default.
- W57733694 hasConceptScore W57733694C54355233 @default.
- W57733694 hasConceptScore W57733694C80444323 @default.
- W57733694 hasConceptScore W57733694C86803240 @default.
- W57733694 hasLocation W577336941 @default.
- W57733694 hasOpenAccess W57733694 @default.
- W57733694 hasPrimaryLocation W577336941 @default.
- W57733694 hasRelatedWork W146353516 @default.
- W57733694 hasRelatedWork W1481750753 @default.
- W57733694 hasRelatedWork W1519113483 @default.
- W57733694 hasRelatedWork W1527839149 @default.
- W57733694 hasRelatedWork W1567743911 @default.
- W57733694 hasRelatedWork W1593085476 @default.
- W57733694 hasRelatedWork W1980200158 @default.
- W57733694 hasRelatedWork W1990357312 @default.
- W57733694 hasRelatedWork W2016462009 @default.
- W57733694 hasRelatedWork W2020110156 @default.
- W57733694 hasRelatedWork W2038372124 @default.
- W57733694 hasRelatedWork W2045523968 @default.
- W57733694 hasRelatedWork W2101948642 @default.
- W57733694 hasRelatedWork W2125025425 @default.
- W57733694 hasRelatedWork W2130283794 @default.
- W57733694 hasRelatedWork W2159034671 @default.
- W57733694 hasRelatedWork W2162229267 @default.
- W57733694 hasRelatedWork W2915077839 @default.
- W57733694 hasRelatedWork W2921624337 @default.
- W57733694 hasRelatedWork W3030342178 @default.
- W57733694 isParatext "false" @default.
- W57733694 isRetracted "false" @default.
- W57733694 magId "57733694" @default.
- W57733694 workType "article" @default.