1. Rechercher
283 résultats  enregistrer la recherche
...
inria-00400272v1  Rapport
Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson et al.  Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form
[Research Report] RR-6976, INRIA. 2009, pp.16
...
hal-00000840v1  Communication dans un congrès
Fabien Gaucher, Erwan Jahier, Florence Maraninchi, Bertrand Jeannet. Automatic State Reaching for Debugging Reactive Programs
the Fifth International Workshop on Automated Debugging (AADEBUG 2003), Sep 2003, Ghent, France. 2003
...
inria-00156468v1  Rapport
Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto Sangiovanni-Vincentelli et al.  Loosely Time-Triggered Architectures based on Communication-by-Sampling
[Research Report] PI 1854, 2007, pp.41
...
inria-00001058v1  Communication dans un congrès
Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Nov 2004, Leiden, The Netherlands, 3188, pp.1-16, 2004, Lecture Notes in Computer Science; Formal Methods for Components and Objects: Second International Symposium, FMCO 2003. <10.1007/b100112>
...
inria-00424279v1  Communication dans un congrès
Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten. Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes
6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.71-86, 2007
...
hal-01273170v1  Pré-publication, Document de travail
David Margery, Frédéric Desprez. On the sustainability of large-scale computer science testbeds: the Grid'5000 case
2016
inria-00424283v1  Communication dans un congrès
Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet. Refinement and Consistency of Timed Modal Specifications.
3rd International Conference on Language and Automata Theory and Applications (LATA'09), Apr 2009, Tarragona, Spain. Springer, 5457, pp.152-163, 2009, LNCS. <10.1007/978-3-642-00982-2_13>
inria-00424356v1  Communication dans un congrès
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. A Compositional Approach on Modal Specifications for Timed Systems.
11th International Conference on Formal Engineering Methods (ICFEM'09), Dec 2009, Rio de Janeiro, Brazil. Springer, 5885, pp.679-697, 2009, LNCS
...
hal-00525490v1  Communication dans un congrès
Ylìès Falcone, Mohamad Jaber. Towards Automatic Integration Of Or-BAC Security Policies Using Aspects
International Conference on Software Engineering Research and Practice (SERP 2010), Jul 2010, Las Vegas, Nevada, United States. pp.5, 2010
inria-00526261v1  Communication dans un congrès
Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin et al.  A Protocol for Loosely Time-Triggered Architectures
Embedded Software Conference (EMSOFT '02), Oct 2002, Grenoble, France. Springer, 2491, pp.252-265, 2002, Lecture notes in computer science. <10.1007/3-540-45828-X_19>
hal-00724508v1  Communication dans un congrès
Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE
ICSSEA 2012 - 24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7, 2012
...
hal-00872751v1  Communication dans un congrès
Matthijs Douze, Jérôme Revaud, Cordelia Schmid, Hervé Jégou. Stable hyper-pooling and query expansion for event detection
ICCV 2013 - IEEE International Conference on Computer Vision, Dec 2013, Sydney, Australia. IEEE, pp.1825-1832, 2013, <10.1109/ICCV.2013.229>
...
inria-00476910v1  Communication dans un congrès
Gwenaël Delaval, Hervé Marchand, Eric Rutten. Contracts for modular discrete controller synthesis
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, Apr 2010, Stockholm, Sweden. pp.57-66, 2010, <http://portal.acm.org/citation.cfm?doid=1755888.1755898>. <10.1145/1755888.1755898>
...
hal-00746980v1  Communication dans un congrès
Bahjat Safadi, Nadia Derbas, Abdelkader Hamadi, Franck Thollard, Georges Quénot et al.  Quaero at TRECVID 2011: Semantic Indexing and Multimedia Event Detection
TRECVID 2011 - TREC Video Retrieval Evaluation workshop, Nov 2011, Gaithersburg, MD, United States. 10p., 2011, <http://www-nlpir.nist.gov/projects/tvpubs/tv.pubs.org.html>
...
inria-00548637v1  Communication dans un congrès
Hervé Jégou, Matthijs Douze, Cordelia Schmid, Patrick Pérez. Aggregating local descriptors into a compact image representation
CVPR 2010 - 23rd IEEE Conference on Computer Vision & Pattern Recognition, Jun 2010, San Francisco, United States. IEEE Computer Society, pp.3304-3311, 2010, <http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5540039>. <10.1109/CVPR.2010.5540039>
...
inria-00548638v1  Communication dans un congrès
Hervé Jégou, Matthijs Douze, Cordelia Schmid. Représentation compacte des sacs de mots pour l'indexation d'images
RFIA 2010 - Reconnaissance des Formes et Intelligence Artificielle, Jan 2010, Caen, France. 2010
...
inria-00548659v1  Communication dans un congrès
Ivan Laptev, Marcin Marszałek, Cordelia Schmid, Benjamin Rozenfeld. Learning Realistic Human Actions from Movies
CVPR 2008 - IEEE Conference on Computer Vision & Pattern Recognition, Jun 2008, Anchorage, United States. IEEE Computer Society, pp.1-8, 2008, <http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4587756>. <10.1109/CVPR.2008.4587756>
...
inria-00449851v1  Rapport
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet. Aspects Preserving Properties
[Research Report] RR-7155, INRIA. 2009
...
hal-00847827v1  Communication dans un congrès
Saddek Bensalem, Marius Bozga, Benoit Delahaye, Cyrille Jégourel, Axel Legay et al.  Statistical Model Checking QoS properties of Systems with SBIP
Tiziana Margaria and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Oct 2012, Heraklion, Greece. Springer, 7609, pp.327-341, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-34026-0_25>
...
inria-00548648v1  Chapitre d'ouvrage
Hervé Jégou, Matthijs Douze, Cordelia Schmid. Recent advance in image search
Frank Nielsen. Emerging Trends in Visual Computing, 5416, Springer-Verlag, pp.305-326, 2009, Lecture Notes in Computer Science, 978-3-642-00826-9. <10.1007/978-3-642-00826-9_14>
...
inria-00548645v1  Communication dans un congrès
Marcin Marszałek, Ivan Laptev, Cordelia Schmid. Actions in Context
CVPR 2009 - IEEE Conference on Computer Vision & Pattern Recognition, Jun 2009, Miami, United States. IEEE Computer Society, pp.2929-2936, 2009, <http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5206557>. <10.1109/CVPR.2009.5206557>
...
inria-00000175v1  Rapport
Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud. Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications
[Research Report] PI 1730, 2005, pp.22
...
hal-01086874v1  Communication dans un congrès
Cristian Ene, Yassine Lakhnech, Van Chan Ngo. Formal Indistinguishability Extended to the Random Oracle Model
ESORICS 2009, Sep 2009, St Malo, France. pp.555 - 570, 2009, <10.1007/978-3-642-04444-1_34>
...
inria-00318614v1  Communication dans un congrès
Hervé Jégou, Laurent Amsaleg, Cordelia Schmid, Patrick Gros. Query-Adaptative Locality Sensitive Hashing
ICASSP 2008 - IEEE International Conference on Acoustics, Speech, and Signal Processing, Mar 2008, Las Vegas, United States. IEEE, pp.825-828, 2008, <10.1109/ICASSP.2008.4517737>
...
inria-00466158v1  Rapport
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoit Delahaye et al.  Statistical abstraction and model-checking of large heterogeneous systems
[Research Report] RR-7238, INRIA. 2010
...
hal-00835817v1  Communication dans un congrès
Ahmed El Rheddane, Noel De Palma, Fabienne Boyer, Frédéric Dumont, Jean-Marc Menaud et al.  Dynamic Scalability of a Consolidation Service
International Conference on Cloud Computing, Indus Track, Jun 2013, Santa Clara Marriott, United States. pp.01-09, 2013
...
hal-01286330v1  Communication dans un congrès
Maria Pina Limongelli, Dominique Siegert, Eric Merliot, R Vidal, Julien Waeytens et al.  Static and dynamic testing of a damaged post tensioned concrete beam
EVACES'15, 6th International Conference on Experimental Vibration Analysis for Civil Engineering Structures, Oct 2015, Dübendorf, Switzerland. MATEC Web of Conferences EVACES'15, 6th International Conference on Experimental Vibration Analysis for Civil Engineering Structures, pp.05004, 2015, <10.1051/matecconf/20152405004>
...
inria-00436560v1  Rapport
Gwenaël Delaval, Hervé Marchand, Eric Rutten. BZR Contracts for Modular Discrete Controller Synthesis
[Research Report] RR-7111, INRIA. 2009
...
hal-00988772v1  Communication dans un congrès
Abdelaziz Djelouah, Jean-Sébastien Franco, Edmond Boyer, François Le Clerc, Patrick Pérez. Segmentation multi-vues par coupure de graphes
RFIA 2014 - Reconnaissance de Formes et Intelligence Artificielle, Jun 2014, Rouen, France. 2014

Contact | Consulter le Guide UGA


Logo de l'INPG Logo de l'INPG Logo de l'INRIA Logo de l'USMB Logo du CEA Logo de l'IEPG Logo de l'ENSAG