- tn to LAMP Linkage analysis with multiple processors.
- NICE The network infrastructure for combinatorial p ie gh exploration.
- AMASS A DNA sequence assembly algorithm. oa nl w
- DALI A distributed, adaptive, first-order logic theorem prover. a nv u nf a lu d