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.
01/02/2010
HOL-Boogie - An Interactive Prover-Backend for the Verified C Compiler
Boogie is a verification condition generator for a ...
77.
01/12/2009
Non-conservative Extension of a Peer in a P2P Inference System
This paper points out that the notion of non-conse ...
78.
09/07/2009
Meilleur SAT-Solveur au monde sur les instances industrielles
glucose, démonstrateur SAT développé par L. Simon ...
79.
05/05/2009
Proving Fairness and Implementation Correctness of a Microkernel Scheduler
We report on the formal proof of a microkernel’s k ...
80.
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. ...
81.
08/04/2009
DynaSpot: Speed-Dependent Area Cursor
We present DynaSpot, a new technique for acquiring ...
82.
08/04/2009
Musink: Composing Music through Augmented Drawing
We focus on the creative use of paper in the music ...
83.
01/04/2009
DL-liteR in the Light of Propositional Logic for Decentralized Data Management
This paper provides a decentralized data model and ...
84.
26/03/2009
85.
02/03/2009
Semantics, Calculi, and Analysis for Object-oriented Specifications.
We present a formal semantics for an object-orient ...
86.
29/11/2008
Automated motif extraction and classification in RNA tertiary structures
We used a novel graph-based approach to extract RN ...
87.
20/10/2008
88.
19/10/2008
OctoPocus: A Dynamic Guide for Learning Gesture-Based Command Sets
OctoPocus, is a dynamic guide that combines on-scr ...
89.
01/09/2008
Model-Based Adaptation of Behavioral Mismatching Components
Component-Based Software Engineering focuses on th ...
90.
01/09/2008
91.
01/07/2008
92.
09/04/2008
Sigma Lenses: Focus-Context Transitions Combining Space, Time and Translucence
Focus+context techniques such as fisheye lenses ar ...
93.
25/03/2008
94.
28/01/2008
The Average Complexity of Tree Alignment
Le fait étonnant est que la complexité moyenne de ...
95.
06/11/2007
Exploration Uniforme de très grands modèles
Etant donné un système qui est modélisé comme la c ...
96.
08/10/2007
Verifying a signature architecture: a comparative case study.
We report on a case study in applying different fo ...
97.
22/07/2007
L2R: A Logical Method for Reference Reconciliation
The reference reconciliation problem consists in d ...
98.
25/06/2007
Formal Verification of Floating-Point Programs
This paper introduces a methodology to perform for ...
99.
01/04/2007
Copy-and-Paste Between Overlapping Windows
Copy-and-paste, one of the fundamental operations ...
100.
01/01/2007
SomeRDFS in the Semantic Web
The Semantic Web envisions a world-wide distribute ...
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - Suivant [Page 4 sur 5]