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
51.
15/02/2012
Materialized View Selection for XQuery Workloads
The efficient processing of XQuery still poses sig ...
52.
11/02/2012
53.
08/02/2012
54.
10/01/2012
On Theorem Prover-based Testing
HOL-TestGen is a specification and test case gener ...
55.
15/12/2011
56.
01/12/2011
Robust Module-based Data Management
The current trend for building an ontology-based d ...
57.
18/08/2011
View Selection in Semantic Web Databases
We consider the setting of a Semantic Web database ...
58.
15/07/2011
Le logiciel VARNA à l'honneur
VARNA (http://varna.lri.fr) est une applet Java dé ...
59.
29/06/2011
Glucose 2 meilleur solveur SAT (applications/SAT+UNSAT)
La compétition SAT 2011 a été plus compétitive que ...
60.
08/05/2011
Mid-air Pan-and-Zoom on Wall-sized Displays
Very-high-resolution wall-sized displays offer new ...
61.
07/05/2011
TorusDesktop: Pointing via the Backdoor is Sometimes Shorter
When pointing to a target on a computer desktop, w ...
62.
30/03/2011
EATCS Award for Best ETAPS Paper 2011
Sylvain Conchon, Evelyne Contejean et Mohamed Igue ...
63.
27/03/2011
Coverage-biased random explo-ration of large models and application to testing
This paper presents several randomised algorithms ...
64.
21/03/2011
Testing for refinement in Circus
Circus combines constructs to define complex data ...
65.
01/01/2011
66.
03/10/2010
UIMarks: Quick Graphical Interaction with Specific Targets
This paper reports on the design and evaluation of ...
67.
01/06/2010
68.
01/02/2010
HOL-Boogie - An Interactive Prover-Backend for the Verified C Compiler
Boogie is a verification condition generator for a ...
69.
01/12/2009
Non-conservative Extension of a Peer in a P2P Inference System
This paper points out that the notion of non-conse ...
70.
09/07/2009
Meilleur SAT-Solveur au monde sur les instances industrielles
glucose, démonstrateur SAT développé par L. Simon ...
71.
05/05/2009
Proving Fairness and Implementation Correctness of a Microkernel Scheduler
We report on the formal proof of a microkernel’s k ...
72.
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. ...
73.
08/04/2009
DynaSpot: Speed-Dependent Area Cursor
We present DynaSpot, a new technique for acquiring ...
74.
08/04/2009
Musink: Composing Music through Augmented Drawing
We focus on the creative use of paper in the music ...
75.
01/04/2009
DL-liteR in the Light of Propositional Logic for Decentralized Data Management
This paper provides a decentralized data model and ...
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - Suivant [Page 3 sur 5]