Search Results for "dataflow" - Page 2

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine. ...

ICon (Input Configurator) is a Java-based system for managing input devices and building advanced interaction techniques using a dataflow model. It contains a runtime engine, a rich library of input devices, several processing modules and a visual editor.

This project is an attempt to provide a product importer for magento that can handle several thousands of products at a reasonable pace compared to magento dataflow. it may evolve to a dataflow alternative as new features are implemented. New : Wiki available at : http://wiki.magmi.org

... * DSPatcher - A graphical tool based on QtPatcher for building DSPatch circuits. *See also:* DSPatch ( https://github.com/MarcusTomlinson/DSPatch ): A powerful C++ dataflow framework. DSPatchables ( https://github.com/MarcusTomlinson/DSPatchables ): A DSPatch component repository.

...It's initial focus will be on emulating gaming consoles, with the GameBoy as a starting point. It will be written using modern software development methodologies, with the TPL Dataflow library as a backbone. It will simulate hardware functionality at a low level without sacrificing performance. The end goal for this project is to allow the ability to simulate hardware by simply dropping common components onto a virtual integrated circuit.

TransLucid is a multidimensional declarative language. Used for Cartesian programming, TransLucid is a generalization of the Lucid dataflow language.

Marsyas (Music Analysis, Retrieval and Synthesis for Audio Signals) is a framework for developing systems for audio processing. It provides an general architecture for connecting audio, soundfiles, signal processing blocks and machine learning. Source code at SF is outdated! Marsyas is now hosted at GitHub: https://github.com/marsyas/marsyas Downloads are now provided at Bintray: https://bintray.com/marsyas

The Open RVC-CAL Compiler (Orcc) is a compiler under BSD license for the RVC-CAL dataflow programming language. Please consult the project homepage at http://orcc.sourceforge.net for more information.

This project provides an improved interface to the atcoreA driver used to control Andor cameras using SDK3 - namely their sCMOS cameras Neo and Zyla. The interface now includes LabVIEW error handling and buffer handling code along with examples of how to operate the cameras from a dataflow environment.

Route11 is a powerful C++ flow-based metaprogramming library that allows you to create and route complex dataflow systems at compile-time. Route11 uses Template Metaprogramming to construct complex "process systems" defined by static relationships between "process primitives". A process primitive is a generic host class that inherits a "process policy". The process policy defines the specific behavior of a process primitive. The general term: "process" can refer to either one of these abstractions (I.e. "2 processes connected in series" may refer to 2 primitives, 2 systems, or one of each) NOTE: Route11 was written using many new C++11 features, so it is required that a C++11 compatible compiler (e.g Clang or GCC) is used when building this project.

Open RVC-CAL Applications (ORCA) is a set of open-source application that demonstrates the power of dataflow designs. With Open RVC-CAL Applications is possible to have from the same design a software and hardware synthesis.

In order to generalize the information dataflow between the objects that communicate with specific data types, we shall present a mechanism that will enable us to transmit the said data and modify it in a predetermined way. This purely generic black box mechanism will act as an intermediary between the data source, the modifying components of the data and its destination, thus providing us with a higher degree of component decoupling.

QFlow is a dataflow framework written in Qt which allows interaction of QObjects in a dataflow graphs. Such a workflow can contain graphical modules(QWidgets) which would be displayed during the execution of graph and can interact with other QObjects. Framework consists of Designer and multiple plugins with modules.

Show semantic dataflow modeling at modeling stage of BPM. Implemented as an extension for Oryx Editor.

This tool provides semantic dataflow modeling at design time of Business Process Management. The prototype is implemented as an extension for Open Source BPM Oryx Editor.

XPDS is a dataflow language for constructing real-time programs in a succint, high-level visual syntax. The computational model is based upon the Giotto language developed by the BeAR research group at Berkeley. XPDS programs consist of tasks (modularised snippets of functional code), communication channels (similar to drivers in Giotto), and modes (which are sub-designs that share information/data).

A graphical process designer and engine extension for JBoss jBPM with dataflow capabilities, common task nodes: SQL, FTP, R (Stats), Groovy and email and round-trip process engineering/management from an Eclipse-based editor

PSF is a path-sensitive, inter-procedural program analysis framework developed on top of Soot.

A simple DataFlow diagram editor and displayer. Runs as pure Java application and applet. The applet can be used to display the diagram in web pages. Part of a suite of programs being developed based on 'Glyph' - a diagramming library suite.

The Squidy Interaction Library eases the design of "post-WIMP" user interfaces by unifying various device drivers, frameworks and tracking toolkits in a common library and provides a central and easy-to-use visual design environment. www.squidy-lib.de

sdf4j is a Java framework to manipulate Static Dataflow graphs (SDF).

Tableflow is a Java web component to connect tabular data using an executable dataflow paradigm. This project includes an advanced data grid component, compatible with JSF that has build in support for filtering, paging, sorting and much more.

Exegraph is a visual, object-oriented, dataflow-driven programming language environment for the Windows and Macintosh platforms.

A set of tools for defining, implementing and steering a dataflow/workflow process on top of a set of CORBA OO components.