Výsledky vyhledávání - "Thibault, Joan"

Report

Ordered Functional Decision Diagrams: A Functional Semantics For Binary Decision Diagrams

We introduce a novel framework, termed $\lambda$DD, that revisits Binary Decision Diagrams from a purely functional point of view. The framework allows to classify the already existing variants, including the most recent ones like Chain-DD and ESRBDD

Externí odkaz: http://arxiv.org/abs/2003.09340

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Constraint System Decomposition

Autor: Thibault, Joan

Publikováno v: [Research Report] RR-9478, Inria Rennes. 2022
[Research Report] RR-9478, Inria Rennes. 2022, pp.1-68

Various classical problems in computer science can be formulated as ConstraintSolving Problems (CSP), consisting in a query on a conjunction of constraints. Typical instancesof such queries are satisfiability (with or without witness), optimization u

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::395577f9c11a64800d0cf03e36862d1f
https://hal.inria.fr/hal-03740562

Zobrazit plný text záznamu

Demo: IsamDAE, an Implicit Structural Analysis Tool for Multimode DAE Systems

Autor: Caillaud, Benoit, Malandain, Mathias, Thibault, Joan

Publikováno v: HSCC 2020-23rd ACM International Conference on Hybrid Systems: Computation and Control
HSCC 2020-23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney, Australia. pp.1

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a2a0ba0a4dfce6d0c9ae315f2c0b8f1c
https://inria.hal.science/hal-02545380

Zobrazit plný text záznamu

Implicit Structural Analysis of Multimode DAE Systems

Autor: Caillaud, Benoît, Malandain, Mathias, Thibault, Joan

Publikováno v: [Research Report] RR-9322, Inria Rennes-Bretagne Atlantique; IRISA, Université de Rennes. 2020

The Modelica mathematical modeling language, based on Differential Algebraic Equations (DAE), brings several specific issues that do not exist with modeling languages based on Ordinary Differential Equations. The main problem is the determination of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0d16f1bdc8157dea34e65dcf529ea232
https://hal.inria.fr/hal-02476541

Zobrazit plný text záznamu

Diagramme de Décision Fonctionnel Ordonné: Une Sémantique Fonctionnelle pour les Diagrammes de Décision Binaires

Autor: Thibault, Joan, Ghorbal, Khalil

Publikováno v: [Research Report] RR-9333, Inria. 2020

Several BDD variants were designed to exploit special features of Boolean functions to achieve better compression rates.Deciding a priori which variant to use is as hard as constructing the diagrams themselves and the conversion between variants come

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2958d80c74c7bdbd6077b872594f7dbb
https://inria.hal.science/hal-02512117

Zobrazit plný text záznamu

Functional Decision Diagrams: A Unifying Data Structure For Binary Decision Diagrams

Autor: Thibault, Joan, Ghorbal, Khalil

Publikováno v: [Research Report] RR-9306, INRIA Rennes-Bretagne Atlantique and University of Rennes 1, France. 2019

Zero-suppressed binary Decision Diagram (ZDD) is a notable alternative data structure of Reduced Ordered Binary Decision Diagram (ROBDD) thatachieves a better size compression rate for Boolean functions that evaluate to zero almost everywhere.Decidin

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e14111f164c89b6a8a3ce8382d295ad
https://hal.inria.fr/hal-02369112v3/document

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání