Search Results

Low-power optimization techniques for BDD mapped circuits using temporal correlation: [Techniques d'optimisation pour les faibles puissances pour des diagrammes de décision binaire utilisant la corrélation temporelle]

• Authors : Dreschler, Rolf; Kerttu, Mikael; Lindgren, Per

Subjects: Inbyggda system; Embedded Systems

• Source: Canadian journal of electrical and computer engineering. 27(4):159-164

Record details

Binary decision for observations with unknown distribution : an optimal and invariance-based framework ; Décision binaire pour observations de distribution inconnue : une approche optimale basée sur l'invariance

• Authors : Bourmani, Sabrina;

Subjects: Optimality; Unknown distributions; Random signals

• Source: https://theses.hal.science/tel-02878810 ; Signal and Image Processing. Ecole nationale supérieure Mines-Télécom Atlantique, 2020. English. ⟨NNT : 2020IMTA0173⟩.

Record details

Méthode de discrimination basée sur la construction d'un arbre de décision binaire

• Authors : Gueguen, A.; Nakache, J. P.

• Source: Revue de Statistique Appliquée, 36, no. 1 (1988) p 19-37

Record details

Demo: IsamDAE, an Implicit Structural Analysis Tool for Multimode DAE Systems ; Démo: IsamDAE, un Outil d'Analyse Structurelle Implicite pour les Systèmes de DAE Multimodes

• Authors : Caillaud, Benoit; Malandain, Mathias; Thibault, Joan ...

Subjects: multimode systems; structural analysis; binary decision diagramsSydney; Australia

• Source: HSCC 2020 - 23rd ACM International Conference on Hybrid Systems: Computation and Control ; https://inria.hal.science/hal-02545380 ; HSCC 2020 - 23rd ACM International Conference on Hybrid Systems:

Record details

Introduction to structure theory and its application to boolean functions ; Introduction à la théorie des structures et son application aux fonctions booléennes

• Authors : Thibault, Joan;

Subjects: Représentation canonique; Fonction booléenne; Diagrammes de Décision Binaire (BDD)

Record details

Ordered Functional Decision Diagrams ; Diagramme de Décision Fonctionnel Ordonné ; Ordered Functional Decision Diagrams: A Functional Semantic For Binary Decision Diagrams ; Diagramme de Décision Fonctionnel Ordonné: Une Sémantique Fonctionnelle pour les Diagrammes de Décision Binaires

• Authors : Thibault, Joan; Ghorbal, Khalil;

Subjects: Functional Abstraction; Binary Decision Diagrams; Abstraction Fonctionelle

• Source: https://inria.hal.science/hal-02512117 ; [Research Report] RR-9333, Inria. 2020.

Record details

A study of the application of binary decision diagrams in multilevel logic synthesis ; Une etude de l'application des diagrammes de décision binaire à la synthèse de circuits digitaux en logique multi-cauches

• Authors : Jacobi, Ricardo Pezzuol; Trullemans, Charles

Subjects: Microeletrônica; Sintese automatica; Síntese lógica

Record details

Application des diagrammes de décision binaires pour l’analyse des arbres de défaillance cohérents et non-cohérents en présence d’incertitudes ; Application of binary decision diagrams for the analysis of coherent and non-coherent fault trees in the presence of uncertainty

• Authors : Imakhlaf, Ayyoub;

Subjects: Arbres de défaillance non-cohérents; Analyse des arbres de défaillance; Facteurs d'importance

Record details

Application of binary decision diagrams for the analysis of coherent and non-coherent fault trees in the presence of uncertainty ; Application des diagrammes de décision binaires pour l’analyse des arbres de défaillance cohérents et non-cohérents en présence d’incertitudes

• Authors : Imakhlaf, Ayyoub;

Subjects: Imprecise probabilities; Graphic methods; Dempster-Shafer theory

• Source: https://theses.hal.science/tel-03405942 ; Autre. Université de Technologie de Compiègne, 2021. Français. ⟨NNT : 2021COMP2599⟩.

Record details

Representing and computing with types in dynamically typed languages ; Représentation et calcul avec des types dans des langages à typage dynamique

• Authors : Newton, Jim;

Subjects: Langages à typage dynamique; Diagrammes de décision binaire; Automates finis

Record details