AERN-Net

Compositional lazy dataflow networks for exact real number computation http://www-users.aston.ac.uk/~konecnym/DISCERN

Latest on Hackage:0.2.1.1

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD3 licensed by Michal Konecny (Aston University)
Maintained by mikkonecny@gmail.com

AERN-Net provides datatypes and abstractions for defining and executing networks of communicating processes. These networks have a fixed topology, which can be infinite via recursion. The communication on each channel is driven by some query-response protocol. Basic protocols for communicating approximations of real numbers and functions are provided together with protocol combinators eg for communicating value pairs or lists and communicating with additional query parameters or with optimised repetitions.

An class-based abstraction is provided to make it possible to execute networks on various distributed backends without modification. At the moment there is only one backend, which is not distributed. It is envisaged that truly distributed backends will be added soon, eg based on plain TCP, MPI or REST/SOAP Web services.

A mathematical foundation of these networks is described in the draft paper http://www-users.aston.ac.uk/~konecnym/papers/ernets08-draft.html.

Simple examples of usage can be found in modules DemoMax and DemoSqrt in folder examples.

Changes

0.2.1.1: 29 July 2009: adapted to the latest AERN-Real, AERN-RnToRm
0.2.1: 23 February 2009
* Added support for linear fractional transformation (LFT) real number representation
of Potts & Edalat (1997) and added some simple processes that work with it.
* Improved the presentation of network traces in a web browser.
* Added a natural number protocol.

0.2.0: 2 December 2008
* initial public release of AERN-Net after two years of work and many internal experiments
and refactorings

comments powered byDisqus