Compartir
Model Checking Statistique pour les Systèmes Larges (en Francés)
Diana Elrabih
(Autor)
·
Editions Universitaires Europeennes
· Tapa Blanda
Model Checking Statistique pour les Systèmes Larges (en Francés) - Elrabih, Diana
$ 62.66
$ 74.41
Ahorras: $ 11.75
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis ListasSe enviará desde nuestra bodega entre el
Lunes 10 de Junio y el
Martes 11 de Junio.
Lo recibirás en cualquier lugar de Estados Unidos entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Model Checking Statistique pour les Systèmes Larges (en Francés)"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Francés.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.
