Symbolic Systems And Stanford
Based on Symbolic Math functions and GUIDE flexibility, this software help to solve easily polynomial functions analysis.User just enter polynomial functions like f(x)/g(x) with f(x) = ax^n + bx^(n-1) + ... C and g(x)= a1x^n + b1x^(n-1) + ... D ; n in N.The version published is in French , but I...
Platforms: Matlab
License: Shareware | Cost: $0.00 USD | Size: 10 KB | Download (47): Polynomial functions analysis with Symbolic Math and GUIDE Download |
Acronis Backup and Security 2010 is a subscription-based, full-featured home PC protection solution against both internal threats which can cause data loss and external threats which can damage systems and data. It combines three essential elements into one easy-to-use package: local backup,...
Platforms: Windows
License: Shareware | Cost: $69.99 USD | Size: 354.8 MB | Download (49): Acronis Backup and Security 2010 build Download |
Intended for an introductory course in control systems and for the practicing engineer, the goal of this book is to present a unified treatment of conventional and modern continuous control systems, and to show how to apply the theory presented to realistic design problems.For a full book...
Platforms: Matlab
License: Freeware | Size: 358.4 KB | Download (48): Modern Control System Theory and Design, 2e Download |
MATLAB in Physics is a four lecture series in MATLAB that is offered to first year physics undergraduate students. This lecture shows how to use MATLAB to simulate physical systems using a range of methods. Projectile motion is analysed using the Symbolic Math Toolbox, then more complicated...
Platforms: Matlab
License: Freeware | Size: 143.36 KB | Download (45): Screenshot MATLAB in Physics - Symbolic Computation and Differential Equations Download |
Use this desktop browser for purchasing affordable home alarm systems and other great sucurity products. Quick and easy install for windows coputers. To uninstall simply delete the app from you desktop.
Platforms: Windows
License: Freeware | Size: 28 KB | Download (53): Alarm Systems Download |
Media Lab Asia collaborated with IIT Delhi for development real-time kernel O/S named RTKER OS portable on microprocessor based systems and a Multithreaded O/S for 8-bit microcontrollers (like 8051 and ATMega128) as low cost embedded solution.
Platforms: Mac
License: Freeware | Size: 12.36 MB | Download (47): RTKER and ATMEGA28 Operating system Download |
Verifying and validating embedded systems comprising software and electronics is a daunting challenge, given the increasing complexity of these systems and the need to meet tight schedules. Aerospace, automotive, communications, mechatronics, and other organizations solve this challenge by...
Platforms: Matlab
License: Freeware | Size: 225.28 KB | Download (46): MATLAB and Simulink in the World: Verification and Validation Download |
Using Simulink for Model-Based Design can shorten the design cycle of embedded systems and hardware products. By offering a unified environment to explore design tradeoffs, and eventually to implement and verify a design on target hardware, including GPPs, DSPs, and FPGAs, you will be able to...
Platforms: Matlab
License: Shareware | Cost: $0.00 USD | Size: 1.95 MB | Download (50): Model-Based Design and FPGA Implementation with Simulink Download |
[M L] = routh_hurwitz(P,N)This function gives the Routh's array from a numerical or SYMBOLIC polynomial and includes two special cases: (1) the first element of the row is zero; (b) a row of zeros.P Numerical or symbolic array of coeficients. In the case of symbolic variables it is necesarry to...
Platforms: Matlab
License: Shareware | Cost: $0.00 USD | Size: 10 KB | Download (44): Routh's array in symbolic way Download |
[M, L] = jury(P,N)This function gives the Jury's array from a numerical or SYMBOLIC polynomial and includes the two special cases: (1) the first element of the second row of a block is zero; (b) a row of zeros (when there are roots on unit circle or reciprocal roots like (r,1/r). The symbolic...
Platforms: Matlab
License: Shareware | Cost: $0.00 USD | Size: 10 KB | Download (51): Jury's array in symbolic way Download |
ACL2 is a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 stands for "A Computational Logic for Applicative Common Lisp". It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been...
Platforms: *nix
License: Freeware | Size: 5.8 MB | Download (99): ACL2 Download |
Virt-Factory project manages virtualized infrastructure: Virt-Factory focuses on interacting with large numbers of virtual systems and on addressing some of the interaction problems that brings with it Virt-Factory is primarily aimed at a fairly formal setting (data center), though we hope it...
Platforms: *nix
License: Freeware | Download (93): Virt-Factory Download |
SNIPS (System & Network Integrated Polling Software) is a system and network monitoring software that runs on Unix systems and can monitor network and system devices. SNIPS application is capable of monitoring DNS, NTP, TCP or web ports, host performance, syslogs, radius servers, BGP peers, etc....
Platforms: *nix
License: Freeware | Size: 1.2 MB | Download (104): SNIPS 1.1 / 1.2 Beta Download |
OT2 project is a bonsai collection management software for *nix systems and windows, it helps you to manage your trees, your pots and your pictures..
Platforms: *nix
License: Freeware | Size: 358.4 KB | Download (114): OT2 Download |
ClusTerm is used to SSH into a cluster of systems and execute the same command on all the systems. It combines a number of Gnome Terminal Widgets (VTE) in a single graphical window and copies the input to one terminal to all other terminals. ClusTerm project shows the differences between...
Platforms: *nix
License: Freeware | Size: 51.2 KB | Download (89): ClusTerm Download |
Rtdump is a version of tcpdump modified to capture traffic on remote systems and networks. It enables you to run a packet capture program (the server) on a target computer, which will sniff the network traffic on that system, and uplink the captured packets to another host (the client), where the...
Platforms: *nix
License: Freeware | Size: 430.08 KB | Download (111): rtdump Download |
Spong is a simple systems and network monitoring package. It does not compete with Tivoli, OpenView, UniCenter, or any other commercial packages. It is not SNMP based, it communcates via simple TCP based messages. It is written in Perl. It can currently run on every major Unix and Unix-like...
Platforms: *nix
License: Freeware | Size: 225.28 KB | Download (88): Spong 2.8.0 Download |
The RoboCup Soccer Simulator is a research and educational tool for multi-agent systems and artificial intelligence. It enables for two teams of 11 simulated autonomous robotic players to play soccer (football).
Platforms: Mac
License: Freeware | Size: 1.8 MB | Download (131): The RoboCup Soccer Simulator Download |
Basically an equation editor, however not focused over one single equation, but you can write your mathematical artwork over several pages. You can easily move and copy your equations and expressions by mouse touch. Illustrate your equations using hand-drawing tools. Use symbolic calculator and...
Platforms: Windows
License: Freeware | Size: 681.9 KB | Download (232): Math-o-mir Download |
Starting from Windows Vista, Microsoft uses symbolic links and junction points of NTFS file system in order to make changes in the folders structure of Windows and keep the compatibility of applications written for older versions of Windows. This utility simply shows you a list of all symbolic...
Platforms: Windows
License: Freeware | Download (46): NTFSLinksView Download |