Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Les résultats majeurs
Production scientifique
Les résultats majeurs
#
Date
Titre et Description
Contact
76.
09/07/2009
Meilleur SAT-Solveur au monde sur les instances industrielles
glucose, démonstrateur SAT développé par L. Simon ...
77.
05/05/2009
Proving Fairness and Implementation Correctness of a Microkernel Scheduler
We report on the formal proof of a microkernel’s k ...
78.
21/04/2009
GCC 4.4.0 devient le premier compilateur "polyédrique" grâce à GRAPHITE
Le compilateur GCC 4.4.0 a été publié aujourd'hui. ...
79.
08/04/2009
DynaSpot: Speed-Dependent Area Cursor
We present DynaSpot, a new technique for acquiring ...
80.
08/04/2009
Musink: Composing Music through Augmented Drawing
We focus on the creative use of paper in the music ...
81.
01/04/2009
DL-liteR in the Light of Propositional Logic for Decentralized Data Management
This paper provides a decentralized data model and ...
82.
26/03/2009
83.
02/03/2009
Semantics, Calculi, and Analysis for Object-oriented Specifications.
We present a formal semantics for an object-orient ...
84.
29/11/2008
Automated motif extraction and classification in RNA tertiary structures
We used a novel graph-based approach to extract RN ...
85.
20/10/2008
86.
19/10/2008
OctoPocus: A Dynamic Guide for Learning Gesture-Based Command Sets
OctoPocus, is a dynamic guide that combines on-scr ...
87.
01/09/2008
Model-Based Adaptation of Behavioral Mismatching Components
Component-Based Software Engineering focuses on th ...
88.
01/09/2008
89.
01/07/2008
90.
09/04/2008
Sigma Lenses: Focus-Context Transitions Combining Space, Time and Translucence
Focus+context techniques such as fisheye lenses ar ...
91.
25/03/2008
92.
28/01/2008
The Average Complexity of Tree Alignment
Le fait étonnant est que la complexité moyenne de ...
93.
06/11/2007
Exploration Uniforme de très grands modèles
Etant donné un système qui est modélisé comme la c ...
94.
08/10/2007
Verifying a signature architecture: a comparative case study.
We report on a case study in applying different fo ...
95.
22/07/2007
L2R: A Logical Method for Reference Reconciliation
The reference reconciliation problem consists in d ...
96.
25/06/2007
Formal Verification of Floating-Point Programs
This paper introduces a methodology to perform for ...
97.
01/04/2007
Copy-and-Paste Between Overlapping Windows
Copy-and-paste, one of the fundamental operations ...
98.
01/01/2007
SomeRDFS in the Semantic Web
The Semantic Web envisions a world-wide distribute ...
99.
01/10/2006
User Interface Façades: Towards Fully Adaptable User Interfaces
User interfaces are becoming more and more complex ...
100.
01/08/2006
MoGo: un joueur de Go artificiel
MoGo has been developped tackling specifically and ...
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - Suivant [Page 4 sur 5]