10241 search results - page 1568 / 2049 » Goal-Driven Software Development |
121
click to vote
CIE
2006
Springer
15 years 8 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
123
Voted
DDECS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract-- Genetic Parallel Programming (GPP) evolves parallel programs for MIMD architectures with multiple arithmetic/logic processors (MAPs). This paper describes a tool intende...
168
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
126
click to vote
ESA
2006
Springer
15 years 8 months ago
2006
Springer
We address the problem of sorting in the presence of faults that may arbitrarily corrupt memory locations, and investigate the impact of memory faults both on the correctness and ...
128
click to vote
ESCIENCE
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes how the London e-Science Centre cluster MARS, a production 400+ Opteron CPU cluster, was integrated into the production Large Hadron Collider Compute Grid. It...