compilation source-à-source
From Data to Effects Dependence Graphs: Source-to-Source Transformations for C
... 16. Lattner, C., Adve, V.: LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In: Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO’04). Palo ...
16
Les répertoires charitables: la production de la source
... Les recenseurs dépendaient donc de la coopération des œuvres recensées et ils ne l’obtenaient pas toujours, comme en témoignent les fréquentes dé- plorations à ce sujet 86 . Dans les débuts au moins, les organisateurs de ...
32
Automatic task-based parallelization of C++ applications by source-to-source transformations
... Mots-clés : Task-based, Compilation, Parallelization, Object-oriented. 1 Introduction High-performance computing (HPC) is crucial for making advances and discoveries in nume- rous domains [28]. While computers and ...
12
en fr C source-to-source compiler enhancement from within Amélioration source-à-source de compilateurs C
... Amélioration source-à-source de compilateurs C Résumé : Nous montrons comment un remplacement local source-à-source de fragments de code C peut être utilisé pour une spécification et un ...
23
Some highlights on Source-to-Source Adjoint AD
... 2. Diff-Liveness: detects primal variables that are not needed for derivative computation, although they may be used for the original, primal computation. This analysis is therefore a backward slicing of unused primals ...
6
De la carte outil à la carte source
... Cartes des crues: un risque rationalisé Cartes des aménagements: un lit navigable Arch. Nat. Atlas Trudaine, 18 ème siècle Echelle: 1/8600è Pour garder navigable la Loire en tout temps, limiter les dégâts et la ...
2
L'eau, source de conflits - Préface
... rivalités, source de conflits : la gestion de l’eau est devenue un enjeu politique, économique et juridique considérable qui s’exprime à travers des stratégies d’affrontement et de ...
5
Créer de l’open source, et après ?
... La diffusion d'un logiciel structurant comme peut l'être Collec-Science dans le quotidien d'un laboratoire impose de pouvoir assurer des fonctions « d'avant vente » (présentation du log[r] ...
3
La désobéissance civile : une source du droit ?
... désobéissants cherchent, par une sorte d'effraction démocratique, à forcer l'un et l'autre pour trouver un chemin vers le droit. Le second aspect envisage la désobéissance civile comme une source du droit. Il ...
8
L'analyse économique est-elle une source du droit ?
... En définitive, lorsque l’auteur s’interroge sur « la finalité et les apports de l’analyse économique à la jurisprudence. A quoi sert-elle au juge ? En quoi peut-elle entrer dans le mécanisme jurisprudentiel ? », c’est ...
6
"Webjournalisme: Ma source s'appelle 72.678.456.393"
... Avec internet, maîtriser les outils informatiques est donc un gage de confiance entre le journaliste et ses informateurs. Vers la perte du contact humain ? Vers la perte du contact humain ? Mais cette confiance passe ...
8
Paysage : source de bien-être ?
... Rapport sur la recherche FEDER, évaluation socio-économique du bien-être par le paysage et le patrimoine Page 98 « Vous parliez santé, ça c’est un gros problème, mais ce n’est pas lié à Châteauneuf, c’est national, le ...
185
XOR-based Source Routing
... Other strategies have been proposed to enable multipath or multicast. In [12], the source builds a Bloom filter which is based on the addresses of the nodes of the path and which is stored in the packet header. At ...
8
Restructuring source code identifiers
... form source code identifiers and ...of source code entities ...the source code in to different ...of source code implementing those ...
54
Recherche de similarité dans du code source
... Les langages informatiques, tout comme les langages que nous qualifions de naturels, sont des constructions humaines, mais à la différence des seconds ceux-ci ont été élaborés sur un court laps de temps, par un nombre ...
280
Identification de source dans une Edp parabolique
... On commence par l’étude du problème direct, on construit la solution analytique et numérique du problème, ensuite pour le problème inverse, on propose la méthode de régularisation de Tik[r] ...
92
THE CHANDRA SOURCE CATALOG
... a source detection in one observation overlaps the apertures associated with multiple distinct source detections from other ...because source detections from a single observation are always assumed ...
47
Le routage spécifique à la source et ses applications
... la source, et une application multichemin, ...la source Le routage sp´ecifique `a la source [BC15] est une modeste extension du routage next-hop o`u les paquets sont rout´es en fonction de leur ...
5
Concentric Permutation Source Codes
... ˆ 𝑋 is the codeword closest to 𝑋. A. Spherical Codes In a spherical (source) code, all codewords lie on a sin- gle sphere in ℝ 𝑛 . Nearest-neighbor encoding with such a codebook partitions ℝ 𝑛 into 2 𝑛𝑅 cells that ...
12
RDF/XML Source Declaration
... The RDF/XML syntax extension proposed here turns triples into quadruples with the new forth term being the IRI of the source of the triple. For instance consider an RDF graph stating that a resource has a title ...
6