Filter your results
- 130
- 54
- 1
- 73
- 15
- 13
- 10
- 9
- 5
- 3
- 2
- 6
- 2
- 123
- 7
- 5
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 26
- 12
- 28
- 15
- 22
- 9
- 8
- 7
- 3
- 108
- 22
- 129
- 14
- 13
- 11
- 10
- 8
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 29
- 26
- 17
- 14
- 13
- 10
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Evaluation en EHPAD de MINDs, un jeu vidéo musical développé pour et avec des personnes souffrant de la maladie d'AlzheimerCongrès national Alzheimer 2013, Dec 2013, Issy-les-Moulineaux, France
Conference papers
hal-00940161v1
|
||
|
On the Quality of Relational Database Schemas in Open-source SoftwareJournal on Advances in Software, 2012, Vol 4 (N°3 & 4), 11 p
Journal articles
hal-00742605v1
|
||
|
Towards a method to deploy systems engineering processes within companies2010
Reports
hal-00839876v1
|
||
|
Data and Process Abstraction in PIPS Internal RepresentationTroisièmes Rencontres de la Communauté Française de Compilation, Apr 2011, Dinard, France
Conference papers
hal-00744294v1
|
||
|
PIPS Is not (just) Polyhedral Software Adding GPU Code Generation in PIPSFirst International Workshop on Polyhedral Compilation Techniques (IMPACT 2011) in conjonction with CGO 2011, Apr 2011, Chamonix, France
Conference papers
hal-00744312v1
|
||
|
Advances in Parallel-Stage Decoupled Software Pipelining Leveraging Loop Distribution, Stream-Computing and the SSA FormWIR 2011: Workshop on Intermediate Representations, Apr 2011, Chamonix, France. pp.29-36
Conference papers
hal-00744090v1
|
||
|
Computing Invariants with Transformers: Experimental Scalability and AccuracyFifth 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
|
||
|
Graph based System Purpose - Built for Automatic Retrieval and Extraction of the Electronics DataIASTED International Conference on Internet and Multimedia Systems and Applications (EuroIMSA 2007), Mar 2007, Chamonix, France. pp.Pages 135 - 140
Conference papers
hal-00861387v1
|
||
|
Automated Code Generation for Lattice QCD Simulation[Research Report] RR-8417, INRIA. 2013, pp.13
Reports
hal-00918812v1
|
||
|
Excalibur: An Autonomic Cloud Architecture for Executing Parallel ApplicationsFourth International Workshop on Cloud Data and Platforms (CloudDP 2014), Apr 2014, Amsterdam, Netherlands. pp 1-6, ⟨10.1145/2592784.2592786⟩
Conference papers
hal-01087315v1
|
||
|
Context-based Grouping and Recommendation in MANETsKostas Kolomvatsos, Christos Anagnostopoulos, Stathes Hadjiefthymiades. Intelligent Technologies and Techniques for Pervasive Computing, IGI Global, pp.157-178, 2013
Book sections
hal-00831704v1
|
||
|
Wii GAME TECHNOLOGY FOR MUSIC THERAPY : A FIRST EXPERIMENT WITH CHILDREN SUFFERING FROM BEHAVIORAL DISORDERSMulti Conference on Computer Science and Information Systems, MCCIS'08 (Gaming), Jul 2008, Amsterdam, Netherlands. pp.133-137
Conference papers
hal-00830279v1
|
||
|
Préservation de preuve lors de la compilation sur microcontrôleurJournées nationsles GDR-GPL, Jun 2014, Paris, France. 2014
Conference poster
hal-01006648v1
|
||
|
Dedukti : un vérificateur de preuves universelJournées de seconde année de l'Ecole Doctorale à Mines ParisTech, Jun 2014, Paris, France
Conference poster
hal-01100519v1
|
||
|
Compiling Image Processing Applications for Many-Core AcceleratorsJournées de seconde année de l'Ecole Doctorale, Jun 2015, Paris, France
Conference poster
hal-01178938v1
|
||
|
Normalization by Completeness with Heyting AlgebrasLPAR 20 : 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Suva, Fiji
Conference papers
hal-01204599v1
|
||
|
Towards Attention Monitoring of Older Adults with Cognitive Impairment During Interaction with an Embodied Conversational AgentThe 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
|
||
|
Preservation of Lyapunov-Theoretic Proofs: From Real to Floating-Point Arithmetic[Research Report] Mines ParisTech. 2014
Reports
hal-01086732v1
|
||
|
Application of an Enterprise Modelling approach to deploy Systems Engineering processes in large organizations2012
Reports
hal-00839885v1
|
||
|
Inondations dominées de Graphes ValuésSéminaire de l'Institut Carnot M.I.N.E.S, Jul 2014, Paris, France. 2014
Conference poster
hal-01093881v1
|
||
|
Compilation for Heterogeneous Computing: Automating Analyses, Transformations and Decisions2011
Reports
hal-00881217v1
|
||
|
SPIRE: A Methodology for Sequential to Parallel Intermediate Representation Extension17th Workshop on Compilers for Parallel Computing (CPC 2013), Jul 2013, Lyon, France
Conference papers
hal-00823324v1
|
||
|
Using Event-Based Style for Developing M2M ApplicationsGPC - 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
|
||
|
Adventures in the (not so) Complex SpaceThe 7th Coq Workshop, Jun 2015, Sophia Antipolis, France
Conference papers
hal-01251147v1
|
||
|
Static Compilation Analysis for Host-Accelerator Communication OptimizationLCPC'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
|
||
|
Automatic Streamization of Image Processing ApplicationsThe 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
|
||
|
Erbium: A Deterministic, Concurrent Intermediate Representation to Map Data-Flow Tasks to Scalable, Persistent Streaming ProcessesInternational Conference on Compilers Architectures and Synthesis for Embedded Systems (CASES'10), Oct 2010, Scottsdale, United States. 11p
Conference papers
inria-00551510v1
|
||
|
Design of graphite and the Polyhedral Compilation PackageGCC Developers' Summit, Jun 2009, Montréal, Canada
Conference papers
hal-00408759v1
|
||
|
Verification of Faust Signal Processing Programs in COQThe 1st International Workshop on Coq for PL (Co-located with POPL), Jan 2015, Mumbai, India
Conference papers
hal-01108173v1
|
||
|
Large scale kronecker product on supercomputers23rd 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
|