Showing 1 - 10 results of 10 for search '"Abstracts"', query time: 0.58s Refine Results
  1. 1
    Sketching free-form poses and motions for expressive 3D character animation.
    by Guay, Martin
    Published 2015
    Subjects: “...Abstractions de formes...”
    Get full text
  2. 2
    Analyse et contrôle des systèmes dynamiques polynomiaux
    by Ben Sassi, Mohamed Amin
    Published 2013
    Subjects: “...Abstraction...”
    Get full text
  3. 3
    Contributions to the Transaction-Level Modeling of Systems-on-a-Chip
    by Funchal, Giovanni
    Published 2011
    Subjects: “...Niveaux d'abstraction...”
    Get full text
  4. 4
    Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems
    by Smeding, Gideon
    Published 2013
    Subjects: “...Abstract interpretation...”
    Get full text
  5. 5
    Sur le diagnostic interactif
    by Giap, Quang Huy
    Published 2011
    Subjects: “...Théorie de l’abstraction...”
    Get full text
  6. 6
    Analyse statique de programmes manipulant des tableaux
    by Perrelle, Valentin
    Published 2013
    Subjects: “...Abstract interpretation...”
    Get full text
  7. 7
    Génération de modèles de haut niveau enrichis pour les systèmes hétérogènes et multiphysiques
    by Bousquet, Laurent
    Published 2014
    Subjects: “...Niveaux d’abstraction...”
    Get full text
  8. 8
    Méthode de modélisation et de raffinement pour les systèmes hétérogènes. Illustration avec le langage System C-AMS
    by Paugnat, Franck
    Published 2012
    Subjects: “...Niveaux d’abstraction...”
    Get full text
  9. 9
    Logico-Numerical Verification Methods for Discrete and Hybrid Systems
    by Schrammel, Peter
    Published 2012
    Subjects: “...Abstract interpretation...”
    Get full text
  10. 10
    Static analysis of program by Abstract Interpretation and Decision Procedures
    by Henry, Julien
    Published 2014
    Subjects: “...Abstract Interpretation...”
    Get full text
Search Tools: Get RSS Feed — Email this Search