Pierre Jouvelot
Orcid: 0000-0002-6783-5796
According to our database1,
Pierre Jouvelot
authored at least 53 papers
between 1986 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
The Open Review-Based (ORB) dataset: Towards Automatic Assessment of Scientific Papers and Experiment Proposals in High-Energy Physics.
CoRR, 2023
Tala Box: an Interactive Embedded System to Accompany Patients with Cognitive Disorders.
Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2023
2021
The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms.
Proceedings of the FARM 2021: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, 2021
2019
"An Unscented Hound for Working Memory" and the Cognitive Adaptation of User Interfaces.
Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization, 2019
Proceedings of the Semantic Web: ESWC 2019 Satellite Events, 2019
2018
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018
2017
Parameter sensitivity analysis of the Energy/Frequency Convexity Rule for application processors.
Sustain. Comput. Informatics Syst., 2017
Modeling the energy consumption of programs: Thermal aspects and energy/frequency convexity rule (invited paper).
Proceedings of the 9th International Conference on Wireless Communications and Signal Processing, 2017
Oblivion Tracking: Towards a Probabilistic Working Memory Model for the Adaptation of Systems to Alzheimer Patients.
Proceedings of the Adjunct Publication of the 25th Conference on User Modeling, 2017
Proceedings of the 25th International Conference on Software, 2017
Proceedings of the AI Approaches to the Complexity of Legal Systems, 2017
2016
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, 2016
Field evaluation with cognitively-impaired older adults of attention management in the Embodied Conversational Agent Louise.
Proceedings of the 2016 IEEE International Conference on Serious Games and Applications for Health, 2016
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016
2015
Parallelizing with BDSC, a resource-constrained scheduling algorithm for shared and distributed memory systems.
Parallel Comput., 2015
Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule for Nanometer-scale Application Processors.
CoRR, 2015
LLVM parallel intermediate representation: design and evaluation using OpenSHMEM communications.
Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, 2015
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015
A Team-Based Methodology of Memory Hierarchy-Aware Runtime Support in Coarray Fortran.
Proceedings of the 2015 IEEE International Conference on Cluster Computing, 2015
2014
CoRR, 2014
Modeling the temperature bias of power consumption for nanometer-scale CPUs in application processors.
Proceedings of the XIVth International Conference on Embedded Computer Systems: Architectures, 2014
Author retrospective for semantical interprocedural parallelization: an overview of the PIPS project.
Proceedings of the ACM International Conference on Supercomputing 25th Anniversary Volume, 2014
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System Description.
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014
2013
ACM Comput. Surv., 2013
The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices.
Proceedings of the Parallel Processing and Applied Mathematics, 2013
2012
The MINWii project: Renarcissization of patients suffering from Alzheimer's disease through video game-based music therapy.
Entertain. Comput., 2012
Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages.
Proceedings of the Languages and Compilers for Parallel Computing, 2012
2011
Comput. Lang. Syst. Struct., 2011
2010
The MINWii Project: Renarcissization of Patients Suffering from Alzheimer's Disease Through Video Game-Based Music Therapy.
Proceedings of the Entertainment Computing - ICEC 2010, 9th International Conference, 2010
2009
Designing wiimprovisation for mediation in group music therapy with children suffering from behavioral disorders.
Proceedings of the Interaction Design and Children, 2009
2005
Motivation-driven educational game design: applying best practices to music education.
Proceedings of the International Conference on Advances in Computer Entertainment Technology, 2005
1996
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996
1995
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995
1994
Proceedings of the Theoretical Aspects of Computer Software, 1994
1993
Proceedings of the Static Analysis, Third International Workshop, 1993
1992
Control-Flow Effects for Escape Analysis.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992
Semantical Interprocedural Analysis by Partial Symbolic Evaluation.
Proceedings of the PEPM'92, 1992
1991
Proceedings of the Thirteenth ACM Symposium on Operating System Principles, 1991
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991
Proceedings of the 5th international conference on Supercomputing, 1991
1990
1989
Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989
A unified semantic approach for the vectorization and parallelization of generalized reductions.
Proceedings of the 3rd international conference on Supercomputing, 1989
1988
Proceedings of the 1988 Internation Conference on Computer Languages, 1988
1987
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987
Semantic parallelization (abstract only): a non-standard denotational approach for imperative programs parallelization.
Proceedings of the 15th ACM Annual Conference on Computer Science, 1987
1986
ACM SIGPLAN Notices, 1986
Proceedings of the ESOP 86, 1986