310 search results - page 31 / 62 » A language and framework for invariant-driven transformation... |
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
ECMDAFA
2005
Springer
14 years 1 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
ASPLOS
1992
ACM
13 years 12 months ago
1992
ACM
: In scalable parallel machines, processors can make local memory accesses much faster than they can make remote memory accesses. In addition, when a number of remote accesses must...
CSMR
2007
IEEE
14 years 2 months ago
2007
IEEE
The Meta-Environment is a flexible framework for language development, source code analysis and source code transformation. We highlight new features and demonstrate how the syst...
MODELS
2009
Springer
14 years 2 months ago
2009
Springer
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...