| Current Projects |
| NICE |
The Network Infrastructure for Combinatorial Exploration,
a distributed systems infrastructure written in ANSI C, supports
our research on distributed heuristic search algorithms.
|
| HOPS |
The Hybrid Optimization System for Protein Structure
Prediction is an experimental ab initio protein
folding system.
|
| MLIP |
Our Multiprocessor LIPED performs a distributed search
through genetic linkage analysis space. |
| Completed Projects |
| AMASS |
AMASS is a fast structured pattern matching system for shotgun
sequence assembly that uses statistical clues to correctly
assemble DNA even in the presence of significant repeating
regions.
|
| DALI |
The Distributed Adaptive Logical Inference system is a
first-order logic theorem prover that can use hundreds of
processors at a time.
|
| OAMulator |
The One Address Machine Emulator is a web-based
educational resource to support the teaching of
instruction set architecture, assembly languages,
memory, addressing, high level programming, and compilation.
|
