FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893610333> ?p ?o ?g. }

• W2893610333 endingPage "68" @default.
• W2893610333 startingPage "1" @default.
• W2893610333 abstract "This article presents a wp--style calculus for obtaining bounds on the expected runtime of randomized algorithms. Its application includes determining the (possibly infinite) expected termination time of a randomized algorithm and proving positive almost--sure termination—does a program terminate with probability one in finite expected time? We provide several proof rules for bounding the runtime of loops, and prove the soundness of the approach with respect to a simple operational model. We show that our approach is a conservative extension of Nielson’s approach for reasoning about the runtime of deterministic programs. We analyze the expected runtime of some example programs including the coupon collector’s problem, a one--dimensional random walk and a randomized binary search." @default.
• W2893610333 created "2018-10-05" @default.
• W2893610333 creator A5009421242 @default.
• W2893610333 creator A5045667283 @default.
• W2893610333 creator A5089189715 @default.
• W2893610333 creator A5090819329 @default.
• W2893610333 date "2018-08-29" @default.
• W2893610333 modified "2023-10-01" @default.
• W2893610333 title "Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms" @default.
• W2893610333 cites W1503860275 @default.
• W2893610333 cites W1524865709 @default.
• W2893610333 cites W1922177649 @default.
• W2893610333 cites W1967175382 @default.
• W2893610333 cites W1971587456 @default.
• W2893610333 cites W1973393028 @default.
• W2893610333 cites W2000108089 @default.
• W2893610333 cites W2003398205 @default.
• W2893610333 cites W2004264692 @default.
• W2893610333 cites W2024355065 @default.
• W2893610333 cites W2031506341 @default.
• W2893610333 cites W2061943950 @default.
• W2893610333 cites W2062306963 @default.
• W2893610333 cites W2073629816 @default.
• W2893610333 cites W2076285066 @default.
• W2893610333 cites W2083374362 @default.
• W2893610333 cites W2084929300 @default.
• W2893610333 cites W2140852079 @default.
• W2893610333 cites W2166496828 @default.
• W2893610333 cites W2222812367 @default.
• W2893610333 cites W2294463722 @default.
• W2893610333 cites W2295266283 @default.
• W2893610333 cites W2768683713 @default.
• W2893610333 cites W2797914422 @default.
• W2893610333 cites W2987907651 @default.
• W2893610333 cites W3099666054 @default.
• W2893610333 cites W88990729 @default.
• W2893610333 doi "https://doi.org/10.1145/3208102" @default.
• W2893610333 hasPublicationYear "2018" @default.
• W2893610333 type Work @default.
• W2893610333 sameAs 2893610333 @default.
• W2893610333 citedByCount "48" @default.
• W2893610333 countsByYear W28936103332018 @default.
• W2893610333 countsByYear W28936103332019 @default.
• W2893610333 countsByYear W28936103332020 @default.
• W2893610333 countsByYear W28936103332021 @default.
• W2893610333 countsByYear W28936103332022 @default.
• W2893610333 countsByYear W28936103332023 @default.
• W2893610333 crossrefType "journal-article" @default.
• W2893610333 hasAuthorship W2893610333A5009421242 @default.
• W2893610333 hasAuthorship W2893610333A5045667283 @default.
• W2893610333 hasAuthorship W2893610333A5089189715 @default.
• W2893610333 hasAuthorship W2893610333A5090819329 @default.
• W2893610333 hasBestOaLocation W28936103332 @default.
• W2893610333 hasConcept C111472728 @default.
• W2893610333 hasConcept C11413529 @default.
• W2893610333 hasConcept C128669082 @default.
• W2893610333 hasConcept C138885662 @default.
• W2893610333 hasConcept C154945302 @default.
• W2893610333 hasConcept C156325763 @default.
• W2893610333 hasConcept C184337299 @default.
• W2893610333 hasConcept C199360897 @default.
• W2893610333 hasConcept C2780432614 @default.
• W2893610333 hasConcept C2780586882 @default.
• W2893610333 hasConcept C30128091 @default.
• W2893610333 hasConcept C39920170 @default.
• W2893610333 hasConcept C41008148 @default.
• W2893610333 hasConcept C63584917 @default.
• W2893610333 hasConcept C80444323 @default.
• W2893610333 hasConceptScore W2893610333C111472728 @default.
• W2893610333 hasConceptScore W2893610333C11413529 @default.
• W2893610333 hasConceptScore W2893610333C128669082 @default.
• W2893610333 hasConceptScore W2893610333C138885662 @default.
• W2893610333 hasConceptScore W2893610333C154945302 @default.
• W2893610333 hasConceptScore W2893610333C156325763 @default.
• W2893610333 hasConceptScore W2893610333C184337299 @default.
• W2893610333 hasConceptScore W2893610333C199360897 @default.
• W2893610333 hasConceptScore W2893610333C2780432614 @default.
• W2893610333 hasConceptScore W2893610333C2780586882 @default.
• W2893610333 hasConceptScore W2893610333C30128091 @default.
• W2893610333 hasConceptScore W2893610333C39920170 @default.
• W2893610333 hasConceptScore W2893610333C41008148 @default.
• W2893610333 hasConceptScore W2893610333C63584917 @default.
• W2893610333 hasConceptScore W2893610333C80444323 @default.
• W2893610333 hasIssue "5" @default.
• W2893610333 hasLocation W28936103331 @default.
• W2893610333 hasLocation W28936103332 @default.
• W2893610333 hasLocation W28936103333 @default.
• W2893610333 hasOpenAccess W2893610333 @default.
• W2893610333 hasPrimaryLocation W28936103331 @default.
• W2893610333 hasRelatedWork W109180904 @default.
• W2893610333 hasRelatedWork W18977309 @default.
• W2893610333 hasRelatedWork W1966425280 @default.
• W2893610333 hasRelatedWork W2230691193 @default.
• W2893610333 hasRelatedWork W2561527288 @default.
• W2893610333 hasRelatedWork W2893610333 @default.
• W2893610333 hasRelatedWork W2952696670 @default.
• W2893610333 hasRelatedWork W4248389398 @default.
• W2893610333 hasRelatedWork W4294804205 @default.

• next