Search Results for "csp" - Page 2

CSPFJ or CSP4J is an simple, hopefully fast CSP solver API written in Java featuring state-of-art search algorithms

The Concurrency Workbench of the New Century (CWB-NC) provides support for the automated verification of concurrent software systems. The tool allows the user to write a description of the system at hand in one of several design languages (CCS, CSP, LOTOS, PCCS, SCCS, TCCS). Furthermore it supports a variety of automated verification and analysis techniques to check whether the system adheres to its specifications. Among the verification and analysis techniques are: - Behavioral-Relation-Based Verification - Temporal-Logic-Based Verification - Interactive Simulation - Reachability analysis

Syspect is a tool to specify a system using UML2 diagramms and translate them into a CSP-OZ-DC specification for formal verification.

Communicating Sequential Processes: wrapper of various parallel programming technologies such as POSIX Threads/Signals/Sockets, QuickThreads, libnuma, TCMalloc, etc, providing a high level simple abstraction level for parallel programming.

CPPSERV is an application server/servlet container providing Servlet-like API in C++ and CSP (C++ Server Pages) compiler. Currently Apache-2.0 and ligttpd web servers are supported.

The INCOMPARABLE (Independent Communicating Parallel Block Execution) programming language provides a natively parallel programming language based on CSP.

The Combat Simulator Project is an open source project started by flight sim enthusiasts eager for a serious hardcore combat simulator.

A design specification language based upon Z Notation and CSP.

MYCP is a Boost based, open-source, cross-platform HTTP and C++ web application server. MYCP make C++ and web development more simple,make development efficiency increases 20 times, code decreases 80%. CSP+ include CSP,CDBC,C++ Servlet,C++ APP,RCA...

Open CSP Framework for Web Applications (Content Management System,Shop, Portal...) written in PHP with mySQL database interface; AJAX/RIA version will is under construction. (see CVS) Beta is planed for jan. 2008

euneto's project has a set of documents, like papers, specifications and implementations related to Formal Methods and Artificial Intelligence. The main objective is to share to comunity the ideas from this area.

Constraint Satisfaction Problems Solver for Binary constraints, input files in XML with the current format XCSP 2.1, adopted for the 2008 CSP/MaxCSP/WCSP solver competition. The solver is in C++ and use the boost library

Utilities for reading/writing data in a SLC 5/05 over ethernet. The driver uses the CSP protocol, sometimes refered to as AB/Ethernet. Written in Visual Basic 2008. Works in free express version. Can be used to build a free HMI. NOTE: This is NOT Etherne

CSP Canonical LR(1) Parser Generator. Includes lexer and parser generator. Supports all OS. Produces code as standard ANSI C++ w/ minimal STL and usable in commercial or non-commercial purposes.

The CppSP word is short for C plus plus server pages. It is designed to effective web service and make it easy and fast to develop your own cgi projects. Using the CSP, you can write your C and C++ codes combined whith your html tags.

Recreation of the Trent computer science website.

OnFORME (Online Feedback Organization, Requesting and Monitoring for Educators) provides a way for educators to quickly author feedback objects (e.g. surveys), and publish them via the Web so that students can easily respond (based on Caché, CSP by ISC)

The DSManager middleware is used for Commerical-Off-The-Shelf (COTS) Simulation Package (CSP) Interoperability based on the IEEE High Level Architecture.

libcsp is C a library makes programming with threads much easier. By providing an easy mechanism to express and reason about programs with multiple threads, it becomes easier to fit software into the real world.

A Java application to schedule weekend-shifts, using constraint satisfaction programming (CSP).

SimData-CSP is a C++ library for data management in simulations that provides dynamic object creation, automatic binding to external static data at runtime (using precompiled XML), and many data classes useful in simulations (with full Python bindings).

mod_csp (C Servlet Pages) is an Apache Module written in C for embedding C/C++ (Souce-) Code inside HTML Pages (like Java Servlet Pages JSP).

...Various signal processing algorithms (so called nodes) are available within the software, from finite impulse response filters over data-dependent spatial filters (e.g. CSP, xDAWN) to established classifiers (e.g. SVM, LDA). pySPACE incorporates the concept of node and node chains of the MDP framework. Due to its modular architecture, the software can easily be extended with new processing nodes and more general operations. Large scale empirical investigations can be configured using simple text- configuration files in the YAML format, executed on different (distributed) computing modalities, and evaluated using an interactive graphical user interface. ...

AgCSP is a CSP solver which use Evolutionary methodes. It is composed of a extendable library, parrallele executable and graphical interface. The CSP can be graph coloring, TSP, or anything else.

Open CSP is a set of extensions to the MediaWiki software (powering Wikipedia). See the GitHub for further details at https://github.com/open-csp.