Matches in SemOpenAlex for { <https://semopenalex.org/work/W1549039738> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1549039738 endingPage "126" @default.
- W1549039738 startingPage "111" @default.
- W1549039738 abstract "It is often useful to introduce probabilistic behavior in programs, either because of the use of internal random generators (probabilistic algorithms), either because of some external devices (networks, physical sensors) with known statistics of behavior. Previous works on probabilistic abstract interpretation have addressed safety properties, but somehow neglected probabilistic termination. In this paper, we propose a method to automatically prove the probabilistic termination of programs using exponential bounds on the tail of the distribution. We apply this method to an example and give some directions as to how to implement it. We also show that this method can also be applied to make unsound statistical methods on average running times sound." @default.
- W1549039738 created "2016-06-24" @default.
- W1549039738 creator A5067069157 @default.
- W1549039738 date "2001-01-01" @default.
- W1549039738 modified "2023-10-17" @default.
- W1549039738 title "An Abstract Analysis of the Probabilistic Termination of Programs" @default.
- W1549039738 cites W1526045365 @default.
- W1549039738 cites W2024355065 @default.
- W1549039738 cites W2043100293 @default.
- W1549039738 cites W2081810835 @default.
- W1549039738 cites W2161290831 @default.
- W1549039738 cites W3101972507 @default.
- W1549039738 cites W4205518192 @default.
- W1549039738 cites W4233310630 @default.
- W1549039738 cites W4238472918 @default.
- W1549039738 doi "https://doi.org/10.1007/3-540-47764-0_7" @default.
- W1549039738 hasPublicationYear "2001" @default.
- W1549039738 type Work @default.
- W1549039738 sameAs 1549039738 @default.
- W1549039738 citedByCount "35" @default.
- W1549039738 countsByYear W15490397382012 @default.
- W1549039738 countsByYear W15490397382015 @default.
- W1549039738 countsByYear W15490397382016 @default.
- W1549039738 countsByYear W15490397382017 @default.
- W1549039738 countsByYear W15490397382018 @default.
- W1549039738 countsByYear W15490397382020 @default.
- W1549039738 countsByYear W15490397382021 @default.
- W1549039738 countsByYear W15490397382022 @default.
- W1549039738 crossrefType "book-chapter" @default.
- W1549039738 hasAuthorship W1549039738A5067069157 @default.
- W1549039738 hasBestOaLocation W15490397382 @default.
- W1549039738 hasConcept C105795698 @default.
- W1549039738 hasConcept C11413529 @default.
- W1549039738 hasConcept C114289077 @default.
- W1549039738 hasConcept C134306372 @default.
- W1549039738 hasConcept C149441793 @default.
- W1549039738 hasConcept C151376022 @default.
- W1549039738 hasConcept C154945302 @default.
- W1549039738 hasConcept C199360897 @default.
- W1549039738 hasConcept C24404364 @default.
- W1549039738 hasConcept C2780654840 @default.
- W1549039738 hasConcept C33923547 @default.
- W1549039738 hasConcept C41008148 @default.
- W1549039738 hasConcept C49937458 @default.
- W1549039738 hasConcept C52063229 @default.
- W1549039738 hasConcept C527412718 @default.
- W1549039738 hasConcept C80444323 @default.
- W1549039738 hasConceptScore W1549039738C105795698 @default.
- W1549039738 hasConceptScore W1549039738C11413529 @default.
- W1549039738 hasConceptScore W1549039738C114289077 @default.
- W1549039738 hasConceptScore W1549039738C134306372 @default.
- W1549039738 hasConceptScore W1549039738C149441793 @default.
- W1549039738 hasConceptScore W1549039738C151376022 @default.
- W1549039738 hasConceptScore W1549039738C154945302 @default.
- W1549039738 hasConceptScore W1549039738C199360897 @default.
- W1549039738 hasConceptScore W1549039738C24404364 @default.
- W1549039738 hasConceptScore W1549039738C2780654840 @default.
- W1549039738 hasConceptScore W1549039738C33923547 @default.
- W1549039738 hasConceptScore W1549039738C41008148 @default.
- W1549039738 hasConceptScore W1549039738C49937458 @default.
- W1549039738 hasConceptScore W1549039738C52063229 @default.
- W1549039738 hasConceptScore W1549039738C527412718 @default.
- W1549039738 hasConceptScore W1549039738C80444323 @default.
- W1549039738 hasLocation W15490397381 @default.
- W1549039738 hasLocation W15490397382 @default.
- W1549039738 hasOpenAccess W1549039738 @default.
- W1549039738 hasPrimaryLocation W15490397381 @default.
- W1549039738 hasRelatedWork W1535566948 @default.
- W1549039738 hasRelatedWork W157143398 @default.
- W1549039738 hasRelatedWork W2052957643 @default.
- W1549039738 hasRelatedWork W2087152645 @default.
- W1549039738 hasRelatedWork W2096349874 @default.
- W1549039738 hasRelatedWork W2749065928 @default.
- W1549039738 hasRelatedWork W2886322429 @default.
- W1549039738 hasRelatedWork W2903940728 @default.
- W1549039738 hasRelatedWork W3188413760 @default.
- W1549039738 hasRelatedWork W4238495367 @default.
- W1549039738 isParatext "false" @default.
- W1549039738 isRetracted "false" @default.
- W1549039738 magId "1549039738" @default.
- W1549039738 workType "book-chapter" @default.