Search Results for "cloud computing software"

s(ASP) is an implementation of the stable model semantics of logic programming. Unlike similar systems, it does not employ any form of grounding. This allows s(ASP) to execute programs that are not finitely groundable, including those which make use of lists and terms. Work on s(ASP) is supported by the National Science Foundation under Grant No. 1423419. Details of how s(ASP) works can be found in the following paper: Marple, Kyle, Elmer Salazar, and Gopal Gupta. "Computing Stable...

Dao is a lightweight and optionally typed programming language with many interesting features. It includes features that can make concurrent programming much simpler. It has well designed programming interfaces for easy embedding and extending.

**Note** that releases are outdated on sourceforge. Please refer to our main website: www.jolie-lang.org Jolie is the first full-fledged programming language based upon the service-oriented paradigm, suitable to create new services from scratch or to compose existing ones in powerful orchestrators in order to obtain new functionalities. You can use Jolie for building any kind of distributed applications. Examples are cloud middleware, web portals, and standalone concurrent applications.

ALPHA Script is a unified programming meta-language and a framework that represents an abstract layer on top of the cloud. ALPHA Script is not compiled or interpreted on its own and is programming language agnostic. ALPHA Script is like a virtual bridge that interconnects different clouds and infrastructures. Finally, it can be used for M2M communications.

Safe Lua is a variant of Lua tailored for advanced sandboxing.

The CommGen platform is intended to be a simple, scalable integration platform for small to medium problem sets. The architecture is simple, consisting of a distributed kernel, distributed O/S, agent and application layer.

MOSREF provides a secure, portable and dynamic environment for the development, deployment and management of network and host security auditing tools.

The XPS is a scalable platform for meta-programming and domain engineering. It provides a virtual machine, compiler, and runtime library that make it possible to efficiently develop, debug, and run programs based on XPL (eXtensible Programming Language)

Seppia is a simple Java technology for building an application from constituent parts. Seppia will challenge the way you think of Java based component computing.

Provides a remotely (or locally) scriptable JVM along with a perl & C client

JVMCluster Features: - clusterable Java Virtual Machine (based on PVM) - uses CPPVM as adapter layer to PVM - object persistent layer integrated into JVM - memory management unit is based on integrated relational database - JDBC/ODBC api to acces

kin is a set of libraries and tools supporting meta-programming for engineering and technical computing applications. This JVM version of kin has been superseded by the stand-alone version being developed at http://purl.org/net/kin.

PyREXX is a interprocess messaging server for routing remote prodecure calls using xml-based messages (Jabber, XML-RPC, etc), which will allow programs to interact more easily.

A Java based simulator for the LC-3 16bit processor used in several CSS classes. (specifically in the book "Introduction to Computing Systems: From Bits and Gates to C and Beyond" (2nd Ed) Moved to GitHub