Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007455965> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2007455965 abstract "We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are treated as uninterpreted functions. We are not aware of any complete polynomial-time deterministic algorithm for the same problem. The algorithm does not require symbolic manipulations and hence is simpler to implement than the deterministic symbolic algorithms. The price for these benefits is that there is a probability that the algorithm can report a false equality. We prove that this probability can be made arbitrarily small by controlling various parameters of the algorithm.Our algorithm is based on the idea of random interpretation, which relies on executing a program on a number of random inputs and discovering relationships from the computed values. The computations are done by giving random linear interpretations to the operators in the program. Both branches of a conditional are executed. At join points, the program states are combined using a random affine combination. We discuss ways in which this algorithm can be made more precise by using more accurate interpretations for the linear arithmetic operators and other language constructs." @default.
- W2007455965 created "2016-06-24" @default.
- W2007455965 creator A5011543162 @default.
- W2007455965 creator A5049483484 @default.
- W2007455965 date "2004-01-01" @default.
- W2007455965 modified "2023-10-17" @default.
- W2007455965 title "Global value numbering using random interpretation" @default.
- W2007455965 cites W1982205631 @default.
- W2007455965 cites W1999779266 @default.
- W2007455965 cites W2010452422 @default.
- W2007455965 cites W2017351599 @default.
- W2007455965 cites W2040856861 @default.
- W2007455965 cites W2043100293 @default.
- W2007455965 cites W2080132708 @default.
- W2007455965 cites W2101811680 @default.
- W2007455965 cites W2102890180 @default.
- W2007455965 cites W2124153277 @default.
- W2007455965 cites W2151759383 @default.
- W2007455965 doi "https://doi.org/10.1145/964001.964030" @default.
- W2007455965 hasPublicationYear "2004" @default.
- W2007455965 type Work @default.
- W2007455965 sameAs 2007455965 @default.
- W2007455965 citedByCount "25" @default.
- W2007455965 countsByYear W20074559652012 @default.
- W2007455965 countsByYear W20074559652013 @default.
- W2007455965 countsByYear W20074559652017 @default.
- W2007455965 countsByYear W20074559652019 @default.
- W2007455965 crossrefType "proceedings-article" @default.
- W2007455965 hasAuthorship W2007455965A5011543162 @default.
- W2007455965 hasAuthorship W2007455965A5049483484 @default.
- W2007455965 hasConcept C11413529 @default.
- W2007455965 hasConcept C119857082 @default.
- W2007455965 hasConcept C128669082 @default.
- W2007455965 hasConcept C13533509 @default.
- W2007455965 hasConcept C191916993 @default.
- W2007455965 hasConcept C199360897 @default.
- W2007455965 hasConcept C202444582 @default.
- W2007455965 hasConcept C2776291640 @default.
- W2007455965 hasConcept C311688 @default.
- W2007455965 hasConcept C33923547 @default.
- W2007455965 hasConcept C41008148 @default.
- W2007455965 hasConcept C45374587 @default.
- W2007455965 hasConcept C527412718 @default.
- W2007455965 hasConcept C80444323 @default.
- W2007455965 hasConcept C92757383 @default.
- W2007455965 hasConceptScore W2007455965C11413529 @default.
- W2007455965 hasConceptScore W2007455965C119857082 @default.
- W2007455965 hasConceptScore W2007455965C128669082 @default.
- W2007455965 hasConceptScore W2007455965C13533509 @default.
- W2007455965 hasConceptScore W2007455965C191916993 @default.
- W2007455965 hasConceptScore W2007455965C199360897 @default.
- W2007455965 hasConceptScore W2007455965C202444582 @default.
- W2007455965 hasConceptScore W2007455965C2776291640 @default.
- W2007455965 hasConceptScore W2007455965C311688 @default.
- W2007455965 hasConceptScore W2007455965C33923547 @default.
- W2007455965 hasConceptScore W2007455965C41008148 @default.
- W2007455965 hasConceptScore W2007455965C45374587 @default.
- W2007455965 hasConceptScore W2007455965C527412718 @default.
- W2007455965 hasConceptScore W2007455965C80444323 @default.
- W2007455965 hasConceptScore W2007455965C92757383 @default.
- W2007455965 hasLocation W20074559651 @default.
- W2007455965 hasOpenAccess W2007455965 @default.
- W2007455965 hasPrimaryLocation W20074559651 @default.
- W2007455965 hasRelatedWork W2007455965 @default.
- W2007455965 hasRelatedWork W2127265216 @default.
- W2007455965 hasRelatedWork W2147184594 @default.
- W2007455965 hasRelatedWork W2189051460 @default.
- W2007455965 hasRelatedWork W2248910422 @default.
- W2007455965 hasRelatedWork W2922566013 @default.
- W2007455965 hasRelatedWork W2963181990 @default.
- W2007455965 hasRelatedWork W4236329095 @default.
- W2007455965 hasRelatedWork W4307416302 @default.
- W2007455965 hasRelatedWork W4382603267 @default.
- W2007455965 isParatext "false" @default.
- W2007455965 isRetracted "false" @default.
- W2007455965 magId "2007455965" @default.
- W2007455965 workType "article" @default.