14 000 articles de référence, fiches pratiques et articles d’actualité validés par les comités scientifiques : votre solution en quelques clics

PAR MOTS-CLÉS

NAVIGUEZ DANS LA CARTOGRAPHIE INTERACTIVE

Une ressource documentaire d'excellence mise à jour en permanence

Les dernières parutions

  • Découvrez les normes applicables pour la modélisation des systèmes d'information. Et comprenez comment le langage UML peut vous aider dans cette représentation. 

  • Réf  : H3310
    Coq, assistant de preuve

    Comment assurer qu'un logiciel peut s'exécuter sans erreur dans les conditions d'application prévues ? Seule une partie des tests peut être automatisée ; pour le reste, un assistant de preuve comme Coq permet de vérifier la complétude et la logique des preuves construites dans le logiciel. 

  • Réf  : H3168
    Compilateur

    Un compilateur permet de rendre exécutable un code source. Découvrez ici comment fonctionne un compilateur et quelles en sont les principales caractéristiques.  

  • Les architectures parallèles apparaissent aujourd'hui comme une réponse aux limitations liées au mur de la chaleur. Découvrez ici les différents types d'architectures parallèles et les principes de la programmation parallèle. 

  • Réf  : H2280
    ADA

    Quelles sont les dernières évolutions du langage de programmation Ada ? Pourquoi est-il particulièrement adapté à des projets complexes et importants ?

  • La conception conjointe permet d'aborder en même temps l'aspect matériel et le logiciel. Améliorez ainsi grandement l'efficacité de votre implantation pour un meilleur rendement, une dissipation thermique optimisée...

  • Comment fonctionnent les BitCoins ? Quelles sont les raisons de leur succès et comment la gestion par blockchain garantit-elle la fiabilité du système ?


INSCRIVEZ-VOUS AUX NEWSLETTERS GRATUITES !


AUTRES PRODUITS ET LOGICIELS