|
A framework for data-flow based program analysis, implemented as a set of Java APIs. By using this framework, researchers and developers can easily implement analyses, test their correctness, and evaluate their performance. In addition, the framework all
dfShell is a graphical shell in the style of a data flow composition tool. The programs launched by the shell can have >1 inputs and outputs. Backwards compatible with command line programs that use stdin and stdout.
The programs compute the vapor-liquid diagram of an ethane-benzene mixture at 25dlT-C and 175dlT-C. This binary mixture exhibits a peculiar behavior because the volatilities of ethane and benzene are very different. We use the SRK equation of...
Bifurcation diagram of the logistic map.
Desquirr is a decompiler plugin for Interactive Disassembler Pro. It is currently capable of simple data flow analysis of binaries with Intel x86 machine code.
This includes a function to read in the standard flow cytometry FCS format data and examples of how to visualize the data.
The ternary phase diagram of the Al-Ga-Sb system was calculated in the whole domain of compositions on the basis of the simple solution model. AlGaSb_PhaseDiagram is a GUI wich can be used to grow epitaxial layers by means of Liquid Phase Epitaxy....
A high speed data store to store the system state of network and telecommunication switches.
SolFS is an implementation of file system, stored in single file. SolFS has all necessary functionality, that can be found in modern file systems, such as support for streams inside of files, file and stream encryption, journalling (support for...
Program determines amount of the System, GDI and USER resources, acessible in current moment. Work and indicate same that standard Resource Meter, but refreshes data faster (one time in 50 msecs) and hangs 'always on top'. Highly useful for...
Run the M-file and place the poles of your system, then press ENTER. After, insert the zeros of your system, then press ENTER. The result is the Bode diagram of the filter's normalized frequency response that has NUM and DEN with the same order
Creation of a system by integrating multiple validated subcomponents is a task common to SimulinkdlT« and C. In both environments integration issues arise as the number of components increases. Problems include miss-matched data types, scaling...
This project consists of two main parts: A management system for bibliographic data, and a project management system for written works that need to organize and classify such data.
This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF/UML)models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of i dynamic...
This code identifies an ARX model of a system using Genetic Algorithms method in a GUI interfcae and compares the identified model with the model generated using the Least Error method.
The real system O/P, GA model generated O/p and...
Stability of the system obtained from the a typical biochemical network was checked using simulink
To plot the stability chart or Ince strut diagram of Mathieu Equation
Mathieu Equation is a special type of Hill's equation, which is a non- autonomous differential equation. The focal point in this is stability if the solution, which is...
PHPWPos is a web based point-of-sale system written in php. It uses a MYSQL database backend to store data.
PHPWPos is Free Software released under the GNU/GPL License. The goal is to create a web-based open source Point-of-sale...
ECanteen is a data-driven web-based ordering system for canteens catering for schools or any organisation. Users order and admins process by a calendar interface. The end product is a csv file for each day that is used to print labels or lists.
A program in Java, which is capable to extract table data from datafiles of Oracle Database without using Oracle RDBMS or any Oracle Client software. | 
