Libra: a computational economy-based job scheduling system for clusters.
Common subgraph isomorphism detection by backtracking search.
A Web-based distributed system for hurricane occurrence projection.
JaRec: a portable record/replay environment for multi-threaded Java applications.