The AERN-Net package

[Tags:bsd3, library]

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.

Properties

Versions 0.2.0, 0.2.1, 0.2.1.1
Change log ChangeLog
Dependencies AERN-Real (>=0.10 && <0.10.1), AERN-RnToRm (>=0.5 && <0.5.1), base (==3.*), binary, containers, html, stm, time [details]
License BSD3
Copyright (c) 2007-2009 Michal Konecny
Author Michal Konecny (Aston University)
Maintainer mikkonecny@gmail.com
Stability experimental
Category Math, Distributed Computing
Home page http://www-users.aston.ac.uk/~konecnym/DISCERN
Uploaded Wed Jul 29 10:06:08 UTC 2009 by MichalKonecny
Distributions NixOS:0.2.1.1
Downloads 1162 total (23 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees