63 résultats : graph

Recherche en cours

Par mots-clef = graph

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

63 résultats

page 1 sur 7

résultats 1 à 10

Représentations intermédiaires (Compilation : théorie, techniques et outils)

Description : Ce cours définit des structures et langages intermédiaires utilisés en compilation, comme la structure en graphes (dépendances de données, dépendances de contrôle) et des formes textuelles (codes 3 adresses, codes 2 adresses, notation préfixées et postfixées, SSA, etc.). Thème 7 de l'ensemble " ...

Mots clés : compilation, représentation intermédiaire, programme informatique, langage de programmation, compilateur, code source, langage intermédiaire, portage d'un compilateur, code intermédiaire structuré, modèle mémoire, graphe, code intermédiaire linéaire

Date : 22-12-2010

Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf

Représentations intermédiaires (Compilation : théorie, techniques et outils)

Ajouter à mon panier

Accéder aux documents

Méthodes d’analyse statique de pire temps d’exécution de programmes

Description : L’intégrité d’un système physique interagissant avec son milieu n’est garantie que si certaines contraintes de temps sont respectées. Connaître le pire temps d’exécution d’un programme permet d’offrir cette garantie.

Mots clés : contrainte, pire temps d'exécution, graphe de flot de contrôle, système temps réel, analyse statique, fuscia

Date : 03-05-2005

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

Méthodes d’analyse statique de pire temps d’exécution de programmes

Ajouter à mon panier

Accéder au document

Constraints programming

Description : This second module deals with application-oriented constraints. At the end of this module, the learner will be able to master the core constraints.

Mots clés : programmation par contraintes, constraint programming, problème combinatoire, problème de satisfaction de contraintes, Constraint Satisfaction Problem, propagation de contraintes, algorithme de recherche de solution, counting constraint, nvalue constraint, global cardinality, graph constraints, ...

Date : 18-06-2015

Droits : Ces ressources sont la copropriété, à parts égales, d’UNIT et de l'IMT Atlantique. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL http://www.cea.fr/fr/actualites/pdf/Licence.CeCILL-V1.pdf

Constraints programming

Ajouter à mon panier

Accéder au document

Global Constraint Catalog

Description : Catalogue of global constraints where each constraint is explicitly described in terms of graph properties and/or automata and/or first order logical formulae with arithmetic. When available, it also presents some typical usage as well as some pointers to existing filtering algorithms.

Mots clés : programmation par contraintes, constraint programming, problème combinatoire, problème de satisfaction de contraintes, Constraint Satisfaction Problem, propagation de contraintes, algorithme de recherche de solution, global constraint, graph, automaton, first order formula, symmetry, ontology

Date : 15-06-2015

Global Constraint Catalog

Ajouter à mon panier

Accéder au document

Graphes, hypergraphes et réseaux (série : Colloquium Jacques Morgenstern)

Description : Le but de la conférence est d'exposer des problèmes simples de conception de réseaux qui m'ont intrigués pendant de nombreuses années et continuent de m'intriguer. Les réseaux de télécommunications mais aussi les réseaux routiers ou sociaux se modélisent bien avec des graphes. Les sommets représentent ...

Mots clés : réseau social, graphe, hypergraphe, modélisation réseaux, problème delta-d, réseau routier, théorie des graphes

Date : 12-05-2011

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

Graphes, hypergraphes et réseaux (série : Colloquium Jacques Morgenstern)

Ajouter à mon panier

Accéder aux documents

Modélisation des systèmes dynamiques et commande avancée (AMESIM)

Description : Ce cours s'intéresse en particulier aux Bond Graph ou graphes de liaison qui sont des représentations graphiques de système dynamique. Il est une composante de l'ensemble AMESIM, Apprentissage de la Modélisation pour l'Étude des systèmes Industriels Mécatroniques, qui propose des ressources de ...

Mots clés : mécatronique, système complexe, modélisation de système dynamique, outil de simulation, graphe de liaisons, Bond Graph, graphe à liens, ingénierie des systèmes, jonction, stockage d'énergie, co-énergie, conversion d'énergie, analyse systémique, analyse phénoménologique, analyse structurelle, cau ...

Date : 28-07-2010

Modélisation des systèmes dynamiques et commande avancée (AMESIM)

Ajouter à mon panier

Accéder au document

Peut-on limiter les détours dans un réseau ?

Description : Quoi de plus rageant lorsqu’on se déplace en voiture ou à pied que de devoir faire un gros détour pour atteindre sa destination qui n’est pourtant pas loin à vol d’oiseau ! Mais est-il si facile que cela de concevoir des réseaux sans gros détour ?

Mots clés : graphes géométriques, réseaux ad hoc, triangulation de Delaunay, Theta-graphe, demi-Theta6-graphe, fuscia

Date : 13-02-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

Peut-on limiter les détours dans un réseau ?

Ajouter à mon panier

Accéder au document

Le calcul différentiel

Description : Une conférence de l'UTLS au Lycée (en audio uniquement ) Le calcul différentiel Avec Jean-Benoit Bost (mathématicien à l’Université Paris Sud, CNRS) Lycée Bertran de Born (24000 Perigueux) Partenariat Région Aquitaine

Mots clés : dérivée, calcul intégral, intégration, aire, différentielle, graphe d'une fonction

Date : 05-02-2009

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

Le calcul différentiel

Ajouter à mon panier

Accéder aux documents

Informatique générale appliquée à la géomatique

Description : Cours d'informatique dédié à la géomatique qui allie approfondissement des connaissances informatique et étude des Systèmes d'Information Géographique. Il a pour but de présenter les outils de base pour la profession de Géomaticien. Il a aussi pour but, par une pratique intense et quotidienne des ...

Mots clés : géomatique, modélisation, système expert, système d’information, SIG, langage algorithmique ADL, transformation d'algorithme, optimisation, graphe, Système de Fichiers Séquentiel-Indexé, traitement des listes, Backus–Naur Form, BNF, modèle HBDS, Hypergraph Based Data Structure, type abstrait de ...

Date : 23-05-2012

Informatique générale appliquée à la géomatique

Ajouter à mon panier

Accéder au document

Introduction à la recherche opérationnelle et à l'algorithmique de l'optimisation

Description : Faire de la recherche opérationnelle consiste en pratique à modéliser mathématiquement un problème donné puis à résoudre le problème modélisé. La première étape demande du savoir-faire et de l'expérience (certains parlent d'"art"). Pour la seconde, on dispose d'algorithmes rigoureux. La discipline ...

Mots clés : algèbre linéaire, programmation linéaire, algorithme du simplexe, théorie des graphes, fuscia

Date : 29-04-2008

Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)

Introduction à la recherche opérationnelle et à l'algorithmique de l'optimisation

Ajouter à mon panier

Accéder au document

Rebondir