3 résultats : vérification automatique

Recherche en cours

Par mots-clef = vérification automatique

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

3 résultats

page 1 sur 1

résultats 1 à 3

Test et vérification automatique pour systèmes musicaux interactifs

Description : Le rôle d’un système musical interactif est de jouer d’égal à égal avec des musiciens humains. Pour cela, il doit réagir en temps réel au flux audio produit par les musiciens, suivant une « partition augmentée » écrite dans un langage spécialisé qui décrit en particulier des aspects temporels, des ...

Mots clés : test et vérification automatique, système musical interactif

Date : 03-07-2014

Droits : Droits réservés à l'éditeur et aux auteurs. © Inria Paris - Rocquencourt

Test et vérification automatique pour systèmes musicaux interactifs

Ajouter à mon panier

Accéder aux documents

Safety Verification of Deep Neural Networks

Description : Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with respect to adversarial perturbations, that is, minimal changes to the input image that cause the network to misclassify it. With potential applications including ...

Mots clés : classification image, verification automatique, apprentissage profond, apprentissage automatique

Date : 19-10-2017

Droits : Droits réservés à l'éditeur et aux auteurs.

Safety Verification of Deep Neural Networks

Ajouter à mon panier

Accéder aux documents

Vérifier la sécurité de nos communications

Description : Quand nous échangeons des messages numériques, nous sommes persuadés de communiquer avec l'interlocuteur que nous avons choisi. Pour s'en assurer réellement, il faut mettre en place des protocoles de communication sécurisés. Mais même en utilisant des canaux sûrs, cela peut ne pas suffire comme ...

Mots clés : protocole de communication, protocole cryptographique, sécurité réseau, algorithmes de chiffrement, algorithmes symétriques, algorithmes asymétriques, algorithmes à clé publique, vérification automatique, fuscia

Date : 22-03-2017

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Vérifier la sécurité de nos communications

Ajouter à mon panier

Accéder au document

Rebondir