5962 search results - page 694 / 1193 » Working with Patterns and Code |
188
click to vote
VMCAI
2005
Springer
16 years 23 days ago
2005
Springer
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
225
Voted
VMCAI
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
192
click to vote
ATAL
2004
Springer
16 years 21 days ago
2004
Springer
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...
209
Voted
ICCS
2004
Springer
16 years 20 days ago
2004
Springer
: Computational and data Grids couple geographically distributed resources such as high performance computers, workstations, clusters, and scientific instruments. Grid Workflows co...
178
Voted
ICESS
2004
Springer
16 years 20 days ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...