Filtrer vos résultats
- 142
- 20
- 47
- 46
- 30
- 13
- 11
- 4
- 4
- 3
- 1
- 1
- 1
- 1
- 24
- 161
- 2
- 1
- 1
- 1
- 783
- 660
- 606
- 588
- 519
- 477
- 429
- 389
- 366
- 323
- 315
- 315
- 311
- 307
- 303
- 293
- 290
- 280
- 267
- 258
- 250
- 225
- 219
- 218
- 217
- 216
- 215
- 214
- 210
- 208
- 208
- 205
- 202
- 200
- 196
- 196
- 195
- 192
- 191
- 190
- 190
- 188
- 183
- 180
- 178
- 178
- 176
- 174
- 172
- 170
- 170
- 165
- 164
- 162
- 160
- 160
- 159
- 157
- 157
- 156
- 154
- 153
- 152
- 152
- 150
- 150
- 150
- 149
- 149
- 148
- 147
- 147
- 145
- 142
- 142
- 141
- 140
- 140
- 140
- 139
- 138
- 138
- 137
- 137
- 137
- 136
- 136
- 135
- 135
- 135
- 135
- 134
- 133
- 131
- 131
- 131
- 131
- 131
- 130
- 128
- 1
- 8
- 11
- 7
- 3
- 10
- 7
- 4
- 4
- 13
- 9
- 6
- 11
- 5
- 5
- 8
- 5
- 3
- 6
- 3
- 3
- 3
- 5
- 3
- 4
- 1
- 3
- 3
- 2
- 3
- 2
- 1
- 123
- 38
- 1
- 28
- 27
- 26
- 26
- 24
- 23
- 22
- 13
- 10
- 10
- 9
- 8
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 16
- 7
- 7
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Regard de l'informaticien sur ses œuvres et leur originalitéJournée de l'AFDIT - Contrefaçon de logiciel et fonds commun de l’informatique, Oct 2016, Paris, France. , 2016
Document associé à des manifestations scientifiques
hal-01682061v1
|
||
|
Register allocation and spill complexity under SSA[Research Report] Laboratoire de l'informatique du parallélisme. 2005, 2+28p
Rapport
hal-02102197v1
|
||
|
Outils pour la parallélisation automatiqueGénie logiciel [cs.SE]. Ecole normale supérieure de lyon - ENS LYON, 1996. Français. ⟨NNT : ⟩
Thèse
tel-00564899v1
|
||
|
Compiling pattern matching to in-place modificationsGPCE 2021 - 20th International Conference on Generative Programming: Concepts & Experiences, Oct 2021, Chicago & Virtual, United States. ⟨10.1145/3486609.3487204⟩
Communication dans un congrès
hal-03355377v1
|
||
|
Contributions to Program Optimization and High-Level SynthesisHardware Architecture [cs.AR]. ENS de Lyon, 2019
HDR
tel-02151877v2
|
||
|
A Polyhedral Approach for Scalar Promotion2021
Pré-publication, Document de travail
hal-03449994v1
|
||
|
Actes des Septièmes journées nationales du GDR Génie de la Programmation et du LogicielProceedings/Recueil des communications hal-01169584v1 |
||
|
Vers un partitionnement automatique d'applications en codelets spéculatifs pour les systèmes hétérogènes à mémoires distribuéesRéseaux et télécommunications [cs.NI]. Université Rennes 1, 2009. Français. ⟨NNT : ⟩
Thèse
tel-00445512v1
|
||
|
Compilation optimisante pour processeurs extensiblesArchitectures Matérielles [cs.AR]. Université Rennes 1, 2012. Français. ⟨NNT : ⟩
Thèse
tel-00726420v1
|
||
|
Efficient Compilation of Esterel for Multi-core Execution[Research Report] RR-8056, INRIA. 2012
Rapport
hal-00728149v1
|
||
|
The next 700 Krivine MachinesHigher-Order and Symbolic Computation, 2007, 20 (3), pp.237-255. ⟨10.1007/s10990-007-9016-y⟩
Article dans une revue
inria-00000940v1
|
||
|
Étude des problèmes de spilling et coalescing liés à l'allocation de registres en tant que deux phases distinctesAutre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2009. Français. ⟨NNT : ⟩
Thèse
tel-00403504v2
|
||
TERAFLUX: Harnessing dataflow in next generation teradevicesMicroprocessors and Microsystems: Embedded Hardware Design , 2014, 38 (8), pp. 976-990. ⟨10.1016/j.micpro.2014.04.001⟩
Article dans une revue
hal-00992721v1
|
|||
|
Sémantiques formellesInformatique [cs]. Université d'Evry-Val d'Essonne, 2008
HDR
tel-00336576v1
|
||
|
Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiquesGénie logiciel [cs.SE]. Université de Rennes, 2018. Français. ⟨NNT : 2018REN1S020⟩
Thèse
tel-01865395v1
|
||
|
Vers un rapprochement de l'IDM et de la compilationJournées sur l'Ingénierie Dirigée par les Modèles, Jun 2011, Lille, France
Communication dans un congrès
inria-00601670v1
|
||
|
A synchronous functional language with integer clocksComputation and Language [cs.CL]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE020⟩
Thèse
tel-01490431v1
|
||
|
Contraintes d'anti-filtrage et programmation par réécritureGénie logiciel [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. Français. ⟨NNT : 2008INPL045N⟩
Thèse
tel-01748690v2
|
||
|
Infrastructures and Compilation Strategies for the Performance of Computing SystemsOther [cs.OH]. Université de Rennes 1, 2015
HDR
tel-01237164v1
|
||
|
Kayrebt: An Activity Diagram Extraction and Visualization Toolset Designed for the Linux Codebase2015 IEEE 3rd Working Conference on Software Visualization (VISSOFT), IEEE, Sep 2015, Bremen, Germany. ⟨10.1109/vissoft.2015.7332431⟩
Communication dans un congrès
hal-01213233v1
|
||
|
Verifying constant-time implementations in a verified compilation toolchainCryptography and Security [cs.CR]. Université de Rennes, 2018. English. ⟨NNT : 2018REN1S099⟩
Thèse
tel-01944510v3
|
||
|
Secure compilation for memory protectionCryptography and Security [cs.CR]. Université de Rennes, 2019. English. ⟨NNT : 2019REN1S111⟩
Thèse
tel-02972693v1
|
||
|
Contributions to the safe and efficient parallelisation of hard real-time systemsEmbedded Systems. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS485⟩
Thèse
tel-02456172v2
|
||
|
Reactive probabilistic programmingPLDI 2020 - 41th ACM SIGPLAN International Conference in Programming Language Design and Implementation, Jun 2020, London / Virtual, United Kingdom. ⟨10.1145/3385412.3386009⟩
Communication dans un congrès
hal-03051954v1
|
||
|
Modular Compilation of a Synchronous Language[Research Report] RR-6424, INRIA. 2008, pp.61
Rapport
inria-00213472v2
|
||
|
Modular Compilation of a Synchronous LanguageRoger Lee. Software Engineering Research, Management and Applications, 150, Springer, pp.151-171, 2008, Studies in Computational Intelligence, 978-3-540-70774-5. ⟨10.1007/978-3-540-70561-1⟩
Chapitre d'ouvrage
inria-00523528v1
|
||
|
Constant Time Secure Embedded Systems Through Hardware/Software CooperationRESSI 2022 - Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2022, Chambon-sur-Lac, France. pp.1-3
Communication dans un congrès
hal-03882701v1
|
||
ICOOLPS 2010 and MASPEGHI 2010.The Journal of Object Technology, 2012, 11 (3), ⟨10.5381/jot.2012.11.3.e2⟩
Article dans une revue
hal-02314734v1
|
|||
|
Description and compilation of ad-hoc arithmetic operators in the context of High-Level SynthesisHardware Architecture [cs.AR]. INSA de Lyon, 2023. English. ⟨NNT : 2023ISAL0046⟩
Thèse
tel-04344643v1
|
||
|
Bridging the Chasm Between MDE and the World of CompilationSoftware and Systems Modeling, 2012, 11 (4), pp.581-597. ⟨10.1007/s10270-012-0266-8⟩
Article dans une revue
hal-00717219v1
|