Matches in SemOpenAlex for { <https://semopenalex.org/work/W2072212606> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2072212606 endingPage "74" @default.
- W2072212606 startingPage "55" @default.
- W2072212606 abstract "In this paper, we present an efficient nondeterministic algorithm to decide nonemptiness for reversal-bounded multicounter machines. This algorithm executes in time polynomial in the size of the input and the number of reversals the counters are allowed. Previously the best known upper bound required space logarithmic in the size of the input and linear in the number of reversals. We argue that our algorithm is within some polynomial function of the optimal nondeterministic run time for many classes of these machines. Furthermore, we show that in most cases, the complexity of the nonemptiness problem does not change significantly when the reversal bound is dropped for one of the counters. In addition, we explore the changes in the complexity of the nonemptiness problem for these classes as different parameters are fixed or are given in either unary or binary. Our results yield as corollaries the answers to several unanswered questions regarding the disjointness, equivalence, and containment problems for reversal-bounded multicounter machines. Finally, we use our results to solve several problems regarding deadlock detection and unboundedness detection for systems of communicating finite state machines." @default.
- W2072212606 created "2016-06-24" @default.
- W2072212606 creator A5029452703 @default.
- W2072212606 creator A5046658880 @default.
- W2072212606 date "1987-02-01" @default.
- W2072212606 modified "2023-09-28" @default.
- W2072212606 title "An analysis of the nonemptiness problem for classes of reversal-bounded multicounter machines" @default.
- W2072212606 cites W1592689879 @default.
- W2072212606 cites W1973392890 @default.
- W2072212606 cites W1973458874 @default.
- W2072212606 cites W1979876920 @default.
- W2072212606 cites W1982755473 @default.
- W2072212606 cites W1989887898 @default.
- W2072212606 cites W2000084497 @default.
- W2072212606 cites W2002089154 @default.
- W2072212606 cites W2011039300 @default.
- W2072212606 cites W2020570874 @default.
- W2072212606 cites W2023999667 @default.
- W2072212606 cites W2025970201 @default.
- W2072212606 cites W2036265926 @default.
- W2072212606 cites W2047764386 @default.
- W2072212606 cites W2049848227 @default.
- W2072212606 cites W2061970672 @default.
- W2072212606 cites W2076858908 @default.
- W2072212606 cites W2088191001 @default.
- W2072212606 cites W2092008211 @default.
- W2072212606 cites W2401610261 @default.
- W2072212606 cites W2980293971 @default.
- W2072212606 doi "https://doi.org/10.1016/0022-0000(87)90005-5" @default.
- W2072212606 hasPublicationYear "1987" @default.
- W2072212606 type Work @default.
- W2072212606 sameAs 2072212606 @default.
- W2072212606 citedByCount "7" @default.
- W2072212606 countsByYear W20722126062012 @default.
- W2072212606 countsByYear W20722126062013 @default.
- W2072212606 countsByYear W20722126062018 @default.
- W2072212606 crossrefType "journal-article" @default.
- W2072212606 hasAuthorship W2072212606A5029452703 @default.
- W2072212606 hasAuthorship W2072212606A5046658880 @default.
- W2072212606 hasBestOaLocation W20722126061 @default.
- W2072212606 hasConcept C126255220 @default.
- W2072212606 hasConcept C134306372 @default.
- W2072212606 hasConcept C144237770 @default.
- W2072212606 hasConcept C28826006 @default.
- W2072212606 hasConcept C33923547 @default.
- W2072212606 hasConcept C34388435 @default.
- W2072212606 hasConceptScore W2072212606C126255220 @default.
- W2072212606 hasConceptScore W2072212606C134306372 @default.
- W2072212606 hasConceptScore W2072212606C144237770 @default.
- W2072212606 hasConceptScore W2072212606C28826006 @default.
- W2072212606 hasConceptScore W2072212606C33923547 @default.
- W2072212606 hasConceptScore W2072212606C34388435 @default.
- W2072212606 hasIssue "1" @default.
- W2072212606 hasLocation W20722126061 @default.
- W2072212606 hasOpenAccess W2072212606 @default.
- W2072212606 hasPrimaryLocation W20722126061 @default.
- W2072212606 hasRelatedWork W1598979804 @default.
- W2072212606 hasRelatedWork W2018828049 @default.
- W2072212606 hasRelatedWork W2042726902 @default.
- W2072212606 hasRelatedWork W2046712581 @default.
- W2072212606 hasRelatedWork W2136053165 @default.
- W2072212606 hasRelatedWork W2224648581 @default.
- W2072212606 hasRelatedWork W2370340664 @default.
- W2072212606 hasRelatedWork W3080875783 @default.
- W2072212606 hasRelatedWork W3102909640 @default.
- W2072212606 hasRelatedWork W3104048492 @default.
- W2072212606 hasVolume "34" @default.
- W2072212606 isParatext "false" @default.
- W2072212606 isRetracted "false" @default.
- W2072212606 magId "2072212606" @default.
- W2072212606 workType "article" @default.