 |
 |
 |
 |
|
|
||
|---|---|---|
|
inria-00108094v1
Ouvrage (y compris édition critique et traduction)
Christian Artigues, Philippe Baptiste, Jacques Carlier, Philippe Chrétienne, Christelle Guéret et al. Modèles et Algorithmes en Ordonnancement: Exercices et Problèmes Corrigés Ellipses, 227 p, 2004, 978-2729821715 |
||
|
tel-01067244v1
Thèse
Jean-Pierre Lozi. Towards more scalable mutual exclusion for multicore architectures Other [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2014. English. < NNT : 2014PA066119 > |
||
|
inria-00118247v2
Communication dans un congrès
Géraldine Martin, Françoise Détienne, Elisabeth Lavigne. Analysing viewpoints in design through the argumentation process M. Hirose. 8th TC13 IFIP International Conference on Human-Computer Interaction - INTERACT 2001, Jul 2001, Tokyo / Japan, France. IOS Press, pp.521-529, 2001, Human-Computer Interaction: INTERACT '01 |
||
|
hal-00769707v1
Rapport
Hans Schaffers, Michel Corriou, Pierre Francois, Yves Savary, Esa Posio et al. Common Assets identification and Characterisation [Technical Report] 2012, pp.143 |
||
|
hal-01245037v1
Communication dans un congrès
Sundararaman Akshay, Blaise Genest, Bruno Karelovic, Nikhil Vyas. On Regularity of unary Probabilistic Automata STACS 2016, 2016, Orléans, France. STACS 2016, 2016, STACS 2016 |
||
|
hal-00110460v1
Communication dans un congrès
Aurore Collomb-Annichini, Ahmed Bouajjani, Mihaela Sighireanu. TReX: A Tool for Reachability Analysis of Complex Systems G. Berry and H. Common and A. Finkel. Jul 2001, Springer-Verlag, pp.368-372, 2001, serie LNCS 2102 |
||
|
inria-00637938v1
Communication dans un congrès
Mounira Bachir, Sid Touati, Albert Cohen. Decomposing Meeting Graph Circuits to Minimise Kernel Loop Unrolling 9th Workshop on Optimizations for DSP and Embedded Systems (ODES-9), Apr 2011, Chamonix, France. pp.8, 2011 |
||
|
hal-00859571v1
Communication dans un congrès
Walid Bouhafs, Nahla Abdellatif, Frédéric Jean, Jérôme Harmand. Commande optimale en temps minimal d'un procédé biologique d'épuration de l'eau CARI'12, Proceedings of the 11th African Conference on Research in Computer Science and Applied Mathematics, Algeria, October, 13-16, 2012, Alger, Algérie. 2012 |
||
|
hal-01451182v1
Communication dans un congrès
Mohamed Mohamed, Obinna Anya, Sakairi Takashi, Samir Tata, Mandagere Nagapramod et al. The rSLA framework : monitoring and enforcement of service level agreements for cloud services SCC 2016 : 13th International Conference on Services Computing, Jun 2016, San Francisco, United States. IEEE Computer Society, Proceedings SCC 2016 : 13th International Conference on Services Computing, pp.625 - 632, 2018, <10.1109/SCC.2016.87> |
||
|
hal-00662483v1
Pré-publication, Document de travail
Nikolaos Georgantas, S. Hachem, Valérie Issarny, Marco Autili, Davide Di Ruscio et al. Initial Architectural Style for CHOReOS Choreographies (D1.3) 2011 |
||
|
hal-00796131v1
Communication dans un congrès
Nicolas Béchet, Marc Le Pouliquen, Marc Csernel. Comparing Sanskrit Texts for Critical Editions: the sequences move problem 13th Internationlal Conference on Intelligent Text Processing and Computational Linguistics, 2012, New Delhi, India. 2012 |
||
|
inria-00098971v1
Direction d'ouvrage, Proceedings
André Schaff, Francis Lepage, Jean-Pierre Thomesse. Colloque Francophone sur l'Ingénierie des Protocoles - CFIP'99 Hermès Science Publications, 494 p, 1999 |
||
|
hal-00694870v1
Ouvrage (y compris édition critique et traduction)
Jolita Ralyte, Isabelle Mirbel, Rebecca Deneckere. Engineering Methods in the Service-Oriented Context 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings Jolita Ralyté; Isabelle Mirbel; Rébecca Deneckère. Springer, pp.231, 2011, 978-3-642-19996-7. <10.1007/978-3-642-19997-4> |
||
|
hal-01101846v1
Communication dans un congrès
Mai Gehrke, Serge Grigorieff, Jean-Eric Pin. A Topological Approach to Recognition Abramsky, S. et al. ICALP 2010, Jul 2010, Bordeaux, France. Springer, Proceedings ICALP 2010, Part II,, 6199, pp.151 - 162, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-14162-1_13> |
||
|
inria-00073424v1
Rapport
Philippe Flajolet, Patricio Poblete, Alfredo Viola. On the Analysis of Linear Probing Hashing [Research Report] RR-3265, INRIA. 1997 |
||
|
hal-00769715v1
Rapport
Hans Schaffers, Nicos Komninos, Panagiotis Tsarchopoulos, Marc Pallot, Brigitte Trousse et al. Landscape and Roadmap of Future Internet and Smart Cities [Technical Report] 2012, pp.222 |
||
|
hal-01245034v1
Poster
Sucheendra Palaniappan, François Bertaux, Matthieu Pichene, Eric Fabre, Gregory Batt et al. Approximating the dynamics of the Hybrid Stochastic-Deterministic Apoptosis pathway CMSB 2015, 2015, Nantes, France. CMSB 2015, 2015, CMSB 2015 |
||
|
hal-01352278v1
Communication dans un congrès
L Ardaillon, Axel Roebel, Céline Chabot-Canet. Modélisation des paramètres de contrôle pour la synthèse de voix chantée CFA / VISHNO 2016, Apr 2016, Le Mans, France. Actes du 13e Congrès Français d'Acoustique, 2016, <http://cfa2016.univ-lemans.fr/fr/index.html> |
||
|
hal-01084445v1
Communication dans un congrès
Charlotte Hug, Ghazaleh Khodabandelou, Elena Viorica Epure, Rebecca Deneckere, Camille Salinesi. Intention Mining: from logs to intentional process models Quintas Jornadas de Ingenieria de Sistemas Informaticos y de Computacion, Oct 2014, Quito, Ecuador. 2014 |
||
|
inria-00637264v1
Communication dans un congrès
Sid Touati, Christine Eisenbeis. Early Control of Register Pressure for Software Pipelined Loops 12th International Conference (CC 2003), Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2003), Apr 2003, Varsovie, Poland. Springer, 2622, pp.17-32, 2003, LNCS; Compiler Construction. <http://www.springerlink.com/content/7h5qflrrajn4plcx/>. <10.1007/3-540-36579-6_2> |
||
|
hal-01106863v1
Communication dans un congrès
Frédéric Bevilacqua, Sidney Fels, Alexander R. Jensenius, Michael J. Lyons, Norbert Schnell et al. SIG NIME: music, technology, and human-computer interaction CHI'13 EA on Human Factors in Computing Systems, 2013, NA, France. pp.2529-2532, 2013 |
||
|
hal-01006499v1
Communication dans un congrès
Sebastien Bardin, Philippe Herrman, Jérôme Leroux, Olivier Ly, Renaud Tabary et al. The BINCOA Framework for Binary Code Analysis Gopalakrishnan, Ganesh and Qadeer, Shaz. Computer Aided Verification, 2011, United Kingdom. 6806, pp.165-170, 2011, <10.1007/978-3-642-22110-1_13> |
||
|
hal-00932788v1
Communication dans un congrès
David Navalho, Sérgio Duarte, Nuno Preguiça, Marc Shapiro. Incremental Stream Processing using Computational Conflict-free Replicated Data Types CloudDP '13 - 3rd International Workshop on Cloud Data and Platforms, Apr 2013, Prague, Czech Republic. ACM, pp.31-36, 2013, <10.1145/2460756.2460762> |
||
|
hal-01451167v1
Direction d'ouvrage, Proceedings
Quan Z Sheng, Eleni Stroulia, Samir Tata, Sami Bhiri. Service-oriented computing 14th international conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, proceedings 9936, Springer international publishing, pp.849, 2016, Lecture notes in computer science, 978-3-319-46294-3 |
||
|
inria-00528447v1
Communication dans un congrès
Jérôme Feret. Static Analysis of Digital Filters Schmidt, D.A. the 13th European Symposium on Programming - ESOP 2004, Mar 2004, Barcelona, Spain. Springer, 2986, pp.33-48, 2004, Lecture Notes in Computer Science; Programming Languages and Systems. <10.1007/978-3-540-24725-8_4> |
||
|
hal-00930257v1
Direction d'ouvrage, Proceedings
Roberto Giacobazzi, Radhia Cousot. Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13 Roberto Giacobazzi and Radhia Cousot. ACM, pp.574, 2013, 978-1-4503-2544-8 |
||
|
hal-01224271v1
Communication dans un congrès
Dimitri Bouche, Jean Bresson. Articulation dynamique de structures temporelles pour l'informatique musicale Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France |
||
|
hal-01106859v1
Communication dans un congrès
Diemo Schwarz. Interacting with a Corpus of Sounds SI13: NTU/ADM Symposium on Sound and Interactivity, Nov 2013, Singapore, Singapour. 2013 |
||
|
hal-01247632v1
Communication dans un congrès
Mai Gehrke, Andreas Krebs, Jean-Eric Pin. From Ultrafilters on Words to the Expressive Power of a Fragment of Logic Descriptional Complexity of Formal Systems 2014, Aug 2014, Turku, Finland. Springer, Descriptional Complexity of Formal Systems, Lecture Notes in Computer Science 8614, (2014), 138-149., 8614, pp.138-149, 2014, Descriptional Complexity of Formal Systems, Lecture Notes in Computer Science. <http://www.math.utu.fi/dcfs2014/>. <10.1007/978-3-319-09704-6_13> |
||
|
hal-01106865v1
Communication dans un congrès
Sarah Fdili Alaoui, Christian Jacquemin, Frédéric Bevilacqua. Chiseling bodies: an augmented dance performance CHI'13 Extended Abstract on Human Factors in Computing Systems, 2013, NA, France. pp.2915-2918, 2013 |
||
|
|
||