On the assessment of probabilistic WCET estimates reliability for arbitrary programs
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1687-3963
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
On the assessment of probabilistic WCET estimates reliability for arbitrary programs ; volume:2017 ; number:1 ; day:11 ; month:4 ; year:2017 ; pages:1-16 ; date:12.2017
EURASIP journal on embedded systems / European Association for Speech, Signal and Image Processing ; 2017, Heft 1 (11.4.2017), 1-16, 12.2017
- Klassifikation
-
Informatik
- Urheber
-
Milutinovic, Suzana
- Beteiligte Personen und Organisationen
-
Abella, Jaume
Cazorla, Francisco J.
SpringerLink (Online service)
- DOI
-
10.1186/s13639-017-0076-8
- URN
-
urn:nbn:de:1111-2017050511559
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 05:38 UTC
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Milutinovic, Suzana
- Abella, Jaume
- Cazorla, Francisco J.
- SpringerLink (Online service)
Ähnliche Objekte (12)
Learning hierarchical probabilistic logic programs
Probabilistic matching of solid shapes in arbitrary dimension
A deductive verifier for probabilistic programs
Automated deductive verification of probabilistic programs
Probabilistic Reliability Analysis of Wind Turbines
Reliability of a probabilistic knowledge structure
Automated Termination Analysis of Polynomial Probabilistic Programs
Lower Bounds for Possibly Divergent Probabilistic Programs
Quantum advantage for probabilistic one-time programs
Approximations and contamination bounds for probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs
Advanced weakest precondition calculi for probabilistic programs
Learning hierarchical probabilistic logic programs
Probabilistic matching of solid shapes in arbitrary dimension
A deductive verifier for probabilistic programs
Automated deductive verification of probabilistic programs
Probabilistic Reliability Analysis of Wind Turbines
Reliability of a probabilistic knowledge structure
Automated Termination Analysis of Polynomial Probabilistic Programs
Lower Bounds for Possibly Divergent Probabilistic Programs
Quantum advantage for probabilistic one-time programs
Approximations and contamination bounds for probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs
Advanced weakest precondition calculi for probabilistic programs
Learning hierarchical probabilistic logic programs
Probabilistic matching of solid shapes in arbitrary dimension
A deductive verifier for probabilistic programs
Automated deductive verification of probabilistic programs
Probabilistic Reliability Analysis of Wind Turbines
Reliability of a probabilistic knowledge structure
Automated Termination Analysis of Polynomial Probabilistic Programs
Lower Bounds for Possibly Divergent Probabilistic Programs
Quantum advantage for probabilistic one-time programs
Approximations and contamination bounds for probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs