Title

Visualization of Deadlock Detection Via Dihomotopic Progress Shell Decomposition

Presenter Information

Stephen Jackson

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

This document is currently not available here.

Share

COinS
 
Apr 7th, 9:30 AM Apr 7th, 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.