Search Results for "library" - Page 10

This project pretends solved Distributed Constraint Satisfaction Problems (Dis-CSP) using Mozart-OZ. Asynchronous Backtracking algorithm will be implemented.

Java Remote Method Call provides a Framework for remote method invocation on Java objects which solves the limitations of Java RMI. It provides a way for bidirectional communication of object states, between Client and Server.

PeerVibes is a framework for creating applications based on peer-to-peer networks. This framework provides the necessary tools and architecture to build complex applications such as collaborative work support and distributed backup.

Shade is an Object-Oriented, Shader-based, Distributed Scene Graph. Designed using C++ (with optional Lua bindings), OpenGL, and MPI, Shade allows the creation of applications that work on a single machine and on a tiled display.

Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about...