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

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.

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

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.

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.

RAS is the acronym for Result Assessment System. The primary purpose of RAS is helping users manage, visualize, assess and report results obtained from experimental search algorithms.

Online Book Reservation system (Beta Version)

This is meant to be a powerful, but easy to use math software. It's by the user and for the users.

Eloquence is a plug-in for the Eclipse IDE to allow seamless and automated integration of aspect-oriented design pattern implementations with Java/AspectJ projects.

AdaptiveCells J2EE generates test-beds for benchmarking J2EE performance. They consists of highly customizable EJB cells that can emulate CPU load, memory usage, memory leaks and exceptions. The behaviour of the cells is coordinated from a web front-end.