DIStributed Computation over Exact Real Numbers

Exact real computation is a theoretically robust alternative to floating point computation - it focuses on producing validated approximations of exact numerical results with arbitrary precision. In practice, such level of reliability and flexibility comes at a cost of execution speed and memory usage.

One way of obtaining validated results faster is by distributing the computation. The aim of the DISCERN project is to provide a software infra-structure to implement distributed algorithms for effective computation over exact real numbers, whilst on the theory side, a domain theoretic denotational semantic is proposed to help study the semantic properties of the framework.

For a more comprehensive discussion of the theory, together with background, motivation and related publications please visit the theory section or read our JUCS paper.

The project is currently based in the Computer Science group at Aston University.

Current members:


Last modified: Thu July 27 18:24:46 BST 2009