2933 search results - page 456 / 587 » Agent-Grid Integration Language |
127
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...
151
click to vote
DLS
2005
15 years 5 months ago
2005
The DDP (Demand-driven/Pruning) analysis algorithm allows us to perform data-flow analyses of programming languages that are dynamically typed and have higher-order control flow...
148
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
251
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
157
click to vote
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
Solution-driven product line engineering is a project business where products are created for each customer individually. Although reuse of results from former projects is widely ...