Skip to Main content Skip to Navigation
New interface

Search by documents

hal-03322174v2  Conference papers
Emilio Jesús Gallego AriasPierre JouvelotSylvain RibsteinDorian Desblancs. The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms
FARM 2021 - 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, Aug 2021, Virtual, South Korea. ⟨10.1145/3471872.3472970⟩
hal-00659411v1  Conference papers
Antoniu PopAlbert Cohen. A stream-computing extension to OpenMP
6th International Conference on High Performance and Embedded Architectures and Compilers, HiPEAC'11, Jan 2011, Heraklion, Greece. pp.5-14, ⟨10.1145/1944862.1944867⟩
hal-00744090v1  Conference papers
Feng LiAntoniu PopAlbert Cohen. Advances in Parallel-Stage Decoupled Software Pipelining Leveraging Loop Distribution, Stream-Computing and the SSA Form
WIR 2011: Workshop on Intermediate Representations, Apr 2011, Chamonix, France. pp.29-36
hal-01344312v1  Conference papers
Fabien BadeigPierre WargnierMaribel PinoPhilippe de Oliveira LopesEmeric Grange et al.  Impact of Head Motion on the Assistive Robot Expressiveness - Evaluation with Elderly Persons
1st International Workshop on Affective Computing for Social Robotics Workshop at the IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), Aug 2016, New York, United States
hal-01087315v1  Conference papers
Alessandro Ferreira LeiteClaude TadonkiChristine EisenbeisTainá RaiolMaria Emilia Walter et al.  Excalibur: An Autonomic Cloud Architecture for Executing Parallel Applications
Fourth International Workshop on Cloud Data and Platforms (CloudDP 2014), Apr 2014, Amsterdam, Netherlands. pp 1-6, ⟨10.1145/2592784.2592786⟩
hal-01100519v1  Conference poster
Ronan Saillard. Dedukti : un vérificateur de preuves universel
Journées de seconde année de l'Ecole Doctorale à Mines ParisTech, Jun 2014, Paris, France
hal-01625409v2  Conference papers
Kameswar Rao VaddinaFlorian BrandnerGérard MemmiPierre Jouvelot. Experimental Energy Profiling of Energy-Critical Embedded Applications
25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6
hal-01689697v1  Reports
Claude Tadonki. Setting up an Operational Academic HPC Center
[Research Report] E-415, MINES ParisTech - PSL Research University; Centre de recherche en informatique - MINES ParisTech - PSL Research University. 2017
hal-00861387v1  Conference papers
Grzegorz DziczkowskiKatarzyna Wegrzyn-Wolska. Graph based System Purpose - Built for Automatic Retrieval and Extraction of the Electronics Data
IASTED International Conference on Internet and Multimedia Systems and Applications (EuroIMSA 2007), Mar 2007, Chamonix, France. pp.Pages 135 - 140
hal-01178938v1  Conference poster
Pierre Guillou. Compiling Image Processing Applications for Many-Core Accelerators
Journées de seconde année de l'Ecole Doctorale, Jun 2015, Paris, France
hal-01431386v1  Conference papers
Nelson LossingCorinne AncourtFrançois Irigoin. Automatic Code Generation of Distributed Parallel Tasks
Onzième rencontre de la communauté française de compilation, Sep 2016, Aussois, France
hal-00742605v1  Journal articles
Fabien CoelhoAlexandre AillosSamuel PilotShamil Valeev. On the Quality of Relational Database Schemas in Open-source Software
Journal on Advances in Software, 2012, Vol 4 (N°3 & 4), 11 p
hal-00817445v1  Conference papers
Antoniu PopHarsha JagasiaSebastian PopJan SjödinPaul H J Kelly. Improving GNU compiler collection infrastructure for streamization
GCC Developers' Summit 2008, Jun 2008, Ottawa, Canada. pp.77-86
hal-00830279v1  Conference papers
Multi Conference on Computer Science and Information Systems, MCCIS'08 (Gaming), Jul 2008, Amsterdam, Netherlands. pp.133-137
hal-02135811v1  Book sections
Catherine MaréchalDariusz MikołajewskiKrzysztof TyburekPiotr ProkopowiczLamine Bougueroua et al.  Survey on AI-Based Multimodal Methods for Emotion Detection
High-Performance Modelling and Simulation for Big Data Applications, Springer, pp 307-324, 2019, 978-3-030-16272-6
hal-01006648v1  Conference poster
Vivien Maisonneuve. Préservation de preuve lors de la compilation sur microcontrôleur
Journées nationsles GDR-GPL, Jun 2014, Paris, France. 2014
hal-00744312v1  Conference papers
Mehdi AminiCorinne AncourtFabien CoelhoBéatrice CreusilletSerge 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-00744294v1  Conference papers
Fabien CoelhoPierre JouvelotCorinne AncourtFrançois Irigoin. Data and Process Abstraction in PIPS Internal Representation
Troisièmes Rencontres de la Communauté Française de Compilation, Apr 2011, Dinard, France
tel-03813674v1  Theses
Bruno Massoni Sguerra. Dynamic adaptation of human-computer interfaces using cognitive load tracking
Technology for Human Learning. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEM082⟩
hal-01858286v1  Journal articles
Katarzyna Wegrzyn-WolskaLamine BouguerouaGrzegorz Dziczkowski. Infodemiology by Tweet Mining Methods
Stud. Inform. Univ., 2013, 11 (3), pp.65--79
hal-01678895v1  Conference papers
Bruno Massoni SguerraPierre JouvelotSamuel Benveniste. Oblivion Tracking: Towards a Probabilistic Working Memory Model for the Adaptation of Systems to Alzheimer Patients
The first International Conference on User Modeling, Adaptation and Personnalization (UMAP 2017), Jul 2017, Bratislava, Slovakia. pp.253-256 ⟨10.1145/3099023.3099052⟩
hal-01759238v1  Conference papers
Florian GouinCorinne AncourtChristophe Guettier. An up to date Mapping Methodology for GPUs
20th Workshop on Compilers for Parallel Computing (CPC 2018), Apr 2018, Dublin, Ireland