Folgen
Pierre Jouvelot
Pierre Jouvelot
Mines Paris, PSL University
Bestätigte E-Mail-Adresse bei minesparis.psl.eu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Semantic file systems
DK Gifford, P Jouvelot, MA Sheldon
ACM SIGOPS Operating Systems Review 25 (5), 16-25, 1991
7271991
The type and effect discipline
JP Talpin, P Jouvelot
Information and computation 111 (2), 245-296, 1994
4721994
Motivation-driven educational game design: applying best practices to music education
G Denis, P Jouvelot
Proceedings of the 2005 ACM SIGCHI International Conference on Advances in …, 2005
3712005
Polymorphic type, region and effect inference
JP Talpin, P Jouvelot
Journal of functional programming 2 (3), 245-271, 1992
3281992
Semantical interprocedural parallelization: An overview of the PIPS project
F Irigoin, P Jouvelot, R Triolet
Proceedings of the 5th international conference on Supercomputing, 244-251, 1991
3261991
Algebraic reconstruction of types and effects
P Jouvelot, D Gifford
Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991
2271991
A pilot usability study of MINWii, a music therapy game for demented patients
M Boulay, S Benveniste, S Boespflug, P Jouvelot, AS Rigaud
Technology and Health Care 19 (4), 233-246, 2011
1202011
The energy/frequency convexity rule: Modeling and experimental validation on mobile devices
K De Vogeleer, G Memmi, P Jouvelot, F Coelho
Workshop on Power and Energy Aspects of Computation, In conjunction with the …, 2013
1162013
The MINWii Project: Renarcissization of patients suffering from Alzheimer’s Disease through video game-based music therapy
S Benveniste, P Jouvelot, R Péquignot
International Conference on Entertainment Computing, 79-90, 2010
1162010
FX-87 reference manual. Edition 1. 0. Technical report
DK Gifford, P Jouvelot, JM Lucassen, MA Sheldon
Massachusetts Inst. of Tech., Cambridge (USA). Lab. for Computer Science, 1987
96*1987
Reasoning about continuations with control effects
P Jouvelot, DK Gifford
ACM SIGPLAN Notices 24 (7), 218-226, 1989
70*1989
PIPS is not (just) polyhedral software
M Amini, C Ancourt, F Coelho, B Creusillet, S Guelton, F Irigoin, ...
International Workshop on Polyhedral Compilation Techniques (IMPACT’11 …, 2011
64*2011
A unified semantic approach for the vectorization and parallelization of generalized reductions
P Jouvelot, B Dehbonei
Proceedings of the 3rd international conference on Supercomputing, 186-194, 1989
531989
Polymorphic time systems for estimating program complexity
V Dornic, P Jouvelot, DK Gifford
ACM Letters on Programming Languages and Systems (LOPLAS) 1 (1), 33-45, 1992
501992
Modeling the temperature bias of power consumption for nanometer-scale cpus in application processors
K DeVogeleer, G Memmi, P Jouvelot, F Coelho
2014 International Conference on Embedded Computer Systems: Architectures …, 2014
492014
Separate abstract interpretation for control-flow analysis
Y Tang, P Jouvelot
Theoretical Aspects of Computer Software, 224-243, 1994
491994
Designing wiimprovisation for mediation in group music therapy with children suffering from behavioral disorders
S Benveniste, P Jouvelot, E Lecourt, R Michel
Proceedings of the 8th International Conference on Interaction Design and …, 2009
462009
Conception et programmation orientées objet
B Meyer
Eyrolles, 2000
452000
jsCoq: towards hybrid theorem proving interfaces
EJG Arias, B Pin, P Jouvelot
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers …, 2016
442016
PIPS: A framework for building interprocedural compilers, parallelizers and optimizers
R Keryell, C Ancourt, F Coelho, B Creusillet, F Irigoin, P Jouvelot
Technical Report 289, CRI, Ecole des mines de Paris, 1996
38*1996
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20