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.

Yet Another Audio Feature Extractor is a toolbox for audio analysis. Easy to use and efficient at extracting a large number of audio features simultaneously. WAV and MP3 files supported, or embedding in C++, Python or Matlab applications.

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.

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.

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.

ImprovCV is a modular dataflow vision processing system built ontop of OpenCV.

...Main design goals were / are: for UI: - easily manageable windows (and not separate processes), i.e. docking widgets, moveable, resize-able, controlled from main window for Transmission: - auto re-connect - logging for various events, e.g. 'Connected', Disconnected, Tx/Rx, Tx / Rx errors, etc. for Tx/Rx logic and dataflow: - Logging Tx/Rx data + timestamps - data forwarding between ports - possibility to add more sophisticated logic: allowing to specify conditional auto-responses, e.g. to be able to emulate behaviour of modems, GPSes or other devices: this could be very useful for testing and developing various embedded applications. - expand above to multiple ports