Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.545.442 Times

Symbolic Systems And Stanford software
Filter: All | Freeware | Demo
Display by: Relevance |  Downloads |  Name

Symbolic Systems And Stanford

1 2 3 4 5 > 
Released: December 03, 2012  |  Added: December 03, 2012 | Visits: 438

Acronis Backup and Security 2010 build 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 (30): Acronis Backup and Security 2010 build Download

Added: August 28, 2013 | Visits: 258

Modern Control System Theory and Design, 2e 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 (19): Modern Control System Theory and Design, 2e Download

Added: October 03, 2010 | Visits: 610

ACL2 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 (77): ACL2 Download

Added: January 11, 2010 | Visits: 786

Virt-Factory 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 (71): Virt-Factory Download

Added: February 19, 2010 | Visits: 1.009

SNIPS 1.1 / 1.2 Beta 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 (77): SNIPS 1.1 / 1.2 Beta Download

Added: June 21, 2010 | Visits: 716

OT2 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 (96): OT2 Download

Added: August 23, 2010 | Visits: 616

ClusTerm 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 (71): ClusTerm Download

Added: July 27, 2010 | Visits: 804

rtdump 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 (94): rtdump Download

Added: October 15, 2010 | Visits: 585

Spong 2.8.0 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 (72): Spong 2.8.0 Download

Added: November 15, 2013 | Visits: 1.624

The RoboCup Soccer Simulator 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 (105): The RoboCup Soccer Simulator Download

Released: August 12, 2011  |  Added: September 26, 2011 | Visits: 1.898

Math-o-mir 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 (202): Math-o-mir Download

Released: July 04, 2012  |  Added: July 04, 2012 | Visits: 384

VizUp Streamline Ultimate Home and Student VizUp Streamline Ultimate is designed for optimization of complex 3D models (CAD/CAM/CAE systems and others) for real-time visualization. It is a 3D reduction and optimization tool that speeds rendering and provides enhanced control over a 3D model's visual quality. The product allows you to...


Platforms: Windows

License: Shareware Cost: $745.00 USD Size: 2.98 MB Download (43): VizUp Streamline Ultimate Home and Student Download

Released: July 09, 2012  |  Added: July 09, 2012 | Visits: 238

NTFSLinksView 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 (28): NTFSLinksView Download

Released: August 09, 2012  |  Added: August 09, 2012 | Visits: 258

Rebel Featuring Psystar's newest technology for allowing for the smooth interfacing between operating systems and generic Intel hardware, Rebel EFI allows for the easy installation of multiple operating systems on a single system. The authenticated version allows for the permanent installtion of these...


Platforms: Windows

License: Shareware Cost: $49.95 USD Size: 7.6 MB Download (34): Rebel Download

Released: January 09, 2013  |  Added: January 09, 2013 | Visits: 301

Alarm Systems 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 (28): Alarm Systems Download

Released: October 14, 2012  |  Added: October 14, 2012 | Visits: 287

Computer OS Map The computer operating systems (OS) map presents functions of Operating Systems and comparison of all major OS. It also provide compelete history of computer OS development since the inception of computers in 1950' till now. More details of timeline of UNIX and UNIX-lie OS, IBM OS, Microsoft and...


Platforms: Not Applicable

License: Shareware Cost: $19.99 USD Size: 142 KB Download (28): Computer OS Map Download

Released: September 13, 2012  |  Added: September 13, 2012 | Visits: 355

Unitrends The affordable All-in-One D2D Backup, Archiving, & Disaster Recovery Appliance supports Windows, Linux, Netware, Exchange, SQL Server, and over 100 other versions of operating systems and applications, servers, PCs, notebooks, DAS, NAS, and SAN. This includes our web based single pane of glass...


Platforms: Windows, Mac, OS/2, Other, Unix, Linux, Linux Open Source, AS/400

License: Demo Cost: $139.00 USD Size: 1.81 GB Download (39): Unitrends Download

Released: July 14, 2012  |  Added: July 14, 2012 | Visits: 247

RTKER and ATMEGA28 Operating system 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 (28): RTKER and ATMEGA28 Operating system Download

Added: July 21, 2013 | Visits: 272

Compute N x N DFT matrix dftmat = DFT matrix of order N x N; N = Order of the matrix computes the DFT matrix of orer N x N; DFT matrix is a n x n matrix defined as Wn=[(Wn)^km] Wn=exp(-j*2*pi/n)Reference: Multirate Systems and Filter banks by P.P Vaidyanathan Pearson Education 1993 appendix A.6


Platforms: Matlab

License: Freeware Size: 10 KB Download (18): Compute N x N DFT matrix Download

MATLAB and Simulink in the World: Verification and Validation 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 (18): MATLAB and Simulink in the World: Verification and Validation Download

1 2 3 4 5 >