867 search results - page 51 / 174 » On Optimization of Test Parallelization with Constraints |
SIGMOD
2003
ACM
14 years 9 months ago
2003
ACM
We propose a framework for integrating data from multiple relational sources into an XML document that both conforms to a given DTD and satisfies predefined XML constraints. The f...
ICAI
2010
13 years 7 months ago
2010
- In this article, we present an algorithm which is capable of transforming a gridded dogleg channel routing problem into a constraint programming (CP) problem. The transformed CP ...
EUROPAR
2009
Springer
14 years 3 months ago
2009
Springer
Stencil based computation on structured grids is a common kernel to broad scientific applications. The order of stencils increases with the required precision, and it is a challeng...
ICCS
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. GeoFEM has been developed as a finite element solid earth simulator using the Earth Simulator (ES) (35.61 Tflops/peak according to the Linpack benchmark test). It is comp...
MSWIM
2006
ACM
14 years 2 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...