Parallel programming languages
Analysis and Compilation of Parallel Programming Languages
... intermediate languages that make it difficult to compose and trace transformations ...scripting languages, intermediate languages, pragma-based or multi-stage and rely on various levels of ...
151
Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages
... high-level programming constructs to avoid the programming errors frequent when expressing ...efficient parallel language designs that tackle this difficult issue: Cilk, Chapel, X10, Habanero-Java, ...
16
Preserving high-level semantics of parallel programming annotations through the compilation flow of optimizing compilers
... of parallel programming languages in the intermediate representation of optimizing ...these languages does not fit well in the intermediate representation of classical optimiz- ing compilers, ...
13
Curiosity and Languages
... and Languages Pierre-Yves Oudeyer In a big egg that has just opened, a tribe of young robotic creatures evolves and explores its environment, wreathed by a large zero that symbolizes the ...
5
Programming embedded manycore : refinement and optimizing compilation of a parallel action language for hierarchical state machines
... ∪{st : Entered • entered(st)} Clearly, the semantics is too complex to maintain and hardly extensible. Furthermore, it still does not take into account the valuations of variables and history states. We see two possible ...
199
Globalizing Modeling Languages
... In this context, DSMLs can be used to support socio-technical coordination by providing the means for stakeholders to bridge the gap between how they perceive a problem and its solution, and the programming ...
6
Using Approximation within Constraint Programming to Solve the Parallel Machine Scheduling Problem with Additional Unit Resources
... Model using approximation results The model we present in this section leverages the previ- ous results in order to improve on the baseline constraint programming model. In particular, we add variables stand- ing ...
9
Rule markup languages and semantic web rule languages
... markup languages will be the vehicle for using rules on the Web and in other distributed ...concrete languages addressing different ...rule languages to fulfill these ...markup languages ...
32
Locally Finite Languages
... word languages appear in the theory of traces for the modelization of concurrency [DR95] and in the work about timed automata when one consider that an infinite number of actions may happen during a finite period ...
56
Denotational proof languages
... What we wanted was a small but powerful formal language in which to write down proofs in a lucid and structured style; it should have an exceptionally clean and si[r] ...
421
Bridging the Gap Between Formal Languages and Natural Languages with Zippers
... Email: ferre@irisa.fr Abstract. The Semantic Web is founded on a number of Formal Lan- guages (FL) whose benefits are precision, lack of ambiguity, and ability to automate reasoning tasks such as inference or query ...
16
On Additivity in Transformation Languages
... transformation languages [1]) the language fosters an explicit correspondence between the structure of the code and the structure of the resulting target ...transformation languages are characterized by ...
12
Meta-programming and Multi-stage Programming for GPGPUs
... ViennaCL [25] is also an expression template library for OpenCL/CUDA. This library strictly follows the uBLAS programming interface and STL like algorithms for easier integration with other softwares. It has ...
25
Load balancing methods and parallel dynamic programming algorithm using dominance technique applied to the 0-1 knapsack problem
... Load balancing methods and parallel dynamic programming algorithm using dominance technique applied to the 0-1 knapsack problem Didier El Baz, Moussa Elkihel.. To cite this version: Didi[r] ...
22
Recombinant Programming
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
45
Icobj Programming
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
5
Programming As Poetry
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
6
Colored-Object Programming : about the Programming Activity
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
38
Reduplication in languages: A case study of languages of China
... numerous languages spoken in ...Altaic languages, the less this semantic feature is ...Austro-Asian languages: on one side the Tibeto-Burman (TB) group has OV order (except Bai), while the other ...
22
An efficient dynamic programming parallel algorithm for the 0-1 knapsack problem
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
9