Nombre de documents

43


Pierre Jouvelot is Senior Researcher at the Centre de recherche en informatique, MINES ParisTech, PSL Research University (France).


Article dans une revue7 documents

  • Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt. Parallelizing with BDSC, a resource-constrained scheduling algorithm for shared and distributed memory systems. Parallel Computing, Elsevier, 2015, 41, pp.66 - 89. <10.1016/j.parco.2014.11.004>. <hal-01097328>
  • Hughes-Jehan Vibert, Pierre Jouvelot, Benoît Pin. Legivoc - connecting law in a changing world. Journal of Open Access to Law, 2013, 1 (1), 19 p. <hal-00937740>
  • Samuel Benveniste, Pierre Jouvelot, Benoît Pin, Renaud Péquignot. The MINWii project: Renarcissization of patients suffering from Alzheimer's disease through video game-based music therapy. Science direct, 2012, Vol. 3 (Issue 4), pp.111-120. <10.1016/j.entcom.2011.12.004>. <hal-00831327>
  • Pierre Jouvelot, Samuel Benveniste, Mélodie Boulay, Sandra Boespflug, Sandra Rigaud. A Pilot Usability Study of MINWii, a Music Therapy Game for Demented Patients. Technology and Health Care, IOS Press, 2011, Volume 19 (4), pp.233-246. <10.3233/THC-2011-0628>. <hal-00628624>
  • Pierre Jouvelot, Yann Orlarey. Dependent vector types for data structuring in multirate Faust. Computer Languages, Systems and Structures, Elsevier, 2011, Volume 37 (Issue 3), pp.113-131. <10.1016/j.cl.2011.03.001>. <hal-00628564>
  • Pierre Jouvelot, Yann Orlarey. Dependent Vector Types for Multirate Faust. Proceedings of the Sound and Music Computing Conference, 2010, SMC'10 2010, pp.Pages 345--352. <hal-00628600>
  • Samuel Benveniste, Pierre Jouvelot, Renaud Michel, Edith Lecourt. La Wiimprovisation en musicothérapie analytique de groupe : design participatif avec des enfants atteints de troubles du comportement. Revue française de musicothérapie, 2009, Vol. 29 (No. 3), pp. 17-33. <hal-00829753>

Communication dans un congrès31 documents

  • Pierre Wargnier, Giovanni Carletti, Yann Laurent-Corniquet, Samuel Benveniste, Pierre Jouvelot, et al.. Field Evaluation with Cognitively-Impaired Older Adults of Attention Management in the Embodied Conversational Agent Louise. 4th International Conference on Serious Games and Applications for Health (IEEE SeGAH 2016) , May 2016, Orlando, United States. <hal-01266477v2>
  • Yann Orlarey, Pierre Jouvelot. Signal Rate Inference for Multi-Dimensional Faust. The 28th symposium on Implementation and Application of Functional Languages (IFL 2016), Aug 2016, Leuven, Belgium. <hal-01364119>
  • Hughes-Jehan Vibert, Benoît Pin, Pierre Jouvelot. Aligning Legivoc Legal Vocabularies by Crowdsourcing. Language and Semantics Technology for Legal Domain (LST4LD) Workshop, 10th Recent Advances in Natural Processing Conference, Sep 2015, Hissar, Bulgaria. <hal-01251086>
  • Emilio Jesús Gallego Arias, Pierre Jouvelot. Adventures in the (not so) Complex Space . The 7th Coq Workshop, Jun 2015, Sophia Antipolis, France. <https://coq.inria.fr/coq-workshop/2015>. <hal-01251147>
  • Pierre Wargnier, Adrien Malaisé, Julien Jacquemot, Samuel Benveniste, Pierre Jouvelot, et al.. Towards Attention Monitoring of Older Adults with Cognitive Impairment During Interaction with an Embodied Conversational Agent. The Third International Workshop on Virtual and Augmented Assistive Technology (VAAT), Mar 2015, Arles, France. 6 p., 2015. <hal-01137307>
  • Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot. Verification of Faust Signal Processing Programs in COQ. The 1st International Workshop on Coq for PL (Co-located with POPL), Jan 2015, Mumbai, India. <hal-01108173>
  • Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla. Towards refinement types for time-dependent data-flow networks. IEEE Computer Society. ACM-IEEE Conference on Methods and Models for System Design, Sep 2015, Austin, United States. 2015, <htp://memocode.irisa.fr>. <hal-01241806>
  • Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot. A Taste of Sound Reasoning in Faust. The Linux Audio Conference (LAC 2015) , Apr 2015, Mainz, Germany. <http://lac.linuxaudio.org/2015/>. <hal-01251069>
  • Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt, Barbara Chapman. LLVM parallel intermediate representation: design and evaluation using OpenSHMEM communications. LLVM '15 Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, Nov 2015, Austin, United States. 2015, <10.1145/2833157.2833158>. <hal-01254368>
  • Dounia Khaldi, Shiyao Ge, Deepak Eachempati, Pierre Jouvelot, Barbara Chapman. A Team-based Design Methodology for Memory Hierarchy-Aware Runtime Support in Coarray Fortran. IEEE Conference Cluster, Sep 2015, Chicago, United States. IEEE, pp.448 - 451, 2015 IEEE International Conference on Cluster Computing (CLUSTER). <10.1109/CLUSTER.2015.67>. <hal-01251057>
  • Dounia Khaldi, Deepak Eachempati, Shiyao Ge, Pierre Jouvelot, Barbara Chapman. A Team-Based Methodology of Memory Hierarchy-Aware Runtime Support in Coarray Fortran. The 18th International Workshop on Compilers for Parallel Computing (CPC 2015), Jan 2015, Londres, United Kingdom. 2015. <hal-01251185>
  • François Irigoin, Pierre Jouvelot, Rémi Triolet. Author Retrospective for Semantical Interprocedural Parallelization: An Overview of the PIPS Project. Utpal Banerjee. France. Utpal Banerjee, 25th Anniversary Volume, pp.12-14, 2014, International Conference on Supercomputing. <www.acm.org/publications>. <10.1145/2591635.2591645>. <hal-00984684>
  • Karim Barkati, Haisheng Wang, Pierre Jouvelot. Faustine: a Vector Faust Interpreter Test Bed for Multimedia Signal Processing. Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014), Jun 2014, Kanazawa, Japan. <hal-00959351>
  • Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho. Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application Processors. Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. p. 172-180, <10.1109/SAMOS.2014.6893209>. <hal-01111647>
  • Imré Frotier de La Messelière, Pierre Jouvelot, Jean-Pierre Talpin. A constraint-solving approach to Faust program type checking. Constraint Programming meets Verification, Sep 2014, Lyon, France. Constraint Programming meets Verification. <http://cp2014.a4cp.org/workshops/cpcav14>. <hal-01094998>
  • Philippe Lopes, Samuel Benveniste, Maribel Pino, Céline Stefanucci, Georges Pisica-Donose, et al.. Evaluation en EHPAD de MINDs, un jeu vidéo musical développé pour et avec des personnes souffrant de la maladie d'Alzheimer. Congrès national Alzheimer 2013, Dec 2013, Issy-les-Moulineaux, France. <hal-00940161>
  • Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt. SPIRE : A Methodology for Sequential to Parallel Intermediate Representation Extension. 6ème rencontre de la communauté française de compilation, Apr 2013, Annecy, France. <hal-00828772>
  • Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt. SPIRE : A Methodology for Sequential to Parallel Intermediate Representation Extension. HiPEAC Computing Systems Week, May 2013, Paris, France. <hal-00828744>
  • Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho. The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices. Workshop on Power and Energy Aspects of Computation, In conjunction with the 10th International Conference on Parallel Processing and Applied Mathematics (PPAM'2013), Sep 2013, Varsovie, Poland. <hal-00919414>
  • Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt, François Irigoin. Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages. 25th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2012), Sep 2012, Tokyo, Japan. Springer Berlin Heidelberg, 7760, pp 174-189, 2013, <10.1007/978-3-642-37658-0_12>. <hal-00742536>
  • Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt. SPIRE: A Methodology for Sequential to Parallel Intermediate Representation Extension. 17th Workshop on Compilers for Parallel Computing (CPC 2013), Jul 2012, Lyon, France. <hal-00823324>
  • Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, François Irigoin. Data and Process Abstraction in PIPS Internal Representation. First Workshop on Intermediate Representations (WIR-1), Apr 2011, Chamonix, France. <hal-00744291>
  • Karim Barkati, Pierre Jouvelot. Synchronous Programming in Audio Processing: A Lookup Table Oscillator Case Study. International Workshop on Synchronous Programming (SYNCHRON 2011), Nov 2011, Dammarie-les-Lys, France. Vol. 46 (Issue 2, Article N°24), pp.Pages 1-35, 2013, <10.1145/2543581.2543591>. <hal-00751490v2>
  • Mehdi Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, Serge Guelton, et al.. PIPS Is not (just) Polyhedral Software Adding GPU Code Generation in PIPS. First International Workshop on Polyhedral Compilation Techniques (IMPACT 2011) in conjonction with CGO 2011, Apr 2011, Chamonix, France. <hal-00744312>
  • Sebastiao Pais, Gaël Dias, Katarzyna Wegrzyn-Wolska, Robert Mahl, Pierre Jouvelot. Textual entailment by generality. Conference on Pacific Association for Computational Lingustics, PACLING 2011, Jul 2011, Kuala Lumpur, Malaysia. 27, pp.258-266, 2011, <10.1016/j.sbspro.2011.10.606>. <hal-00659339>
  • Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, François Irigoin. Data and Process Abstraction in PIPS Internal Representation. Troisièmes Rencontres de la Communauté Française de Compilation, Apr 2011, Dinard, France. <hal-00744294>
  • Samuel Benveniste, Pierre Jouvelot, Renaud Péquignot. The MINWii Project : Renarcissization of Patients Suffering from Alzheimer's Disease Through Video Game-Based Music Therapy. 9th International Conference on Entertainment Computing (ICEC 2010), Coex Séoul, Corée, 8-11 September 2010, Sep 2010, Coex Séoul, South Korea. Springer Berlin Heidelberg, Volume 6243, pp.79-90, 2010, <10.1007/978-3-642-15399-0_8>. <hal-00831340>
  • Samuel Benveniste, Pierre Jouvelot, Edith Lecourt, Renaud Michel. Designing Wiimprovisation for Mediation in Group Music Therapy with Children Suffering from Behavioral Disorders. the 8th International Conference on Interaction Design and Children, Jun 2009, Como, France. pp. 18-26, 2009, ISBN: 978-1-60558-395-2. <10.1145/1551788.1551793>. <hal-00917975>
  • Sebastian Pop, Pierre Jouvelot, George André Silber. In and Out of SSA : a Denotational Specification. Workshop Static Single-Assignment Form Seminar,, Apr 2009, Autrans, France. <hal-00915979>
  • Samuel Benveniste, Pierre Jouvelot, Renaud Michel. Wii GAME TECHNOLOGY FOR MUSIC THERAPY : A FIRST EXPERIMENT WITH CHILDREN SUFFERING FROM BEHAVIORAL DISORDERS. Multi Conference on Computer Science and Information Systems, MCCIS'08 (Gaming), Jul 2008, Amsterdam, Netherlands. pp.133-137, 2008. <hal-00830279>
  • Sebastian Pop, Albert Cohen, Pierre Jouvelot, Georges-André Silber. The New Framework for Loop Nest Optimization in GCC: from Prototyping to Evaluation. Proc. of the 12th Workshop on Compilers for Parallel Computers (CPC), 2006, A Coruña, Spain. 2006. <hal-01257285>

Ouvrage (y compris édition critique et traduction)1 document

  • Brigitte D'Andréa-Novel, Benoît Fabre, Pierre Jouvelot. Acoustique-Informatique-Musique : outils scientifiques pour la musique. Presse des Mines. Presse des Mines, pp.400, 2012, Les cours, 978-2911256-60-8. <hal-00752617>

Chapitre d'ouvrage1 document

  • Samuel Benveniste, Pierre Jouvelot, Renaud Péquignot. The MINWii Project: Renarcissization of Patients Suffering from Alzheimer's Disease Through Video Game-Based Music Therapy. Hyun Seung Yang; Rainer Malaka; Junichi Hoshino; Jung Hyun Han. Entertainment Computing - ICEC 2010, 6243, Springer, pp.79-90, 2010, Lecture Notes in Computer Science, 978-3-642-15398-3. <10.1007/978-3-642-15399-0_8>. <hal-01058989>

Pré-publication, Document de travail1 document

  • Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot. Bringing Theorem Proving to the (sonic) Masses. 2015. <hal-01254456>

Rapport2 documents

  • Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla. Liquid Clocks - Refinement Types for Time-Dependent Stream Functions. [Research Report] RR-8747, INRIA Rennes - Bretagne Atlantique; INRIA. 2015. <hal-01166350v3>
  • Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt, Barbara Chapman. The SPIRE Methodology of Compiler Parallel Intermediate Representation Design. [Research Report] A/613/CRI, Centre de Recherche en Informatique - MINES ParisTech - PSL Research University. 2015. <hal-01251172>