10072 search results - page 72 / 2015 » Composition of Model Programs |
175
click to vote
CC
2008
Springer
15 years 3 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
A runtime approach to model-generic translation of schema and data is proposed. It is based on our previous work on MIDST, a platform conceived to perform translations in an off-...
135
click to vote
RP
2009
Springer
15 years 8 months ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
131
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSL) offer many advantages over general languages, but their narrow scope makes them really effective only in very focused domains, for example...
128
click to vote
COOPIS
2003
IEEE
15 years 7 months ago
2003
IEEE
We propose a parallel and distributed component framework for building Grid applications, adapted to the hierarchical, highly distributed, highly heterogeneous nature of Grids. Thi...