Haut PDF A language and an Integrated Environment for Program Transformations
A language and an Integrated Environment for Program Transformations
... 101 - 54602 Villers lès Nancy Cedex France Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex France Unité de recherche INRIA Rhône-Alpes : 65[r] ...
22
Extended Cyclostatic Dataflow Program Compilation and Execution for an Integrated Manycore Processor
... Conclusion and future works In this paper, we described an end-to-end compilation toolchain and an ex- ecution support for the ΣC language, with an illustration of its ...
19
Towards easy program migration using language virtualization
... host environment and are compatible, so we want to use ...the program but is present in the host ...create a stub for Point and make it inherit from the Point from the host ...
9
OpenAlea 2.0: Architecture of an integrated modeling environment on the web
... workflow, Integrated modeling environment, Web ...of a model of plant or cellular tissue requires the use of a modeling paradigm: (i) imperative using a script or a compiled ...
2
Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language
... been a better choice not to use condition variables to interrupt CPS ...primitives. For instance, we could have introduced a separate concept of thread identifier with the ability to interrupt ...
201
Integrated environment for verifying and running distributed components -Extended version
... our integrated environment for designing and implementing safe component-based ...formalisms for the application architecture and the behavior specification, as well as type ...
28
Formal verification of a C-like memory model and its uses for verifying program transformations
... source language for this translation, local variables and temporaries are initialized to the undef value on function ...reading an uninitialized local variable amounts to loading from a ...
30
A UML-integrated test description language for component testing
... testing and among the properties we wish to test are those concerned with correct ordering of the messages interchanged between the SUT and the tester, the latter playing the role of the SUT’s ...orderings ...
17
Integrated Environment for Verifying and Running Distributed Components
... Discussion and Perspectives In this paper we presented our integrated environment for designing and im- plementing safe component-based ...formalisms for the application ...
18
CoSim20: An Integrated Development Environment for Accurate and Efficient Distributed Co-Simulations
... proposed language and framework are detailed in the next ...gives an overview of the proposed ...the language provided in the CoSim20 modeling environment; and one part dedicated ...
9
Leveraging streaming for deterministic parallelization: an integrated language, compiler and runtime approach
... models and, to the best of our knowledge, more generally to stream programming models, is the notion that the computation is driven by the avail- ability of sufficient input data 1 ...extension for ...
282
Cognitive Advantage in Children Enrolled in a Second-Language Immersion Elementary School Program for One Year
... learning an L2 at school using teaching programs, such as the “Content and language – Integrated learning method” (CLIL) (Bialystok & Barac, 2012; Carlson & Meltzoff, 2008; ...
20
SISYPHE - An Integrated Development Environment for System Designing and Performing Simulations
... to program small systems (about several ten nodes at ...to program big systems (several thousand and even million nodes) and so, graphs and rules must be generated ...processing ...
10
ATSyRa: An Integrated Environment for Synthesizing Attack Trees
... implement an environment, called ATSyRA , for realizing the methodology previ- ously ...experience for assessing the physical security of military build- ings 2 motivated its ...develop ...
6
Content and language integrated learning in Vietnam: evolution of students' and teachers' perceptions in an innovative foreign language learning system
... from a language learner to the CLIL project Being raised and educated in a very traditional way, I can describe myself as a typical Vietnamese ...highly and always did everything ...
256
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
Facilitating the Exploration of Compositions of Program Transformations
... article a pour but d’introduire un cadre général pour exprimer facilement des com- positions de transformations de ...consiste a séparer radicalement l’impact de chaque transformation sur les trois ...
33
Language Deficiency in Moderately Deaf Adolescents: An Environment based Perspective
... competence and social interaction. Firstly, it contains an overview of Dell Hymes’ theory and the history behind the term communicative ...rules for effective ...model for using ...
65
A new effective dynamic program for an investment optimization problem
... numbers: a set of break points I (at each break point, a new linear segment of the piecewise linear function ends), a set of slopes U and a set of values of the function at the ...
22
Decision Representation Language (DRL) and Its Support Environment
... I define viewpoint management as the set of services responsible for creating and manipulating a viewpoint, which is in turn defined as an object that groups objects which[r] ...
56