959 search results - page 137 / 192 » On the implementation of automatic differentiation tools |
140
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
The ability to dynamically adapt an unstructured grid (or mesh) is a powerful tool for solving computational problems with evolving physical features; however, an efficient parall...
131
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
150
Voted
NETWORKING
2008
15 years 5 months ago
2008
In the highly dynamic and unpredictable environment of MANETs, cross-layer design is receiving growing interest but lacks experimental validation tools. This paper presents XIAN (C...
135
Voted
IJWET
2006
15 years 3 months ago
2006
: Business processes provide abstractions for modelling business protocols that define the correct interactions between two or more Web services (WS). It has been shown that it is ...
141
Voted
ER
2010
Springer
15 years 2 months ago
2010
Springer
Multidimensional models are at the core of data warehouse systems, since they allow decision makers to early define the relevant information and queries that are required to satis...