Source-to-source Compilation
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
From Data to Effects Dependence Graphs: Source-to-Source Transformations for C
... a source-to-source compilation framework [ 9 ] developed at MINES ...code. To carry out these analyses, PIPS relies on the notion of effects, which reflect how a code statement ...
16
Automatic task-based parallelization of C++ applications by source-to-source transformations
... Task-based, Compilation, Parallelization, ...applications to speci- fic ...close to their theoretical peak performance is a tedious challenge especially for many-core CPUs like the Intel KNL or the ...
12
Some highlights on Source-to-Source Adjoint AD
... another source of ...hand, to reduce approximation, ST-AD tools make these analyses interprocedural, context-sensitive, and ...price to pay is that there is no “separate AD” in the fashion of ...
6
en fr C source-to-source compiler enhancement from within Amélioration source-à-source de compilateurs C
... want to give the ...switch to a "complicated" processing mode that ensures that changes to the state in one processed expression do not pollute the result of other ...assigned to the ...
23
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
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 ...
7
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
... 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
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
Source-specific routing
... want to serve nodes that are not its ...error-prone. Source-specific routing provides an elegant solution to this ...With source-specific routing, each instance of the distributed server is ...
10
Bandgap current source
... The circuit exhibited a temperature coefficient of 113 ppm/ 0 C. Commercial bandgap references typically have dependencies of 25-50 ppm/ 0 C. Considering that the circu[r] ...
48
L'eau, source de vie
... L’EAU, SOURCE DE VIE Ken Tapping, le 5 février 2019 Comme la Terre, Titan, le plus gros satellite de Saturne, possède une atmosphère et est couvert de rivières, de lacs et ...
3
Acoustic source localization
... Three methods of reconstruction - Disciplined Convex Programming, Orthogonal Matching Pursuit, and Compressive Sensing- will be explored, and their robustness to noise, a[r] ...
61
XOR-based Source Routing
... labels to identify ...needed to identify each interface label of a router depends on the number of output ...systems to represent the interface labels of the output ...added to the header ...
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
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 ?
... 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 ?
... 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
... 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