Search - Recherche en informatique (CRI)
 Access content directly

Filter your results

130 Results
Deposit type : Fulltext
Image document

Evaluation en EHPAD de MINDs, un jeu vidéo musical développé pour et avec des personnes souffrant de la maladie d'Alzheimer

Philippe Lopes , Samuel Benveniste , Maribel Pino , Céline Stefanucci , Georges Pisica-Donose , et al.
Congrès national Alzheimer 2013, Dec 2013, Issy-les-Moulineaux, France
Conference papers hal-00940161v1
Image document

On the Quality of Relational Database Schemas in Open-source Software

Fabien Coelho , Alexandre Aillos , Samuel Pilot , Shamil Valeev
Journal on Advances in Software, 2012, Vol 4 (N°3 & 4), 11 p
Journal articles hal-00742605v1
Image document

Towards a method to deploy systems engineering processes within companies

Clémentine Cornu , Vincent Chapurlat , Bernard Chiavassa , François Irigoin
2010
Reports hal-00839876v1
Image document

Data and Process Abstraction in PIPS Internal Representation

Fabien Coelho , Pierre Jouvelot , Corinne Ancourt , François Irigoin
Troisièmes Rencontres de la Communauté Française de Compilation, Apr 2011, Dinard, France
Conference papers hal-00744294v1
Image document

PIPS Is not (just) Polyhedral Software Adding GPU Code Generation in PIPS

Mehdi Amini , Corinne Ancourt , Fabien Coelho , Béatrice Creusillet , Serge Guelton , et al.
First International Workshop on Polyhedral Compilation Techniques (IMPACT 2011) in conjonction with CGO 2011, Apr 2011, Chamonix, France
Conference papers hal-00744312v1
Image document

Advances in Parallel-Stage Decoupled Software Pipelining Leveraging Loop Distribution, Stream-Computing and the SSA Form

Feng Li , Antoniu Pop , Albert Cohen
WIR 2011: Workshop on Intermediate Representations, Apr 2011, Chamonix, France. pp.29-36
Conference papers hal-00744090v1
Image document

Computing Invariants with Transformers: Experimental Scalability and Accuracy

Vivien Maisonneuve , Olivier Hermant , François Irigoin
Fifth International Workshop on Numerical and Symbolic Abstract Domains, Sep 2014, Munich, Germany. 14 p., Pages 17-31, ⟨10.1016/j.entcs.2014.08.003⟩
Conference papers hal-01058298v1
Image document

Graph based System Purpose - Built for Automatic Retrieval and Extraction of the Electronics Data

Grzegorz Dziczkowski , Katarzyna Wegrzyn-Wolska
IASTED International Conference on Internet and Multimedia Systems and Applications (EuroIMSA 2007), Mar 2007, Chamonix, France. pp.Pages 135 - 140
Conference papers hal-00861387v1
Image document

Automated Code Generation for Lattice QCD Simulation

Denis Barthou , Gilbert Grosdidier , Konstantin Petrov , Michael Kruse , Christine Eisenbeis , et al.
[Research Report] RR-8417, INRIA. 2013, pp.13
Reports hal-00918812v1
Image document

Excalibur: An Autonomic Cloud Architecture for Executing Parallel Applications

Alessandro Ferreira Leite , Claude Tadonki , Christine Eisenbeis , Tainá Raiol , Maria Emilia Walter , et al.
Fourth International Workshop on Cloud Data and Platforms (CloudDP 2014), Apr 2014, Amsterdam, Netherlands. pp 1-6, ⟨10.1145/2592784.2592786⟩
Conference papers hal-01087315v1
Image document

Context-based Grouping and Recommendation in MANETs

Yves Vanrompay , Manuele Kirsch Pinheiro , Nesrine Ben Mustapha , Marie-Aude Aufaure
Kostas Kolomvatsos, Christos Anagnostopoulos, Stathes Hadjiefthymiades. Intelligent Technologies and Techniques for Pervasive Computing, IGI Global, pp.157-178, 2013
Book sections hal-00831704v1
Image document

Wii GAME TECHNOLOGY FOR MUSIC THERAPY : A FIRST EXPERIMENT WITH CHILDREN SUFFERING FROM BEHAVIORAL DISORDERS

Samuel Benveniste , Pierre Jouvelot , Renaud Michel
Multi Conference on Computer Science and Information Systems, MCCIS'08 (Gaming), Jul 2008, Amsterdam, Netherlands. pp.133-137
Conference papers hal-00830279v1
Image document

Préservation de preuve lors de la compilation sur microcontrôleur

Vivien Maisonneuve
Journées nationsles GDR-GPL, Jun 2014, Paris, France. 2014
Conference poster hal-01006648v1
Image document

Dedukti : un vérificateur de preuves universel

Ronan Saillard
Journées de seconde année de l'Ecole Doctorale à Mines ParisTech, Jun 2014, Paris, France
Conference poster hal-01100519v1
Image document

Compiling Image Processing Applications for Many-Core Accelerators

Pierre Guillou
Journées de seconde année de l'Ecole Doctorale, Jun 2015, Paris, France
Conference poster hal-01178938v1
Image document

Normalization by Completeness with Heyting Algebras

Gaëtan Gilbert , Olivier Hermant
LPAR 20 : 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Suva, Fiji
Conference papers hal-01204599v1
Image document

Towards Attention Monitoring of Older Adults with Cognitive Impairment During Interaction with an Embodied Conversational Agent

Pierre Wargnier , Adrien Malaisé , Julien Jacquemot , Samuel Benveniste , Pierre Jouvelot , et al.
The Third International Workshop on Virtual and Augmented Assistive Technology (VAAT), Mar 2015, Arles, France. pp 23-28, ⟨10.1109/VAAT.2015.7155406⟩
Conference papers hal-01137307v1
Image document

Preservation of Lyapunov-Theoretic Proofs: From Real to Floating-Point Arithmetic

Vivien Maisonneuve , Olivier Hermant , François Irigoin
[Research Report] Mines ParisTech. 2014
Reports hal-01086732v1
Image document

Application of an Enterprise Modelling approach to deploy Systems Engineering processes in large organizations

Clémentine Cornu , Vincent Chapurlat , Jean-Marc Quiot , François Irigoin
2012
Reports hal-00839885v1
Image document

Inondations dominées de Graphes Valués

Fernand Meyer , Claude Tadonki , François Irigoin
Séminaire de l'Institut Carnot M.I.N.E.S, Jul 2014, Paris, France. 2014
Conference poster hal-01093881v1
Image document

Compilation for Heterogeneous Computing: Automating Analyses, Transformations and Decisions

Serge Guelton , François Irigoin , Ronan Keryell
2011
Reports hal-00881217v1
Image document

SPIRE: A Methodology for Sequential to Parallel Intermediate Representation Extension

Dounia Khaldi , Pierre Jouvelot , François Irigoin , Corinne Ancourt
17th Workshop on Compilers for Parallel Computing (CPC 2013), Jul 2013, Lyon, France
Conference papers hal-00823324v1
Image document

Using Event-Based Style for Developing M2M Applications

Truong Giang Le , Olivier Hermant , Matthieu Manceny , Renaud Pawlak , Renaud Rioboo
GPC - 8th International Conference on Grid and Pervasive Computing - 2013, 2013, Seoul, South Korea. pp.348-357, ⟨10.1007/978-3-642-38027-3_37⟩
Conference papers hal-00924491v1
Image document

Adventures in the (not so) Complex Space

Emilio Jesús Gallego Arias , Pierre Jouvelot
The 7th Coq Workshop, Jun 2015, Sophia Antipolis, France
Conference papers hal-01251147v1
Image document

Static Compilation Analysis for Host-Accelerator Communication Optimization

Mehdi Amini , Fabien Coelho , François Irigoin , Ronan Keryell
LCPC'2011 : The 24th International Workshop on Languages and Compilers for Parallel Computing, Sep 2011, Fort Collins, Colorado, United States. pp. 237-251
Conference papers hal-00743496v1
Image document

Automatic Streamization of Image Processing Applications

Pierre Guillou , Fabien Coelho , François Irigoin
The 27th International Workshop on Languages and Compilers for Parallel Computing, Parasol, Sep 2014, Hillsboro, United States. pp 224-238, ⟨10.1007/978-3-319-17473-0_15⟩
Conference papers hal-01096735v1
Image document

Erbium: A Deterministic, Concurrent Intermediate Representation to Map Data-Flow Tasks to Scalable, Persistent Streaming Processes

Cupertino Miranda , Antoniu Pop , Philippe Dumont , Albert Cohen , Marc Duranton
International Conference on Compilers Architectures and Synthesis for Embedded Systems (CASES'10), Oct 2010, Scottsdale, United States. 11p
Conference papers inria-00551510v1
Image document

Design of graphite and the Polyhedral Compilation Package

Jan Sjödin , Sebastian Pop , Harsha Jagasia , Tobias Grosser , Antoniu Pop
GCC Developers' Summit, Jun 2009, Montréal, Canada
Conference papers hal-00408759v1
Image document

Verification of Faust Signal Processing Programs in COQ

Emilio Jesús Gallego Arias , Olivier Hermant , Pierre Jouvelot
The 1st International Workshop on Coq for PL (Co-located with POPL), Jan 2015, Mumbai, India
Conference papers hal-01108173v1
Image document

Large scale kronecker product on supercomputers

Claude Tadonki
23rd International Symposium on Computer Architecture and High Performance Computing - SBAC-PAD 2011 - WAMCA 2011, Oct 2011, Victoria, Brazil. pp.1-4, ⟨10.1109/WAMCA.2011.10⟩
Conference papers in2p3-00702588v1