 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-01425902v1
Communication dans un congrès
Xuan Do, Stephane Louise, Albert Cohen. Transaction Parameterized Dataflow: A Model for Context-Dependent Streaming Applications Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2016, Dresden, Germany |
||
|
inria-00527850v1
Rapport
Cedric Dumoulin, Sébastien Gerard. Have Multiple Views with one Single Diagram! A Layer Based Approach of UML Diagrams [Research Report] RR-7432, INRIA. 2010, pp.9 |
||
|
hal-00925345v1
Communication dans un congrès
Jonathan Hayman, Tobias Heindel. Pattern Graphs and Rule-Based Models: The Semantics of Kappa Frank Pfenning. FOSSACS - 16th International Conference on Foundations of Software Science and Computation Structures, Mar 2013, Rome, Italy. Springer, 7794, pp.1--16, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-37075-5> |
||
|
hal-00772714v1
Communication dans un congrès
Antoine Meler, Marion Decrouez, James L. Crowley. BetaSAC : Un nouvel échantillonnage conditionnel pour RANSAC ORASIS 2011 - Congrès des jeunes chercheurs en vision par ordinateur, Jun 2011, Praz-sur-Arly, France. pp.x-x, 2011 |
||
|
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-01429584v1
Rapport
Yves Caniou, Eddy Caron, Benjamin Depardon, Helene M. Courtois, Romain Teyssier. Cosmological Simulations using Grid Middleware [Research Report] RR2007-11, LIP - ENS Lyon. 2007 |
||
|
hal-01429585v1
Communication dans un congrès
Yves Caniou, Eddy Caron, Helene M. Courtois, Benjamin Depardon, Romain Teyssier. Cosmological Simulations using Grid Middleware Fourth High-Performance Grid Computing Workshop (HPGrid'07), Mar 2007, Long Beach, United States. IEEE |
||
|
hal-00829173v1
Communication dans un congrès
Amine El Kouhen, Cedric Dumoulin, Sébastien Gerard, Pierre Boulet. A Component-Based Approach for Specifying DSML's Concrete Syntax Heiko Kern; Juha-Pekka Tolvanen; Paolo Bottoni. 2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Jul 2013, Montpellier, France. ACM, pp.3-11, 2013, <10.1145/2489820.2489822> |
||
|
hal-00825187v1
Communication dans un congrès
Amel Znaidia, Aymen Shabou, Hervé Le Borgne, Céline Hudelot, Nikos Paragios. Bag-of-multimedia-words for image classification Proceedings of the 21st International Conference on Pattern Recognition, ICPR 2012, Nov 2012, Tsukuba, Japan. pp.1509-1512, 2012 |
||
|
inria-00329460v1
Autre publication
Mehdi Darouich, Stephane Guyetant, Dominique Lavenier. Architecture flexible pour la stéréovision embarquée Court article pour le colloque national du GdR Soc-Sip. 2008 |
||
|
hal-00643674v1
Communication dans un congrès
Michel Batteux, Philippe Fiani, Nicolas Rapin, Philippe Dague. Génération du comportement observable d'un système pour l'étude de la diagnosticabilité de défauts QUALITA 2011, Mar 2011, Angers, France. 2011 |
||
|
hal-00643664v1
Communication dans un congrès
Michel Batteux, Philippe Dague, Nicolas Rapin, Philippe Fiani. Diagnosability study of technological systems 24th International Conference on Industrial, Engineering and other Applications of Applied Intelligent Systems IEA/AIE 2011, Jun 2011, Syracuse, United States. 6703, 2011, LNAI |
||
|
inria-00383793v1
Rapport
Ali Ayad. On formal methods for certifying floating-point C programs [Research Report] RR-6927, INRIA. 2009, pp.34 |
||
|
cea-01435998v1
Communication dans un congrès
Benjamin Lac, Marc Beunardeau, Anne Canteaut, Jacques Fournier, Renaud Sirdey. A First DFA on PRIDE: from Theory to Practice The 11th International Conference on Risks and Security of Internetand Systems - CRISIS 2016, Sep 2016, Roscoff, France. 2016, Lectures Notes in Computer Science |
||
|
cea-01436006v1
Communication dans un congrès
Alexandre Adomnicai, Benjamin Lac, Anne Canteaut, Jacques Fournier, Laurent Masson et al. On the importance of considering physical attacks when implementing lightweight cryptography Lightweight Cryptography Workshop 2016 | NIST, Oct 2016, Gaithersburg, United States. 2016, < http://www.nist.gov/itl/csd/ct/lwc-workshop2016.cfm> |
||
|
inria-00585728v1
Communication dans un congrès
David Baelde, Romain Beauxis, Samuel Mimram. Liquidsoap: a High-Level Programming Language for Multimedia Streaming Cerná, Ivana and Gyimóthy, Tibor and Hromkovic, Juraj and Jefferey, Keith and Královic, Rastislav and Vukolic, Marko and Wolf, Stefan. SOFSEM 2011: Theory and Practice of Computer Science, Jan 2011, Nový Smokovec, Slovakia. Springer Berlin / Heidelberg, 6543, pp.99-110, 2011, Lecture Notes in Computer Science; SOFSEM 2011: Theory and Practice of Computer Science. <10.1007/978-3-642-18381-2_8> |
||
|
hal-01263633v1
Communication dans un congrès
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki. Moment Semantics for Reversible Rule-Based Systems 7th International Conference, Reversible Computation 2015, Jul 2015, Grenoble, France. Springer, LNCS, 2015, Reversible Computation. <10.1007/978-3-319-20860-2_1> |
||
|
hal-01237297v1
Rapport
Anne Canteaut, Sergiu Carpov, Caroline Fontaine, Tancrède Lepoint, Maria Naya-Plasencia et al. How to Compress Homomorphic Ciphertexts [Research Report] 2015/113, IACR Cryptology ePrint Archive. 2015, pp.21 |
||
|
hal-00651823v1
Communication dans un congrès
Marion Decrouez, Romain Dupont, François Gaspard, Frédéric Devernay, James L. Crowley. Modélisation explicite des objets et de l'environnement en combinant les approches topologique et métrique pour la localisation ORASIS 2011 - 13e Congrès des jeunes chercheurs en vision par ordinateur, Jun 2011, Praz-sur-Arly, France. 8p., 2011 |
||
|
hal-00953092v1
Communication dans un congrès
Nicolas Ballas, Benjamin Labbé, Hervé Le Borgne, Philippe Gosselin, Miriam Redi et al. IRIM at TRECVID 2013: Semantic Indexing and Instance Search Proc. TRECVID Workshop, 2013, Gaithersburg, MD, United States. 2013 |
||
|
inria-00204114v1
Communication dans un congrès
Frédéric Loiret, David Servat, Lionel Seinturier. A First Experimentation on High-Level Tooling Support upon Fractal ECOOP 2006 - Workshop Fractal, Jul 2006, Nantes, France. 2006 |
||
|
inria-00553519v1
Communication dans un congrès
Éric Villemonte de La Clergerie, Christelle Ayache, Gaël De Chalendar, Gil Francopoulo, Claire Gardent et al. Large scale production of syntactic annotations for French First Workshop on Automated Syntactic Annotations for Interoperable Language Resources, Jan 2008, Hong-Kong, Hong Kong SAR China. 2008 |
||
|
hal-00952318v1
Chapitre d'ouvrage
Pablo De Oliveira Castro, Stéphane Louise, Denis Barthou. DSL Stream Programming on Multicore Architectures Programming multi-core and many-core computing systems, John Wiley and Sons, chapter 12, 2014, 978-0-470-93690-0 |
||
|
hal-00551572v1
Communication dans un congrès
Pablo De Oliveira Castro, Stéphane Louise, Denis Barthou. A multidimensional array slicing DSL for Stream Programming International IEEE Workshop on Practical Aspects of High-Level Parallel Programming, Feb 2010, Krakow, Poland. p913-918, 2010 |
||
|
inria-00551510v1
Communication dans un congrès
Cupertino Miranda, Antoniu Pop, Philippe Dumont, Albert Cohen, Marc Duranton. Erbium: A Deterministic, Concurrent Intermediate Representation to Map Data-Flow Tasks to Scalable, Persistent Streaming Processes International Conference on Compilers Architectures and Synthesis for Embedded Systems (CASES'10), Oct 2010, Scottsdale, United States. 11p, 2010 |
||
|
hal-00551584v1
Communication dans un congrès
Pablo De Oliveira Castro, Stéphane Louise, Denis Barthou. Reducing Memory Requirements of Stream Programs by Graph Transformations International IEEE Conference on High Performance Computing and Simulation, Jun 2011, Caen, France. p171-180, 2010, <10.1109/HPCS.2010.5547134> |
||
|
hal-00801235v1
Communication dans un congrès
Amine El Kouhen, Cedric Dumoulin, Sébastien Gerard, Pierre Boulet. Specifez vos éditeurs de diagrammes à l'aide de composants réutilisables 2ème Conférence en Ingénierie Logiciele (CIEL'13), Apr 2013, Nancy, France. 2013 |
||
|
hal-00551680v1
Communication dans un congrès
Pablo De Oliveira Castro, Stéphane Louise, Denis Barthou. Automatic Mapping of Stream Programs on Multicore Architectures International Workshop on Compilers for Parallel Computers, Jul 2010, Vienna, Austria |
||
|
hal-00551180v1
Communication dans un congrès
Sebastien Imperiale, Gary Cohen, Nicolas Leymarie, Patrick Joly. Modélisation par éléments finis mixtes spectraux de capteurs piézoélectriques Société Française d'Acoustique - SFA. 10ème Congrès Français d'Acoustique, Apr 2010, Lyon, France. 2010 |
||
|
hal-00738384v1
Article dans une revue
Philippe Caillou, Javier Gil-Quijano, Xiao Zhou. Automated observation of multi-agent based simulations: a statistical analysis approach Studia Informatica Universalis, Hermann, 2013 |
||
|
|
||