Pierre Jouvelot

64 papers A* 5A 4B 2C 6Misc 3Journal 20Unranked 24

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Survey on IoT Programming Platforms: A Business-Domain Experts Perspective. ACM Comput. Surv. Fatma-Zohra Hannou, Maxime Lefrançois, Pierre Jouvelot, Victor Charpenay, Antoine Zimmermann
2025	C	`conf`	NickPay, an Auditable, Privacy-Preserving, Nickname-Based Payment System. ICBC Guillaume Quispe, Pierre Jouvelot, Gérard Memmi
2025	J	`jnl`	NickPay, an Auditable, Privacy-Preserving, Nickname-Based Payment System. CoRR Guillaume Quispe, Pierre Jouvelot, Gérard Memmi
2025	—	`conf`	Nicknames for Group Signatures. STM Guillaume Quispe, Pierre Jouvelot, Gérard Memmi
2025	J	`jnl`	Nicknames for Group Signatures. CoRR Guillaume Quispe, Pierre Jouvelot, Gérard Memmi
2024	—	`conf`	Experimental Assessment and Biaffine Modeling of the Impact of Ambient Temperature on SoC Power Requirements. SAMOS Kameswar Rao Vaddina, Florian Brandner, Gérard Memmi, Pierre Jouvelot
2023	B	`conf`	Tala Box: an Interactive Embedded System to Accompany Patients with Cognitive Disorders. CHASE Celia Sanchez-Girón Coca, Luc Perera, Mathis Boiteau, Antoine Costanza, Jérôme Grison, Emmanuel Sarnette, Michèle Kanhonou, Frédéric Fauberteau, Nga Nguyen, Pierre Jouvelot
2023	J	`jnl`	The Open Review-Based (ORB) dataset: Towards Automatic Assessment of Scientific Papers and Experiment Proposals in High-Energy Physics. CoRR Jaroslaw Szumega, Lamine Bougueroua, Blerina Gkotse, Pierre Jouvelot, Federico Ravotti
2021	—	`conf`	The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms. FARM@ICFP Emilio Jesús Gallego Arias, Pierre Jouvelot, Sylvain Ribstein, Dorian Desblancs
2019	A	`conf`	"An Unscented Hound for Working Memory" and the Cognitive Adaptation of User Interfaces. UMAP Bruno Massoni Sguerra, Pierre Jouvelot
2019	J	`jnl`	IEDM, an Ontology for Irradiation Experiment Data Management. CoRR Blerina Gkotse, Pierre Jouvelot, Federico Ravotti
2019	—	`conf`	IEDM: An Ontology for Irradiation Experiments Data Management. ESWC (Satellite Events) Blerina Gkotse, Pierre Jouvelot, Federico Ravotti
2018	B	`conf`	Adapting Human-Computer Interfaces to Working Memory Limitations Using MATCHS. SMC Bruno Massoni Sguerra, Amine Benamara, Samuel Benveniste, Pierre Jouvelot
2017	Misc	`conf`	Experimental energy profiling of energy-critical embedded applications. SoftCOM Kameswar Rao Vaddina, Florian Brandner, Gérard Memmi, Pierre Jouvelot
2017	—	`conf`	Modeling the energy consumption of programs: Thermal aspects and energy/frequency convexity rule (invited paper). WCSP Karel De Vogeleer, Kameswar Rao Vaddina, Florian Brandner, Pierre Jouvelot, Gérard Memmi
2017	—	`conf`	Oblivion Tracking: Towards a Probabilistic Working Memory Model for the Adaptation of Systems to Alzheimer Patients. UMAP (Adjunct Publication) Bruno Massoni Sguerra, Pierre Jouvelot, Samuel Benveniste
2017	J	`jnl`	Parameter sensitivity analysis of the Energy/Frequency Convexity Rule for application processors. Sustain. Comput. Informatics Syst. Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot
2017	—	`conf`	Towards Aligning legivoc Legal Vocabularies by Crowdsourcing. AICOL Hughes-Jehan Vibert, Benoît Pin, Pierre Jouvelot
2016	—	`conf`	Field evaluation with cognitively-impaired older adults of attention management in the Embodied Conversational Agent Louise. SeGAH Pierre Wargnier, Giovanni Carletti, Yann Laurent-Corniquet, Samuel Benveniste, Pierre Jouvelot, Anne-Sophie Rigaud
2016	—	`conf`	Signal Rate Inference for Multidimensional Faust. IFL Yann Orlarey, Pierre Jouvelot
2016	—	`conf`	jsCoq: Towards Hybrid Theorem Proving Interfaces. UITP Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot
2015	C	`conf`	A Team-Based Methodology of Memory Hierarchy-Aware Runtime Support in Coarray Fortran. CLUSTER Dounia Khaldi, Deepak Eachempati, Shiyao Ge, Pierre Jouvelot, Barbara M. Chapman
2015	—	`conf`	LLVM parallel intermediate representation: design and evaluation using OpenSHMEM communications. LLVM@SC Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt, Barbara M. Chapman
2015	J	`jnl`	Parallelizing with BDSC, a resource-constrained scheduling algorithm for shared and distributed memory systems. Parallel Comput. Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt
2015	J	`jnl`	Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule for Nanometer-scale Application Processors. CoRR Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot
2015	C	`conf`	Towards refinement types for time-dependent data-flow networks. MEMOCODE Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla
2014	—	`conf`	Author retrospective for semantical interprocedural parallelization: an overview of the PIPS project. ICS 25th Anniversary François Irigoin, Pierre Jouvelot, Rémi Triolet
2014	Misc	`conf`	Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System Description. FLOPS Karim Barkati, Haisheng Wang, Pierre Jouvelot
2014	J	`jnl`	Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application Processors. CoRR Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho
2014	—	`conf`	Modeling the temperature bias of power consumption for nanometer-scale CPUs in application processors. ICSAMOS Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho
2014	J	`jnl`	The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices. CoRR Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho
2014	J	`jnl`	The Impact of Surface Size on the Radiative Thermal Behavior of Embedded Systems. CoRR Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho
2013	J	`jnl`	Synchronous programming in audio processing: A lookup table oscillator case study. ACM Comput. Surv. Karim Barkati, Pierre Jouvelot
2013	—	`conf`	The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices. PPAM (1) Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho
2012	—	`conf`	Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages. LCPC Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt, François Irigoin
2012	J	`jnl`	The MINWii project: Renarcissization of patients suffering from Alzheimer's disease through video game-based music therapy. Entertain. Comput. Samuel Benveniste, Pierre Jouvelot, Benoît Pin, Renaud Péquignot
2011	J	`jnl`	Dependent vector types for data structuring in multirate Faust. Comput. Lang. Syst. Struct. Pierre Jouvelot, Yann Orlarey
2010	C	`conf`	The MINWii Project: Renarcissization of Patients Suffering from Alzheimer's Disease Through Video Game-Based Music Therapy. ICEC Samuel Benveniste, Pierre Jouvelot, Renaud Péquignot
2009	Misc	`conf`	Designing wiimprovisation for mediation in group music therapy with children suffering from behavioral disorders. IDC Samuel Benveniste, Pierre Jouvelot, Edith Lecourt, Renaud Michel
2005	—	`conf`	Motivation-driven educational game design: applying best practices to music education. Advances in Computer Entertainment Technology Guillaume Denis, Pierre Jouvelot
1996	—	`conf`	Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen
1995	C	`conf`	Effect Systems with Subtyping. PEPM Yan Mei Tang, Pierre Jouvelot
1994	—	`conf`	Separate Abstract Interpretation for Control-Flow Analysis. TACS Yan Mei Tang, Pierre Jouvelot
1994	J	`jnl`	The Type and Effect Discipline Inf. Comput. Jean-Pierre Talpin, Pierre Jouvelot
1993	—	`conf`	Compiling FX on the CM-2. WSA Jean-Pierre Talpin, Pierre Jouvelot
1992	—	`conf`	Control-Flow Effects for Escape Analysis. WSA Yan Mei Tang, Pierre Jouvelot
1992	J	`jnl`	Polymorphic Time Systems for Estimating Program Complexity. LOPLAS Vincent Dornic, Pierre Jouvelot, David K. Gifford
1992	J	`jnl`	Polymorphic Type, Region and Effect Inference. J. Funct. Program. Jean-Pierre Talpin, Pierre Jouvelot
1992	C	`conf`	Semantical Interprocedural Analysis by Partial Symbolic Evaluation. PEPM Babak Dehbonei, Pierre Jouvelot
1992	A*	`conf`	The Type and Effect Discipline LICS Jean-Pierre Talpin, Pierre Jouvelot
1991	A*	`conf`	Algebraic Reconstruction of Types and Effects. POPL Pierre Jouvelot, David K. Gifford
1991	—	`conf`	Polymorphic Time Systems for Estimating Program Complexity. JTASPEFT/WSA Vincent Dornic, Pierre Jouvelot, David K. Gifford
1991	—	`conf`	Polymorphic Type, Region and Effect Inference. JTASPEFT/WSA Jean-Pierre Talpin, Pierre Jouvelot
1991	A*	`conf`	Semantic File Systems. SOSP David K. Gifford, Pierre Jouvelot, Mark A. Sheldon, James W. O'Toole Jr.
1991	A	`conf`	Semantical interprocedural parallelization: an overview of the PIPS project. ICS François Irigoin, Pierre Jouvelot, Rémi Triolet
1990	J	`jnl`	Parallélisation sémantique. RAIRO Theor. Informatics Appl. Pierre Jouvelot, Paul Feautrier
1989	A	`conf`	A unified semantic approach for the vectorization and parallelization of generalized reductions. ICS Pierre Jouvelot, Babak Dehbonei
1989	A*	`conf`	Reasoning about Continuations with Control Effects. PLDI Pierre Jouvelot, David K. Gifford
1989	J	`jnl`	Recursive Pattern Matching on concrete data types. ACM SIGPLAN Notices Pierre Jouvelot, Babak Dehbonei
1988	—	`conf`	The FX-87 Interpreter. ICCL Pierre Jouvelot, David K. Gifford
1987	A*	`conf`	Semantic Parallelization: A Practical Exercise in Abstract Interpretation. POPL Pierre Jouvelot
1987	—	`conf`	Semantic parallelization (abstract only): a non-standard denotational approach for imperative programs parallelization. ACM Conference on Computer Science Pierre Jouvelot
1986	J	`jnl`	Designing new languages or new language manipulation systems using ML. ACM SIGPLAN Notices Pierre Jouvelot
1986	A	`conf`	Parallelization by Semantic Detection of Reductions. ESOP Pierre Jouvelot