2451 search results - page 112 / 491 » The Octagon Abstract Domain |
186
click to vote
PVM
2007
Springer
16 years 1 months ago
2007
Springer
Institutional grids consist of the aggregation of clusters belonging to different administrative domains to build a single parallel machine. To run an MPI application over an inst...
173
click to vote
IPPS
2006
IEEE
16 years 27 days ago
2006
IEEE
We describe a system for aggregating heterogeneous resources from distinct administrative domains into an enterprise-wide compute grid, such that the aggregated resource provides ...
162
click to vote
APLAS
2006
ACM
16 years 26 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
172
click to vote
ECOOP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In our research we are studying how to combine modelling, metamodelling, and reflection to systematically generate middleware configurations that can be targeted at diffe...
153
click to vote
DIAGRAMS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...