default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPierre Jouvelot
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c41]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:
Tala Box: an Interactive Embedded System to Accompany Patients with Cognitive Disorders. CHASE 2023: 117-118- [i6]Jaroslaw Szumega, Lamine Bougueroua, Blerina Gkotse, Pierre Jouvelot, Federico Ravotti:
The Open Review-Based (ORB) dataset: Towards Automatic Assessment of Scientific Papers and Experiment Proposals in High-Energy Physics. CoRR abs/2312.04576 (2023) - 2021
- [c40]Emilio Jesús Gallego Arias, Pierre Jouvelot, Sylvain Ribstein, Dorian Desblancs:
The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms. FARM@ICFP 2021: 35-46
2010 – 2019
- 2019
- [c39]Blerina Gkotse, Pierre Jouvelot, Federico Ravotti:
IEDM: An Ontology for Irradiation Experiments Data Management. ESWC (Satellite Events) 2019: 80-83 - [c38]Bruno Massoni Sguerra, Pierre Jouvelot:
"An Unscented Hound for Working Memory" and the Cognitive Adaptation of User Interfaces. UMAP 2019: 78-85 - [i5]Blerina Gkotse, Pierre Jouvelot, Federico Ravotti:
IEDM, an Ontology for Irradiation Experiment Data Management. CoRR abs/1901.05233 (2019) - 2018
- [c37]Bruno Massoni Sguerra, Amine Benamara, Samuel Benveniste, Pierre Jouvelot:
Adapting Human-Computer Interfaces to Working Memory Limitations Using MATCHS. SMC 2018: 1309-1314 - 2017
- [j11]Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot:
Parameter sensitivity analysis of the Energy/Frequency Convexity Rule for application processors. Sustain. Comput. Informatics Syst. 15: 16-27 (2017) - [c36]Hughes-Jehan Vibert, Benoît Pin, Pierre Jouvelot:
Towards Aligning legivoc Legal Vocabularies by Crowdsourcing. AICOL 2017: 220-232 - [c35]Kameswar Rao Vaddina, Florian Brandner, Gérard Memmi, Pierre Jouvelot:
Experimental energy profiling of energy-critical embedded applications. SoftCOM 2017: 1-6 - [c34]Bruno Massoni Sguerra, Pierre Jouvelot, Samuel Benveniste:
Oblivion Tracking: Towards a Probabilistic Working Memory Model for the Adaptation of Systems to Alzheimer Patients. UMAP (Adjunct Publication) 2017: 253-256 - [c33]Karel De Vogeleer, Kameswar Rao Vaddina, Florian Brandner, Pierre Jouvelot, Gérard Memmi:
Modeling the energy consumption of programs: Thermal aspects and energy/frequency convexity rule (invited paper). WCSP 2017: 1-10 - 2016
- [c32]Yann Orlarey, Pierre Jouvelot:
Signal Rate Inference for Multidimensional Faust. IFL 2016: 1:1-1:12 - [c31]Pierre Wargnier, Giovanni Carletti, Yann Laurent-Corniquet, Samuel Benveniste, Pierre Jouvelot, Anne-Sophie Rigaud:
Field evaluation with cognitively-impaired older adults of attention management in the Embodied Conversational Agent Louise. SeGAH 2016: 1-8 - [c30]Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot:
jsCoq: Towards Hybrid Theorem Proving Interfaces. UITP 2016: 15-27 - 2015
- [j10]Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt:
Parallelizing with BDSC, a resource-constrained scheduling algorithm for shared and distributed memory systems. Parallel Comput. 41: 66-89 (2015) - [c29]Dounia Khaldi, Deepak Eachempati, Shiyao Ge, Pierre Jouvelot, Barbara M. Chapman:
A Team-Based Methodology of Memory Hierarchy-Aware Runtime Support in Coarray Fortran. CLUSTER 2015: 448-451 - [c28]Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla:
Towards refinement types for time-dependent data-flow networks. MEMOCODE 2015: 36-41 - [c27]Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt, Barbara M. Chapman:
LLVM parallel intermediate representation: design and evaluation using OpenSHMEM communications. LLVM@SC 2015: 2:1-2:8 - [i4]Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot:
Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule for Nanometer-scale Application Processors. CoRR abs/1508.07740 (2015) - 2014
- [c26]Karim Barkati, Haisheng Wang, Pierre Jouvelot:
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System Description. FLOPS 2014: 69-85 - [c25]François Irigoin, Pierre Jouvelot, Rémi Triolet:
Author retrospective for semantical interprocedural parallelization: an overview of the PIPS project. ICS 25th Anniversary 2014: 12-14 - [c24]Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho:
Modeling the temperature bias of power consumption for nanometer-scale CPUs in application processors. ICSAMOS 2014: 172-180 - [i3]Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho:
The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices. CoRR abs/1401.4655 (2014) - [i2]Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho:
Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application Processors. CoRR abs/1404.3381 (2014) - [i1]Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho:
The Impact of Surface Size on the Radiative Thermal Behavior of Embedded Systems. CoRR abs/1410.0628 (2014) - 2013
- [j9]Karim Barkati, Pierre Jouvelot:
Synchronous programming in audio processing: A lookup table oscillator case study. ACM Comput. Surv. 46(2): 24:1-24:35 (2013) - [c23]Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho:
The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices. PPAM (1) 2013: 793-803 - 2012
- [j8]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. Entertain. Comput. 3(4): 111-120 (2012) - [c22]Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt, François Irigoin:
Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages. LCPC 2012: 174-189 - 2011
- [j7]Pierre Jouvelot, Yann Orlarey:
Dependent vector types for data structuring in multirate Faust. Comput. Lang. Syst. Struct. 37(3): 113-131 (2011) - 2010
- [c21]Samuel Benveniste, Pierre Jouvelot, Renaud Péquignot:
The MINWii Project: Renarcissization of Patients Suffering from Alzheimer's Disease Through Video Game-Based Music Therapy. ICEC 2010: 79-90
2000 – 2009
- 2009
- [c20]Samuel Benveniste, Pierre Jouvelot, Edith Lecourt, Renaud Michel:
Designing wiimprovisation for mediation in group music therapy with children suffering from behavioral disorders. IDC 2009: 18-26 - 2005
- [c19]Guillaume Denis, Pierre Jouvelot:
Motivation-driven educational game design: applying best practices to music education. Advances in Computer Entertainment Technology 2005: 462-465
1990 – 1999
- 1996
- [c18]Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen:
Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS 1996: 1-21 - 1995
- [c17]Yan Mei Tang, Pierre Jouvelot:
Effect Systems with Subtyping. PEPM 1995: 45-53 - 1994
- [j6]Jean-Pierre Talpin, Pierre Jouvelot:
The Type and Effect Discipline. Inf. Comput. 111(2): 245-296 (1994) - [c16]Yan Mei Tang, Pierre Jouvelot:
Separate Abstract Interpretation for Control-Flow Analysis. TACS 1994: 224-243 - 1993
- [c15]Jean-Pierre Talpin, Pierre Jouvelot:
Compiling FX on the CM-2. WSA 1993: 87-98 - 1992
- [j5]Jean-Pierre Talpin, Pierre Jouvelot:
Polymorphic Type, Region and Effect Inference. J. Funct. Program. 2(3): 245-271 (1992) - [j4]Vincent Dornic, Pierre Jouvelot, David K. Gifford:
Polymorphic Time Systems for Estimating Program Complexity. LOPLAS 1(1): 33-45 (1992) - [c14]Jean-Pierre Talpin, Pierre Jouvelot:
The Type and Effect Discipline. LICS 1992: 162-173 - [c13]Babak Dehbonei, Pierre Jouvelot:
Semantical Interprocedural Analysis by Partial Symbolic Evaluation. PEPM 1992: 14-20 - [c12]Yan Mei Tang, Pierre Jouvelot:
Control-Flow Effects for Escape Analysis. WSA 1992: 313-321 - 1991
- [c11]François Irigoin, Pierre Jouvelot, Rémi Triolet:
Semantical interprocedural parallelization: an overview of the PIPS project. ICS 1991: 244-251 - [c10]Pierre Jouvelot, David K. Gifford:
Algebraic Reconstruction of Types and Effects. POPL 1991: 303-310 - [c9]Vincent Dornic, Pierre Jouvelot, David K. Gifford:
Polymorphic Time Systems for Estimating Program Complexity. JTASPEFT/WSA 1991: 9-17 - [c8]Jean-Pierre Talpin, Pierre Jouvelot:
Polymorphic Type, Region and Effect Inference. JTASPEFT/WSA 1991: 26-32 - [c7]David K. Gifford, Pierre Jouvelot, Mark A. Sheldon, James W. O'Toole Jr.:
Semantic File Systems. SOSP 1991: 16-25 - 1990
- [j3]Pierre Jouvelot, Paul Feautrier:
Parallélisation sémantique. RAIRO Theor. Informatics Appl. 24: 131-159 (1990)
1980 – 1989
- 1989
- [j2]Pierre Jouvelot, Babak Dehbonei:
Recursive Pattern Matching on concrete data types. ACM SIGPLAN Notices 24(11): 84-93 (1989) - [c6]Pierre Jouvelot, Babak Dehbonei:
A unified semantic approach for the vectorization and parallelization of generalized reductions. ICS 1989: 186-194 - [c5]Pierre Jouvelot, David K. Gifford:
Reasoning about Continuations with Control Effects. PLDI 1989: 218-226 - 1988
- [c4]Pierre Jouvelot, David K. Gifford:
The FX-87 Interpreter. ICCL 1988: 65-72 - 1987
- [c3]Pierre Jouvelot:
Semantic parallelization (abstract only): a non-standard denotational approach for imperative programs parallelization. ACM Conference on Computer Science 1987: 425 - [c2]Pierre Jouvelot:
Semantic Parallelization: A Practical Exercise in Abstract Interpretation. POPL 1987: 39-48 - 1986
- [j1]Pierre Jouvelot:
Designing new languages or new language manipulation systems using ML. ACM SIGPLAN Notices 21(8): 40-52 (1986) - [c1]Pierre Jouvelot:
Parallelization by Semantic Detection of Reductions. ESOP 1986: 223-236
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
