Search Results for "control flow graph" - Page 13

Volta is a suite of development tools for distributed, hard real-time systems. It includes Cascade, a control flow analysis tool for Java, and Clepsydra, a worst-case execution time analyzer. Also included is a Clepsydra plug-in for jEdit.

The game is about taking the role of a traffic management officer at a busy intersection during rush hour and failing traffic lights. It is up to the player to direct incoming traffic to manage the traffic flow and avoid crashes.

A tool to calculate placement of holes on a tin whistle.

TDTP (Teleoperation Data Transport Protocol) for NCS (Network Controlled Systems) is a transport schema that uses flow control for UDP based data flows. It implements TCPFriendly, fairness and best-effort features, and a NCS priorization algorithm.

ICI is a general purpose interpretive programming language that has dynamic typing and flexible data types with the flow control constructs and operators of C.

Open source high-level synthesis system developed within the FP7 OSMOSIS project. Includes gcc-based SystemC front-end, database with browsing GUI, scheduler/allocator/binder, and Verilog back-end. (We are under migration to SVN server now)

aCob - Another C Obfuscator, is an obfuscator for C code based on clang, currently it only supports control flow flattening of input code

This tool designed for fast exporting flow-tools (http://www.splintered.net/sw/flow-tools/) collected data to database. It avoids accidential double import and miss import from files. Extremely fast and reliable. Bit of examples are here - http://www.larionov.pro/2010/07/netflow-3_12.html (Russian).

BorderFlow implements a general-purpose graph clustering algorithm. It maximizes the inner to outer flow ratio from the border of each cluster to the rest of the graph.

Don't hard-code data-structures for Artificial Intelligence (AI). Evolve them (and control flow) as cycles of arrays in arrays with size constraints based on other array sizes (at specific index) in terms of range, multiply, exponent, or permutation. No working code yet. Whats there now is an extension of GigaLineCompile which would become part of Human AI Net, but there are other projects to finish before I can come back to this one.

The Waterken Server is a platform for building Java applications that use eventual control flow operations, such as asynchronous invocation, to communicate both within the application and across the network to other HTTP-based software.

SafiServer is an engine that powers the applications (called Saflets) created using SafiWorkshop. SafiServer uses these applications to control communications (i.e. Asterisk) along with a multitude of other applications (database, email, etc).

cFlo Cash Flow Forecaster helps users achieve their goals by making it easy to plan and visualize future cash flows.

Bug tracking PHP application, intended to enable final users to report and track bugs or issues, allowing managers to open/assign this bugs to developers. Real easy time tracking interface, and ajax attachments management. Custom reports supported.

SIFA (Secure Information Flow Analyser) uses a graph-based approach to reason about the possible vulnerabilities of a system from an information security perspective, supporting multiple views over the system. SIFA is an experimental prototype.

work in progress

Prosper is a web application development framework to augment Prolog applications with a web interface. It supports control flow in visual logic and promotes a clear separation of model from view.

A eclipse plugin for the history of a single file. The history is fetched from the repository and visualized based on annotations. The color describes the authorship or the changes and can be changed. It comes with a powerful metric extension point.

This project more useful for people who prepare SCJP version 6. Project contain source of Java fundamental, declaration, flow control, generic, collection, Thread, Regex,OO concept , API content and many java questions.

Gnu Access Control (GAC) Is an opensource access controler program. It give you ability to control people flow to access buildings and other sensible sites

A library of graph algorithms non-trivials. An example, chordiallity test, Max-flow, etc...

...It was originally written for the Nintendo Wii, but could be quickly ported to any (embedded) platform. The system engine (currently) has six hook points to allow installation of complex flow control (including animations), plus the option to select a different drawer^ at compile-time or run-time. You can use as many fonts at one time as you have available RAM By default system relies on the presence GRRLIB, available (under MIT licence) from http://code.google.com/p/grrlib Please read the readme for details on creating a font. ...

GEECoP (Graphical Editor and Engine for Constrained Processes) is a tool to graphically design control-flow graphs and their associated constraints. It supports creation of Concurrent Transaction Logic formulas and validation of constrained processes.

E-BioFlow enables the scientists to design workflow using three different perspectives: control flow, data flow and resource perspective. The workflow tool is based on the Yawl engine and has support for BioMOBY and WSDL services and Perl and R scripts.

Design and development of visual programming interface to allow specification, loading, execution and termination of specified simulation runs. It should be capable of allowing secure remote control flow setup, execution / termination of simulation jobs