Sciweavers

7430 search results - page 787 / 1486
» Programming Applications in CIFF
Sort
View
ECOOP
2007
Springer
16 years 1 months ago
Metamodel Adaptation and Model Co-adaptation
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
Guido Wachsmuth
GPCE
2007
Springer
16 years 1 months ago
Constructing language processors with algebra combinators
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...
Philip Weaver, Garrin Kimmell, Nicolas Frisby, Per...
HIPC
2007
Springer
16 years 1 months ago
Accelerating Large Graph Algorithms on the GPU Using CUDA
Abstract. Large graphs involving millions of vertices are common in many practical applications and are challenging to process. Practical-time implementations using high-end comput...
Pawan Harish, P. J. Narayanan
HPCC
2007
Springer
16 years 1 months ago
Strategies and Implementation for Translating OpenMP Code for Clusters
OpenMP is a portable shared memory programming interface that promises high programmer productivity for multithreaded applications. It is designed for small and middle sized shared...
Deepak Eachempati, Lei Huang, Barbara M. Chapman
VMCAI
2007
Springer
16 years 1 months ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck