Search Results for "gnu science"

To give users the full control over the running application. This means that an application is working according to its purpose but the control over the whole interface is taken from developer and given to users. While an application is running, users can move, resize, and tune all the screen objects through which the communication with an application is going. Set of files includes the book (both in DOC and PDF formats), a big demonstration project with all its files available (all the...

A real time inference engine for temporal logical specifications, which is able to acquire, process and generate any binary or real signal through POSIX IPC, files or UNIX sockets. Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this...

A graphical tool for designing finite state machines and exporting them to Hardware Description Languages, such as VHDL, AHDL, Verilog, or Ragel/SMC files for C, C++, Objective-C, Java, Python, PHP, Perl, Lua code generation.

Open Object Oriented ANSI C provide API to build Object Oriented application in ANSI C language. It provide common base classes that allow inheritance to develop application with your own reusable objects, and smart exception recovery support

A Javascript Library for plotting stocks or other type of data using HTML 5 canvas. You can create your own plots on a html div element. You can use candlestick chart, line plot, bar chart or distribution diagram. It can work with dinamic javascript frameworks, eg. js Ext and jQuery. You are able to use data sources, so different parts of the same data can be plotted at the same time on your page. You can pan and zoom your plots with mouse and keyboard shortcuts. You can use multiple type...

An algorithm to efficiently compute the number of products and the commonality of the features modeled by a Feature Diagram

A graphical IDE and Model Driven Architecture for designing Overlay Networks and Peer-to-Peer systems.

The Xholon project explores: software as systems of linked nodes, organized hierarchically. The Xholon toolkit supports this back-to-basics approach, and demonstrates practical benefits through examples from numerous domains.

Digital Signal Processing Block Diagram Compiler - user extendable to all DSP's, but presently supports only the TI C2000 family. Rich support for fixed point arithmetic, both saturated and unsaturated. Block diagram entry is via TinyCAD (included).

Shared Substance is a programming framework and middleware for developing distributed interactive application. The environment written in Python, operating on the data-oriented programming model.

DB Designer Fork is a fork of the fabFORCE DBDesigner 4. It integrates entity relationship design,front-end (you can run queries) and SQL exporting.DB Designer Fork generates SQL scripts for Oracle, SQL Server, MySQL, FireBird, SQLite and PostgreSQL.

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

The project focusses on providing a small framework for mvc driven softwaredevelopment. DMVC enables developers to distribute the execution of sw-modules to multiple sw-processes. The current version is limited to distribute the model aspect of MVC.

PatternDetect is an Eclipse plugin that extracts the design patterns used in an Eclipse Java project. PatternDetect can be extended with new design patterns.

GISWidgets is a set of reusable UI widgets for geographic applications (GIS), such as referencing dialogs, legends, styling widgets or map panes. The project is based on GeoTools (in Java) and supports several GUI toolkits (e.g Swing, SWT). Note that, while functional, this library is not developed any further.

Runtime library for the JUndo language. See http://verdantium.blogspot.com/

JUndo is a declarative object-oriented programming language with functional, and intensional programming characteristics. Applications include multi-level undo and sophisticated error recovery. See http://verdantium.blogspot.com/

The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.

MultiJADS is a domain independent multiagent active design documents shell. It uses multiagent technology to support activities in concurrent and distributed design systems and is based on the Active Design Documents (ADD) approach.

Daxi is an aplication for simulating and designing operating systems scheduling algorithms for processes and IO scheduling.

This tool enables you to produce a LaTeX (standard, no extension required) report for database objects (tables, views, indexes, functions, primary/foreign keys, columns, types, keywords, system functions) thanks to the JDBC Api.

Multiform allows creation of Web Applications by defining their processes and business objects in a declarative XML-based language. It's made of a Javascript framework and an XSL compiler to get the application skeleton from the definitions.

Enough lame computing! The project for re-desiging and re-writing the computer world, based on old & new ideas that have never been implemented in a practical way. Research in form of discussion is in the public forum at this sourceforge project page.

ECCO is a web-based IDE. In other words is an online development environment with file manager, console interface for compiling and execution of code and an editor with syntax highlighting, tabs and support for many languages and accessed with a browser

A JML generator. Generates JML specifications based on other specification formalisms.