Fabien Coelho
38
Documents
Publications
How Information Systems Enable Digital Transformation: A Focus on Business Models and Value Co-ProductionThe IUP journal of Business Strategy, 2017, 14 (3), pp.7-40
Journal articles
hal-01695504v1
|
|
API Compilation for Image Hardware AcceleratorsACM Transactions on Architecture and Code Optimization, 2013, Volume 9 (Issue 4), pp.1-25. ⟨10.1145/2400682.2400708⟩
Journal articles
hal-00829650v1
|
|
|
|
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
|
Polyèdres et compilationRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, 31 (8-10), pp.987-1019. ⟨10.3166/tsi.31.987-1019⟩
Journal articles
hal-00826543v1
|
|
Compilation et optimisation statique des communications hôte-accélérateurRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, 31 (8-10), pp.1205-1232. ⟨10.3166/tsi.31.1205-1232⟩
Journal articles
hal-00826545v1
|
|
Buffer and register allocation for memory space optimizationThe Journal of VLSI Signal, 2007, Volume 49 Issue 1, pp.Pages 123 - 138. ⟨10.1007/s11265-006-0001-1⟩
Journal articles
hal-00752941v1
|
|
|
|
Optimal Compilation of HPF RemappingsJournal of Parallel and Distributed Computing, 1996, Vol. 28, pp. 229-236
Journal articles
hal-00752603v1
|
|
|
A Linear Algebra Framework for Static HPF Code DistributionScientific Programming, 1995, Vol. 6, pp.3-27
Journal articles
hal-00752595v1
|
|
|
An Analysis of Defects in Public JSON Schemas39èmes journées de la conférence BDA Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
Conference papers
hal-04415517v1
|
|
|
Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper)FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States
Conference papers
hal-03210222v1
|
FREIA ANT-AF-2007-004Congrès ANR, Jan 2016, Lyon, France
Conference papers
hal-01526570v1
|
|
|
|
A Dynamic to Static DSL Compiler for Image Processing Applications19th Workshop on Compilers for Parallel Computing, Jul 2016, Valladolid, Spain
Conference papers
hal-01352808v1
|
Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application ProcessorsEmbedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. pp 172-180, ⟨10.1109/SAMOS.2014.6893209⟩
Conference papers
hal-01111647v1
|
|
|
|
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
|
|
|
The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile DevicesWorkshop on Power and Energy Aspects of Computation, In conjunction with the 10th International Conference on Parallel Processing and Applied Mathematics (PPAM'2013), Sep 2013, Varsovie, Poland. pp 793-803, ⟨10.1007/978-3-642-55224-3_74⟩
Conference papers
hal-00919414v1
|
|
|
Compiling for a Heterogeneous Vector Image ProcessorTroisièmes journées Nationales du GDR Génie de la Programmation et du Logiciel (GDR GPL 2011), Jun 2011, Lille, France
Conference papers
hal-00744076v1
|
|
|
A Field Analysis of Relational Database Schemas in Open-source Software (Extended)The Third International Conference on Advances in Databases, Knowledge, and Data Applications, Jan 2011, St Marteen, Netherlands Antilles. p. 9-15
Conference papers
hal-00903676v1
|
|
|
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
|
|
|
Compiling for an Heterogeneous Vector Image Processor9th Workshop on Optimizations for DSP and Embedded Systems (ODES-9) In conjunction with: International Symposium on Code Generation and Optimization (CGO), Apr 2011, Chamonix, France. pp. 5-12
Conference papers
hal-00919248v1
|
Remote Comparison of Database TablesThe Third International Conference on Advances in Databases, Knowledge, and Data Applications (DBKDA 2011), Jan 2011, St Marteen, Netherlands Antilles. pp. 23-28
Conference papers
hal-00916669v1
|
|
|
|
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
|
|
|
Data and Process Abstraction in PIPS Internal RepresentationFirst Workshop on Intermediate Representations (WIR-1), Apr 2011, Chamonix, France
Conference papers
hal-00744291v1
|
|
|
Polyèdres et CompilationRencontres francophones du Parallélisme (RenPar'20), May 2011, Saint-Malo, France
Conference papers
hal-00743713v1
|
|
|
Compilation et optimisation statique des communications hôte-accélérateurRencontres francophones du Parallélisme (RenPar'20) Symposium en Architectures nouvelles de machines (SympA'14) et la Conférence Française en Systèmes d'Exploitation (CFSE 8), May 2011, Saint-Malo, France
Conference papers
hal-00744259v1
|
Gestion durable des données : point sur les enjeux et proposition d'une démarche de pilotage de la performance appuyée sur un balanced scorecard thématique15e colloque AIM, May 2010, La Rochelle, France
Conference papers
hal-00554061v1
|
|
A Modular Static Analysis Approach to Affine Loop Invariants DetectionThe Second International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.3-16, ⟨10.1016/j.entcs.2010.09.002⟩
Conference papers
hal-00586338v1
|
|
|
|
An (Almost) Constant-E ort Solution-Veri cation Proof-of-Work Protocol based on Merkle Trees1st international conference on Progress in cryptology, Jun 2008, Casablanca,, Morocco. pp.Pages 80-93
Conference papers
hal-00752925v1
|
Tiling and memory reuse for sequences of nested loops8th International Euro-Par Conference, Euro-Par 2002,, Aug 2002, Paderborn, Germany, Germany. pp. 255-264, ⟨10.1007/3-540-45706-2_34⟩
Conference papers
hal-00752850v1
|
|
|
|
Using Algebraic Transformations to Optimize Expression Evaluation in Scientific CodesInternational Conference on Parallel Architectures and Compilation Techniques, PACT'98, Oct 1998, Paris, France. p. 376 - 384
Conference papers
hal-00752802v1
|
|
|
Compiling Dynamic Mappings with Array CopiesPrinciples and Pratice of Parallel Programming, PPoPP'97, Jun 1997, Las Vegas, Nevada, United States. pp.Pages 168 - 179, ⟨10.1145/263767.263786⟩
Conference papers
hal-00752639v1
|
Business Models, coproduction de valeur et systèmes d'informationSpringer, pp.119, 2013, 978-2-8178-0488-0
Books
hal-00968892v1
|
|
|
A Dynamic to Static DSL Compiler for Image Processing Applications2017
Preprints, Working Papers, ...
hal-01665055v1
|
How Information Systems Enable Digital Transformation: A Focus on Business Models and Value CooProduction2016
Preprints, Working Papers, ...
hal-01985391v1
|
|
|
JSON Model: a Lightweight Featureful Description Language for JSON Data StructuresMines Paris - PSL. 2023
Reports
hal-04415527v1
|
|
|
Itsuku: a Memory-Hardened Proof-of-Work Scheme[Technical Report] A-669, MINES ParisTech - PSL Research University. 2017
Reports
hal-01653168v1
|
|
|
Contributions à la performance du calcul scientifique et embarquéCalcul parallèle, distribué et partagé [cs.DC]. Université Paris Diderot (Paris 7), 2013
Habilitation à diriger des recherches
hal-01254385v1
|