Are you looking for course descriptions or other information from a previous academic year? Archived Catalogs are available in website format through 2014-2015 as well as in PDF format dating back to 1960-1961.
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