Model Checking Statistique pour les Systemes Larges

Name: Model Checking Statistique pour les Systemes Larges
Brand: Editions Universitaires Europeennes
SKU: 9786203432947
Price: 330.44 RON
Availability: InStock

Autor: Diana ElRabih

Limbă:

Legare: Carte broșată

Editura: Editions Universitaires Europeennes

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

330.44 lei

Nous proposons dans cette thèse une nouvelle méthode de vérification des propriétés stationnaires da...

Informații despre carte

Autor

Diana ElRabih

Limbă

franceză

Legare

Carte - Carte broșată

Publicat

2022

Pagini

156

EAN

9786203432947

Enbook ID

38693196

Editura

Editions Universitaires Europeennes

Greutate

236

Dimensiuni

152 x 229 x 9

Descriere completă

Nous proposons dans cette thèse une nouvelle méthode de vérification des propriétés stationnaires dans les systèmes `à large échelle et nous appliquons cette méthode sur la vérification des propriétés de dependabilité dans les systèmes informatiques `a large échelle. Nous proposons d'utiliser la simulation parfaite et les méthodes statistiques pour effectuer le model checking probabiliste, afin de vérifier les propriétés stationnaires des systèmes informatiques à large échelle et analyser ainsi leur sureté de fonctionnement. La simulation parfaite avec le couplage dans le passé est reconnue efficace et précise pour calculer la distribution stationnaire. Nous proposons dans cette thèse de nouveaux algorithmes de model checking qui reposent sur les méthodes statistiques et sur la simulation parfaite. On applique cette méthode de model checking sur études de cas issues de quelques " benchmarks " connues. Nous étudions l'efficacité e et le passage à l'échelle de nos algorithmes propos es. Nous comparons ainsi la performance des différentes méthodes statistiques existantes en les intégrant dans notre méthode de vérification.

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Model Checking Statistique pour les Systemes Larges

Informații despre carte

Descriere completă

Clienții care au cumpărat această carte au mai cumpărat și

THE ARISTOCRACY OF BOSTON: WHO THEY ARE,

Jakosc zycia bezdomnych kobiet mieszkajacych w domu Edhi; Pakistan

3rd Generation Nation

Die Götteragenda - die geheime Geschichte der Menschheit

SCHUBITRIX Mathematik

España y otras impertinencias

Die Lehren Vom Wesen Der Krankheiten: In Ihrer Geschichtlichen Entwicklung (1899)

What About Me? - Study Guide

Salt Houses

Language Builder German (Learn German with the Michel Thomas Method)

Sicherheit Von Leichtwasserreaktoren

Animal cookies: A step by step picture guide to create 60 different cookie designs

Pervichnaya mediko-sanitarnaya pomoshh' v stranah s razlichnym dohodom

Il libro dei ventiquattro filosofi

Electrónica aplicada

Caring for the Horse's Teeth and Mouth: Solving Dental Problems and Improving Health, Comfort, and Performance

Firewolf's Practical Candle Magick

justice of the peace, and parish officer. By Richard Burn, ... The thirteenth edition. In four volumes. ... Volume 3 of 4

The Essential Celine Dion, 2 Audio-CDs