• Aucun résultat trouvé

source-to-source

From OpenMP to MPI : first experiments of the STEP source-to-source transformation tool

From OpenMP to MPI : first experiments of the STEP source-to-source transformation tool

... the source-to-source transformation tool called STEP which generates MPI source code, from a program annotated with OpenMP ...STEP to reduce both the volume of data that need to ...

9

From Data to Effects Dependence Graphs: Source-to-Source Transformations for C

From Data to Effects Dependence Graphs: Source-to-Source Transformations for C

... Keywords: Source-to-Source Compiler, Data Dependence Graph, C Lan- guage, Declaration Scheduling 1 Introduction Program optimizations, transformations and analyses are applied to intermediate ...

16

Effects Dependence Graph: A Key Data Concept for C Source-to-Source Compilers

Effects Dependence Graph: A Key Data Concept for C Source-to-Source Compilers

... C source-to-source compilation and the differences between source-to-source and classical ...for source-to-source compiler to manage ...(FXDG), ...

11

Automatic task-based parallelization of C++ applications by source-to-source transformations

Automatic task-based parallelization of C++ applications by source-to-source transformations

... [14]. To overcome this chal- lenge and provide optimized applications to non-experts, the research community has covered multiple facets to provide methods and tools to benefit from the power ...

12

en
                                                                    fr

en fr C source-to-source compiler enhancement from within Amélioration source-à-source de compilateurs C

... inserts source-line information in the generated ...omitted to keep the snippets readable for the human ...programmer to perform simple compile time computations and to access external ...

23

Some highlights on Source-to-Source Adjoint AD

Some highlights on Source-to-Source Adjoint AD

... respect to the inputs, along direction ˙ ...respect to X, at the given point X and along the given direction ˙ ...bound to tangent AD, as it also goes from one given ˙ X to ˙ Y ...(1 to ...

6

Source-to-Source Automatic Program Transformations for GPU-like Hardware Accelerators

Source-to-Source Automatic Program Transformations for GPU-like Hardware Accelerators

... J’ai étudié plusieurs méthodes de remplacement de tableaux par des scalaires dans le contexte de la pratique du GPGPU à la Section 4.7, page 127, et j’ai modifié l’implémentation de PIPS [r] ...

351

A Set-Valued Approach to Multiple Source Evidence

A Set-Valued Approach to Multiple Source Evidence

... seems to mimic Shafer’s evidence theory [ 7 ...multiple source extension of a categorical basic assignment and its intended meaning, from which set-valued belief, plausibility, commonality functions are ...

7

Brain source imaging: from sparse to tensor models

Brain source imaging: from sparse to tensor models

... For source imaging purposes, one then exploits the fact that the higher-order lead-field vector ˜ g ⊗q r , r = 1, ...orthogonal to the noise subspace. To this end, MUSIC-like algorithms can be ...

28

A Set-Valued Approach to Multiple Source Evidence

A Set-Valued Approach to Multiple Source Evidence

... multiple source extension of categorical mass functions in the sense of Shafer’s evidence ...respect to the union of events. In a special case where each source refers to a single information ...

8

Student's t Source and Mixing Models for Multichannel Audio Source Separation

Student's t Source and Mixing Models for Multichannel Audio Source Separation

... recent source separation methods [32] and ...order to exactly represent the convolutive mixing process, but in a limited semi-blind scenario where the mixing filters were ...had to be estimated, ...

16

Protocol Analysis of Any-Source Multicast and Source-Specific Multicast

Protocol Analysis of Any-Source Multicast and Source-Specific Multicast

... Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex France Unité de recherche INRIA Futurs : Parc Club Orsay Université - ZAC des Vi[r] ...

28

Tapping into the source: corporate involvement in open source software

Tapping into the source: corporate involvement in open source software

... likely to conflate two effects ...likely to fix bugs and address feature requests than less performing ones and could therefore also attract more attention from ...attempt to interpret the results ...

141

De la carte outil à la carte source

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

XOR-based Source Routing

XOR-based Source Routing

... XOR-based source routing, a new data plane scheme enabling fast forwarding by performing only simple linear operations over a binary vector label which embeds an encoded routing path ...Compared to recent ...

8

Paysage : source de bien-être ?

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

La désobéissance civile : une source du droit ?

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 ?

L'analyse économique est-elle une source du droit ?

... une source du droit à même d’influencer le cours des lois et des décisions de justice ? Si l’interrogation définit le contour général de la présente chronique, c’est bien la doctrine proposée par le Premier ...

6

Créer de l’open source, et après ?

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

L'eau, source de conflits - Préface

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

Show all 10000 documents...

Sujets connexes