CSCI 515 - Parallel Computation

Topics in concurrent and parallel computation. Possible areas include formal specification methods for parallel systems, semantics and verification of parallel language programs, and analysis and implementation of parallel algorithms.

Prerequisites & Notes: CSCI 510.
Credits: 4
Grade Mode: Letter