| TLA Tools |
 |
|
TLA+ is a language for writing TLA specifications. This download
contains three tools for TLA+ specifications. The syntactic analyzer
(SANY) is a parser and syntax checker for TLA+ specifications. The
TLATeX typesetter is a program for typesetting TLA+ specifications.
The TLC model checker is a model checker and simulator for a subclass
of "executable" TLA+ specifications. These tools are described in the
book
Specifying Systems
|
| Extended Static Checker for Java (ESC/Java) |
|
|
The Compaq Extended Static Checker for Java (ESC/Java) is a programming
tool that attempts to find common run-time errors in Java programs
by static analysis of the program text. Users can control the
amount and kinds of checking that ESC/Java performs by annotating
their program with specially formatted Java comments. The errors
detected by ESC/Java include null dereferences, array index bounds
errors, type cast errors, race conditions, deadlocks, and violations
of user-supplied annotations.
|
| PCI Pamette |
|
|
PCI Pamette is an FPGA based reconfigurable interface board
and coprocessor. This download contains drivers and runtime
support software for the Pamette board and the PamDC CAD
frontend for Xilinx FPGAs. Supported platforms are Windows
NT 4.0 and Windows 2000, and Tru64 Unix.
For more information on PCI Pamette please visit
the PCI Pamette
home page.
|
| Personal
Jukebox |
|
|
The PJB Example is a command-line application for downloading
mp3 files to a PJB-100 Personal Jukebox. The Personal Jukebox
was developed by Compaq Corporate Research and licensed to
HanGo, a Korean company doing business in the US as Remote
Solution. This software is a starting point for a complete
Jukebox Manager. It documents the API to the PJB-100 so that
Linux developers can add features such as a graphical user
interface and music capture from CD. There are two versions
of the package, one for Windows and one for Linux. These packages
are identical except that the control Ms have been stripped
out of the Linux version. To find out more specifically about
the research effort for the PJB see http://research.compaq.com/SRC/pjb.
|
| Compaq Probabilistic Model Toolbox
|
|
|
The Compaq Probabilistic Model Toolbox (PMT) is a powerful
MATLAB toolbox for basic static & dynamic probabilistic models
such as Gaussian mixtures, factor analyzers, Markov chains,
hidden Markov models, and linear dynamic systems. Each probabilistic
model supports simulation, inference, and learning of model
parameters from data .
|
| FaceWorks
|
|
FaceWorks™ is cutting edge technology that
enables multi-media developers to create digital personalities.
| Itsy |
|
|
The Itsy pocket computer is a flexible research platform.
Its aim is to enable hardware and software research in pocket
computing. It is a small, low-power handheld device with a
highly flexible interface, designed to encourage the development
of innovative research projects, such as novel user interfaces,
new applications, power management techniques, hardware extensions,
etc. The information we are making available includes the
hardware specifications, a low level monitor, and the Linux
source code for the Itsy.
|
| AccuVideo™ |
|
Compaq has employed new breakthrough rendering technology in a number of recent
products including the DECchip 21130 and LX family of graphics accelerators, the J300 and
FullVideo Supreme video compression options, and software-only video players. We are
licensing this technology, referred to as AccuVideo™, to
the multimedia industry for both software-only and hardware implementations.
The Compaq Personal Server consists of a controller mother board, which
is a simple, configurable, StrongArm-based embedded computing platform designed to support
a wide variety of applications in a very small footprint. This software supports the
Personal Server as well as the Compaq Robot Controller, which consists of the Controller
and Daughter Card board set that was provided by Compaq for the M.I.T. 6.270 Autonomous Robot Design Competition.
The Compaq Program Execution Visualizer, or CPEV, is a
modular system for visualizing parallel program performance data in a variety of ways to
help programmers understand and tune application behavior.
Compaq Web Language is a scripting language for automating tasks on the World-Wide Web. It is an imperative language that has built-in support for common web protocols like HTTP and FTP, and popular data types like HTML and XML. With Compaq Web Language it becomes easier to implement tools like web shopping robots, meta-search engines, HTML analysis and checking routines, bots, business-to-business integration tools, and so on. Compaq Web Language's implementation language is Java, and the complete source code is freely available.
The DIGITAL Voice Plug-in allows you to record and send audio email
directly from a web page. The use of industry standard protocols ensures that most people
can receive and play these messages with the software they already have.
If you have any problems with the downloads on this page, please send mail to the Compaq
Corporate Research Downloads Team.
The software distributed by this server has been provided by Compaq
Computer Corporation as a means to ensure timely
dissemination of research results on a noncommercial basis. Copyright and all rights
therein are maintained by Compaq Computer Corporation. The software is research work and
is provided "as is." Compaq disclaims all express and implied warranties with
regard to such software, including the warranty of fitness for a particular purpose. In no
event shall Compaq be liable for any special, direct, indirect, or consequential damages
or any other damages whatsoever, including any loss or any claim for loss of data or
profits, arising out of the use or inability to use the software even if Compaq has been
advised of the possibility of such damages. This software shall not be further distributed
without prior written permission from Compaq Computer Corporation. |
