1. Recherche
164 résultats  enregistrer la recherche
...
tel-00150912v1  Thèse
Pierre Letouzey. Programmation fonctionnelle certifiée : L'extraction de programmes dans l'assistant Coq
Autre [cs.OH]. Université Paris Sud - Paris XI, 2004. Français
...
inria-00074892v1  Rapport
Jean-Claude Raoult, Frédéric Voisin. Set-theoretic graph rewriting
[Research Report] RR-1665, INRIA. 1992
...
hal-01126796v1  Communication dans un congrès
Ana Cavalcanti, Marie-Claude Gaudel. Data Flow Coverage for Circus-Based Testing
Stefania Gnesi, Arend Rensink. Fundamental Approaches to Software Engineering - 17th International Conference,, Apr 2014, Grenoble, France. Springer, Lecture Notes in Computer Science, pp.415-429, 2014, Fundamental Approaches to Software Engineering - 17th International Conference,. <http://dx.doi.org/10.1007/978-3-642-54804-8>. <10.1007/978-3-642-54804-8_29>
...
hal-01126800v1  Article dans une revue
Ana Cavalcanti, Marie-Claude Gaudel. Test selection for traces refinement
Journal of Theoretical Computer Science (TCS), Elsevier, 2015, 563, pp.1-42. <http://dx.doi.org/10.1016/j.tcs.2014.08.012>. <10.1016/j.tcs.2014.08.012>
...
hal-01126803v1  Communication dans un congrès
Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff. The Circus Testing Theory Revisited in Isabelle/HOL
Lindsay Groves, Jing Sun. Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Method, ICFEM, Oct 2013, Queenstown, New Zealand. Springer, Lecture Notes in Computer Science, 8144, pp.131--147, 2013, Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Method. <http://dx.doi.org/10.1007/978-3-642-41202-8>. <10.1007/978-3-642-41202-8_10>
...
hal-01254907v1  Communication dans un congrès
Michelle Cheatham, Zlatan Dragisic, Jérôme Euzenat, Daniel Faria, Alfio Ferrara et al.  Results of the Ontology Alignment Evaluation Initiative 2015
10th ISWC workshop on ontology matching (OM), Oct 2015, Bethlehem, United States. No commercial editor., pp.60-115, 2016
...
inria-00459017v1  Communication dans un congrès
Philippe Rolet, Olivier Teytaud. Adaptive Noisy Optimization
EvoStar 2010, Apr 2010, Istambul, Turkey. 2010
...
hal-00643759v1  Communication dans un congrès
Mounira Bachir, David Gregg, Sid Touati. Using The Meeting Graph Framework to Minimise Kernel Loop Unrolling for Scheduled Loops
22nd International Workshop on Languages and Compilers for Parallel Computing (LCPC 2009), Oct 2009, Newark, United States. Springer, 5898, pp.278-292, 2009, LNCS; Languages and Compilers for Parallel Computing. <10.1007/978-3-642-13374-9_19>
hal-00697409v1  Communication dans un congrès
Serge Abiteboul, Ioana Manolescu, Nicoleta Preda. Sharing Content in Structured P2P Networks
21èmes journées base de données avancées (BDA 2005), Oct 2005, Saint Malo, France. 2005
...
tel-01016710v1  Thèse
Cyprien Pindat. A Content-Aware Design Approach to Multiscale Navigation
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. <NNT : 2013PA112361>
hal-00765226v1  Ouvrage (y compris édition critique et traduction)
Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Sylvie Boldo, Denis Bouhineau et al.  Une introduction à la science informatique pour les enseignants de la discipline en lycée
Gilles Dowek. CRDP Paris, pp.376, 2011, Repères pour agir (RPA disciplines & compétences), Christine Moulin, 978-2-86631-188-9
hal-00765220v1  Ouvrage (y compris édition critique et traduction)
Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Claudio Cimellli, Albert Cohen et al.  Informatique et Sciences du Numérique - Spécialité ISN en Terminale S
Eyrolles, pp.303, 2012, ISBN 978-2-212-13543-5
...
tel-00144130v2  Thèse
Yann Ponty. Modélisation de séquences génomiques structurées, génération aléatoire et applications
Mathématiques [math]. Université Paris Sud - Paris XI, 2006. Français
...
hal-00270574v1  Chapitre d'ouvrage
Marie-Claude Gaudel, Pascale Le Gall. Testing data types implementations from algebraic specifications
R. Hierons, J. Bowen, and M. Harman. Formal Methods and Testing, Springer-Verlag, pp.209--239, 2008, Lecture Notes in Computer Science, <10.1007/978-3-540-78917-8_7>
...
tel-00652508v1  Thèse
François Bobot. Logique de séparation et vérification déductive
Autre [cs.OH]. Université Paris Sud - Paris XI, 2011. Français. <NNT : 2011PA112332>
...
ensl-01310023v2  Article dans une revue
Sylvie Boldo, Stef Graillat, Jean-Michel Muller. On the robustness of the 2Sum and Fast2Sum algorithms
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2017, 44 (1), <http://dl.acm.org/citation.cfm?id=3054947>
inria-00099711v1  Article dans une revue
Gilles Dowek, Thérèse Hardin, Claude Kirchner. Theorem Proving Modulo
Journal of Automated Reasoning, Springer Verlag, 2003, 31 (1), pp.33-72
hal-00701503v1  Communication dans un congrès
Serge Abiteboul, Itay Dar, Radu Pop, Gabriel Vasile, Dan Vodislav. EDOS Distribution System: a P2P architecture for open-source content dissemination
OSS 2005 - The First International Conference on Open Source Systems, Jul 2005, Genova, Italy. 2005
...
lirmm-00087576v1  Communication dans un congrès
Mathieu Roche, Yves Kodratoff. Choix du taux d'élagage pour l'extraction de la terminologie. Une approche fondée sur les courbes ROC
EGC'06 : Extraction et Gestion des Connaissances, Jan 2006, Villeneuve d'Ascq (France), pp.205-216, 2006
...
tel-00769929v1  Thèse
Gervais Mendy. Chaînes alternées dans les graphes arête-coloriés : k-linkage et arbres couvrants
Autre [cs.OH]. Université Paris Sud - Paris XI, 2011. Français. <NNT : 2011PA112194>
...
tel-00738959v1  Thèse
Valentin Borozan. Proper and weak-proper trees in edges-colored graphs and multigraphs
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. <NNT : 2011PA112165>
...
hal-01438386v1  Rapport
Alex Alberto, Marie-Claude Gaudel. Defining the Circus operational semantics in the K-framework
[Research Report] LRI - CNRS, University Paris-Sud; ICMC, University of Sao Paulo. 2017, pp.59
...
tel-00772458v1  Thèse
Mathieu Nancel. Conception et combinaisons de techniques d'interaction mid-air dans les environnements à grands écrans
Autre [cs.OH]. Université Paris Sud - Paris XI, 2012. Français. <NNT : 2012PA112325>
...
tel-00763370v1  Thèse
Vincent Armant. Diagnostic distribué de systèmes respectant la confidentialité
Autre [cs.OH]. Université Paris Sud - Paris XI, 2012. Français. <NNT : 2012PA112197>
...
tel-00839850v1  Thèse
Emilien Ghomi. Designing expressive interaction techniques for novices inspired by expert activities : the case of musical practice
Other [cs.OH]. Université Paris Sud - Paris XI, 2012. English. <NNT : 2012PA112400>
...
inria-00589692v1  Communication dans un congrès
Dorit Nuzman, Sergei Dyshel, Erven Rohou, Ira Rosen, Kevin Williams et al.  Vapor SIMD: Auto-Vectorize Once, Run Everywhere
International Symposium on Code Generation and Optimization, Apr 2011, Chamonix, France. 2011
...
inria-00001163v1  Communication dans un congrès
Gregory Kucherov, Laurent Noé, Yann Ponty. Estimating seed sensitivity on homogeneous alignments
4th Symposium on Bioinformatics and bioengineering - BIBE'2004, May 2004, Taichung, Taiwan. IEEE Computer Society, pp.387-394, 2004, Proceedings of the Fourth IEEE Symposium on Bioinformatics and Bioengineering (BIBE'04). <http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1317369>. <10.1109/BIBE.2004.1317369>
...
inria-00099891v1  Communication dans un congrès
Dominique Barth, Johanne Cohen, Alain Denise, Romain Rivière. Shuffling biological sequencess with motifs constraints
Algorithms and Computational Methods for Biochemical and Evolutionary Networks - CompBioNets'2004, Dec 2004, Recife, Brazil. 18 p, 2004
inria-00445489v1  Communication dans un congrès
Mohammed Fellahi, Albert Cohen. Software Pipelining in Nested Loops with Prolog-Epilog Merging
André Seznec and Joel Emer and Mike O'Boyle and Margaret Martonosi and Theo Ungerer. HiPEAC 2009 - High Performance and Embedded Architectures and Compilers, Jan 2009, Paphos, Cyprus. Springer, 2009, <10.1007/978-3-540-92990-1_8>

Contact


archive-ouverte@inria.fr