Thank you for your interest in Gerasim@home ! The project uses Internet-connected computers to do research in discrete mathematics and logic control.
The current goal: testing and comparison of heuristic methods for getting separations of parallel algorithms working in the CAD system for designing logic control systems. You can participate by downloading and running a free program on your computer. |