CSL: Facilities: Proprietary Software

Listed below are the various proprietary software packages that are on the C.S. departmental network, available for all faculty, staff, and students. On Linux machines available packages will be located in /usr/pkg, but the executables will be linked to /usr/local/bin; this directory is included by default in the departmental dotfiles.


 
Adobe Acrobat

The Acrobat package includes Acrobat Distiller, Acrobat Exchange, and Acrobat Reader. The Distiller program creates PDF (Portable Document Format) documents from PostScript. The Exchange program lets you view and modify PDF documents. The Reader program is a PDF viewer.

Executables: distill, acroexch, acroread
Visit Adobe

Adobe Photoshop

Create original artwork, correct and retouch color or black-and-white scanned images and prepare high-quality color separations and output. A complete paint, professional prepress, and darkroom system.

Executable: photoshop
Visit Adobe

Cplex

Cplex is a mathematical package for solving linear-programming problems. It includes a C-level interface and a command-line scripting interface. It is one of the most popular and robust packages out there and handles very large linear programs.

Executable: cplex
Visit CPLEX

ECLiPSe

ECLiPSe is a development environment for constraint programming applications. It contains several constraint solver libraries which allow to develop efficient programs to solve combinatorial problems in planing, scheduling, resource allocation, timetabling, transport as well as in other areas like e.g. molecular biology.

Executable: eclipse
Visit Parc Technologies

FLEXlm

License Manager. Only available for root user.

FontMaker

An X-based utility for converting fonts from PFA and PFB formats to the binary bitmap form needed for display by FrameMaker. Fontmaker can also be used to download such fonts to a PostScript printer by converting the fonts to PostScript jobs (ie, files or data streams).

Executable: fontmaker
Visit Adobe

HARK Recognizer

A commercially proven, open, client/server-based speech recognition system. It supports active vocabularies that are scalable to more than 10,000 words.

Executable: hanalyze
Visit BBN

Easy-to-use word processing, desktop publishing, presentation graphics and spreadsheet applications are used worldwide by UNIX workstation users such as engineers, managers and marketing & administrative staff to create letters, memos, reports, newsletters and presentations.

Executables: IslandDraw, IslandPaint, IslandCalc, IslandWrite
Visit Island Software

 
Maple

A comprehensive problem-solving system that supports a wide variety of powerful mathematical operations such as symbolic analysis, numerical analysis, and graphics. Features a complete programming language that uses syntax similar to that of BASIC, Fortran, Pascal or C. Now available on both SPARC and Intel (x86) architectures.

Executables: maple, xmaple
Visit Maple Software

Mathematica

A fully integrated environment for technical computing.

Executables: math, mathematica
Visit Wolfram Research

Matlab

An integrated technical computing environment for high-performance mathematical computation, matrix computation, advanced graphics and visualization.

Executables: matlab, mcc, mex
Visit Math Works

Quintus Prolog

A high-level, programming language and development environment. Its key strengths are in the areas of reasoning, natural language processing, meta programming, pattern matching and database interfacing.

Executable: prolog
Visit SICS

Rational Rose

A software-engineering tool that allows users to graphically develop, verify, and document the analysis and design model of their software. Rational Rose makes modeling accessible to nonprogrammers wanting to model business processes as well as to programmers modeling applications logic.

Executable: analyzer
Visit Rational Software

Splus

Splus is an interpreted language that is designed to manipulate and display statistical data. It deals with matrices very nicely and has built-in functions for running certain kinds of statistical tests. It has some nice functionality for creating graphical output either to a postscript file or to an X server.

Executable: Splus
Visit Math Soft

Stanford GraphBase

A collection of programs and datasets which generate and manipulate graphs and networks. This package is the work of Donald Knuth at Stanford University, and the most recent version of this software is always available by anonymous ftp from the Computer Science Department at Stanford.

Visit Stanford GraphBase

An office suite program with a word processor, spreadsheet, presentation program and more. Is compatible with files produced by other office suite programs, including Microsoft Office. Requires setup program.

Setup: staroffice_setup
Executable: soffice
Visit Duke site license page.

 
Stanford SUIF

A collection of programs and libraries, mostly written in C++, that allow researchers to investigate issues in scalar and parallel optimization.

Visit Stanford

Template Graphics Software

OpenGL and Open Inventor, used for 3D graphics delevopment.

Executables: runogl, runoiv
Visit Template Graphics Software

VHDL compiler

No additional information available.

Adobe Acrobat |  Adobe Photoshop |