Visualization of Deadlock Detection Via Dihomotopic Progress Shell Decomposition
Department
Computer Science
Major
Computer Science
Research Advisor
McMillin, Bruce M.
Advisor's Department
Computer Science
Funding Source
Missouri S&T Opportunities for Undergraduate Research Experiences (OURE) Program; National Science Foundation under CSR award CCF-061463
Abstract
This work examines the concepts behind, and involved with, visualizing how a method for reducing the search space of a model verification algorithm accomplishes its task. This work also lays out the concepts behind concurrent software and their models as well how the theory behind the implementation of a reduction method. Finally it shows how visualization tools were designed and used to more quickly understand and verify the concepts being presented as well as their correctness.
Biography
Stephen Jackson is a senior Computer Engineering and Computer Science major from Platte City, Missouri. He expects to complete his degrees in December 2010.
Research Category
Sciences
Presentation Type
Oral Presentation
Document Type
Presentation
Award
Sciences oral presentation, Third place
Location
Carver Room
Presentation Date
07 Apr 2010, 9:30 am - 10:00 am
Visualization of Deadlock Detection Via Dihomotopic Progress Shell Decomposition
Carver Room
This work examines the concepts behind, and involved with, visualizing how a method for reducing the search space of a model verification algorithm accomplishes its task. This work also lays out the concepts behind concurrent software and their models as well how the theory behind the implementation of a reduction method. Finally it shows how visualization tools were designed and used to more quickly understand and verify the concepts being presented as well as their correctness.
